The cat is cold. The cat is green. The cat is not nice. The cat does not like the squirrel. The cat needs the squirrel. The cat sees the squirrel. The squirrel is not big. The squirrel is not nice. The squirrel is round. The squirrel likes the cat. The squirrel needs the cat. The squirrel sees the cat. If the cat likes the squirrel then the squirrel does not like the cat. If something sees the cat and it needs the cat then it likes the squirrel. If something is green and it does not see the squirrel then the squirrel sees the cat. If the cat needs the squirrel and the squirrel sees the cat then the squirrel is not big. If something is green then it likes the cat. If something needs the cat then it likes the cat. If something likes the squirrel then the squirrel is cold. If something likes the squirrel then it is cold.
The cat is cold.
("cat" "is" "cold" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is not nice.
("cat" "is" "nice" "-")
The cat does not like the squirrel.
("cat" "likes" "squirrel" "-")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The squirrel is not big.
("squirrel" "is" "big" "-")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
If the cat likes the squirrel then the squirrel does not like the cat.
((("cat" "likes" "squirrel" "+")) -> ("squirrel" "likes" "cat" "-"))
If something sees the cat and it needs the cat then it likes the squirrel.
((("something" "sees" "cat" "+") ("something" "needs" "cat" "+")) -> ("something" "likes" "squirrel" "+"))
If something is green and it does not see the squirrel then the squirrel sees the cat.
((("something" "is" "green" "+") ("something" "sees" "squirrel" "~")) -> ("squirrel" "sees" "cat" "+"))
If the cat needs the squirrel and the squirrel sees the cat then the squirrel is not big.
((("cat" "needs" "squirrel" "+") ("squirrel" "sees" "cat" "+")) -> ("squirrel" "is" "big" "-"))
If something is green then it likes the cat.
((("something" "is" "green" "+")) -> ("something" "likes" "cat" "+"))
If something needs the cat then it likes the cat.
((("something" "needs" "cat" "+")) -> ("something" "likes" "cat" "+"))
If something likes the squirrel then the squirrel is cold.
((("something" "likes" "squirrel" "+")) -> ("squirrel" "is" "cold" "+"))
If something likes the squirrel then it is cold.
((("something" "likes" "squirrel" "+")) -> ("something" "is" "cold" "+"))
The cat is green.
True
1
proof
[(triple2)]
("cat" "is" "green" "+")
triple2
The squirrel does not need the cat.
False
1
inv-proof
[(triple11)]
("squirrel" "needs" "cat" "-")
triple11
The squirrel likes the squirrel.
True
3
proof
[(((triple12 triple11) -> rule2))]
("squirrel" "likes" "squirrel" "+")
((triple12 triple11) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The cat does not like the cat.
False
2
inv-proof
[(((triple2) -> rule5))]
("cat" "likes" "cat" "-")
((triple2) -> (rule5 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The squirrel is cold.
True
4
proof
[(((((triple12 triple11) -> rule2)) -> rule7) OR ((((triple12 triple11) -> rule2)) -> rule8))]
("squirrel" "is" "cold" "+")
((((triple12 triple11) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
((((triple12 triple11) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is not cold.
False
4
inv-proof
[(((((triple12 triple11) -> rule2)) -> rule7) OR ((((triple12 triple11) -> rule2)) -> rule8))]
("squirrel" "is" "cold" "-")
((((triple12 triple11) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
((((triple12 triple11) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
The cat is not round.
Unknown
inv-random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
The cat is not big.
Unknown
inv-random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The cat does not like the squirrel.[(triple4)] The cat is cold.[(triple1)] The cat is green.[(triple2)] The cat is not nice.[(triple3)] The cat needs the squirrel.[(triple5)] The cat sees the squirrel.[(triple6)] The squirrel is not big.[(triple7 OR ((triple5 triple12) -> rule4))] The squirrel is not nice.[(triple8)] The squirrel is round.[(triple9)] The squirrel likes the cat.[(triple10 OR ((triple11) -> rule6))] The squirrel needs the cat.[(triple11)] The squirrel sees the cat.[(triple12)] @1: The cat likes the cat.[(((triple2) -> rule5))] The squirrel likes the squirrel.[(((triple12 triple11) -> rule2))] @2: The squirrel is cold.[(((((triple12 triple11) -> rule2)) -> rule7) OR ((((triple12 triple11) -> rule2)) -> rule8))]
The cat does not like the squirrel.
("cat" "likes" "squirrel" "-")
triple4
The cat is cold.
("cat" "is" "cold" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat is not nice.
("cat" "is" "nice" "-")
triple3
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple5
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple6
The squirrel is not big.
("squirrel" "is" "big" "-")
triple7
((triple5 triple12) -> (rule4 % int1))
The squirrel is not big.
("squirrel" "is" "big" "-")
int1
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple8
The squirrel is round.
("squirrel" "is" "round" "+")
triple9
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple10
((triple11) -> (rule6 % int1))
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int1
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple11
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple12
The cat likes the cat.
("cat" "likes" "cat" "+")
((triple2) -> (rule5 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple12 triple11) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
((((triple12 triple11) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
((((triple12 triple11) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2