The cat is not cold. The cat is kind. The cat is red. The cat is rough. The cat is round. The cat needs the lion. The cat sees the lion. The cat visits the lion. The lion is cold. The lion is kind. The lion is red. The lion is not round. The lion needs the cat. The lion sees the cat. The lion visits the cat. If something sees the cat and it does not need the lion then it does not need the cat.
The cat is not cold.
("cat" "is" "cold" "-")
The cat is kind.
("cat" "is" "kind" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The cat sees the lion.
("cat" "sees" "lion" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is not round.
("lion" "is" "round" "-")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion sees the cat.
("lion" "sees" "cat" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
If something sees the cat and it does not need the lion then it does not need the cat.
((("something" "sees" "cat" "+") ("something" "needs" "lion" "~")) -> ("something" "needs" "cat" "-"))
The cat visits the lion.
True
1
proof
[(triple8)]
("cat" "visits" "lion" "+")
triple8
The lion is round.
False
1
inv-proof
[(triple12)]
("lion" "is" "round" "+")
triple12
The cat does not visit the cat.
Unknown
inv-random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The cat is kind.[(triple2)] The cat is not cold.[(triple1)] The cat is red.[(triple3)] The cat is rough.[(triple4)] The cat is round.[(triple5)] The cat needs the lion.[(triple6)] The cat sees the lion.[(triple7)] The cat visits the lion.[(triple8)] The lion is cold.[(triple9)] The lion is kind.[(triple10)] The lion is not round.[(triple12)] The lion is red.[(triple11)] The lion needs the cat.[(triple13)] The lion sees the cat.[(triple14)] The lion visits the cat.[(triple15)]
The cat is kind.
("cat" "is" "kind" "+")
triple2
The cat is not cold.
("cat" "is" "cold" "-")
triple1
The cat is red.
("cat" "is" "red" "+")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple4
The cat is round.
("cat" "is" "round" "+")
triple5
The cat needs the lion.
("cat" "needs" "lion" "+")
triple6
The cat sees the lion.
("cat" "sees" "lion" "+")
triple7
The cat visits the lion.
("cat" "visits" "lion" "+")
triple8
The lion is cold.
("lion" "is" "cold" "+")
triple9
The lion is kind.
("lion" "is" "kind" "+")
triple10
The lion is not round.
("lion" "is" "round" "-")
triple12
The lion is red.
("lion" "is" "red" "+")
triple11
The lion needs the cat.
("lion" "needs" "cat" "+")
triple13
The lion sees the cat.
("lion" "sees" "cat" "+")
triple14
The lion visits the cat.
("lion" "visits" "cat" "+")
triple15