falseInACTest1 :: Test 
falseInACTest1 = 
  let 
    a = makeAssertionUnsafe "Alice says Alice is-cool;"
    b = makeAssertionUnsafe "Alice says Bob is-cool;"
    ctx = stdCtx{ ac=AC [a], d=Infinity }
    prf = unsafePerformIO $ ctx ||- b
    pPrf = ppProof prf
  in
    Test{ description = pShow ctx ++" |= "++pShow b++pPrf
        , result = test . null $ prf
        }
falseInACTest1 :: Test
falseInACTest1 = 
  let 
    a = makeAssertionUnsafe "Alice says Alice is-cool;"
    b = makeAssertionUnsafe "Alice says Bob is-cool;"
    ctx = stdCtx{ ac=AC [a], d=Infinity }
    prf = unsafePerformIO $ ctx ||- b
    pPrf = ppProof prf
  in
    Test{ description = pShow ctx ++" |= "++pShow b++pPrf
        , result = test . null $ prf
        }
falseInACTest1 = 
  let 
    a = makeAssertionUnsafe "Alice says Alice is-cool;"
    b = makeAssertionUnsafe "Alice says Bob is-cool;"
    ctx = stdCtx{ ac=AC [a], d=Infinity }
    prf = unsafePerformIO $ ctx ||- b
    pPrf = ppProof prf
  in
    Test{ description = pShow ctx ++" |= "++pShow b++pPrf
        , result = test . null $ prf
        }