The cat is cold. The cat is red. The cat likes the squirrel. The cat needs the squirrel. The cat sees the squirrel. The squirrel is cold. The squirrel is kind. The squirrel is not red. The squirrel is rough. The squirrel likes the cat. The squirrel needs the cat. The squirrel sees the cat. If something is rough and it likes the cat then it needs the squirrel.
The cat is cold.
("cat" "is" "cold" "+")
The cat is red.
("cat" "is" "red" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is not red.
("squirrel" "is" "red" "-")
The squirrel is rough.
("squirrel" "is" "rough" "+")
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 something is rough and it likes the cat then it needs the squirrel.
((("something" "is" "rough" "+") ("something" "likes" "cat" "+")) -> ("something" "needs" "squirrel" "+"))
The cat likes the squirrel.
True
1
proof
[(triple3)]
("cat" "likes" "squirrel" "+")
triple3
The cat does not see the squirrel.
False
1
inv-proof
[(triple5)]
("cat" "sees" "squirrel" "-")
triple5
The squirrel needs the squirrel.
True
3
proof
[(((triple9 triple10) -> rule1))]
("squirrel" "needs" "squirrel" "+")
((triple9 triple10) -> (rule1 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel does not need the squirrel.
False
3
inv-proof
[(((triple9 triple10) -> rule1))]
("squirrel" "needs" "squirrel" "-")
((triple9 triple10) -> (rule1 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The cat is kind.
Unknown
random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "+")
The cat does not need the cat.
Unknown
inv-random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
@0: The cat is cold.[(triple1)] The cat is red.[(triple2)] The cat likes the squirrel.[(triple3)] The cat needs the squirrel.[(triple4)] The cat sees the squirrel.[(triple5)] The squirrel is cold.[(triple6)] The squirrel is kind.[(triple7)] The squirrel is not red.[(triple8)] The squirrel is rough.[(triple9)] The squirrel likes the cat.[(triple10)] The squirrel needs the cat.[(triple11)] The squirrel sees the cat.[(triple12)] @1: The squirrel needs the squirrel.[(((triple9 triple10) -> rule1))]
The cat is cold.
("cat" "is" "cold" "+")
triple1
The cat is red.
("cat" "is" "red" "+")
triple2
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple3
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple4
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple5
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple6
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple7
The squirrel is not red.
("squirrel" "is" "red" "-")
triple8
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple9
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple10
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple11
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple12
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple9 triple10) -> (rule1 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1