The cat chases the rabbit. The cat chases the squirrel. The cat is cold. The cat likes the rabbit. The cat likes the squirrel. The cat needs the rabbit. The cat needs the squirrel. The rabbit chases the cat. The rabbit chases the squirrel. The rabbit likes the cat. The squirrel chases the rabbit. The squirrel is green. The squirrel is nice. The squirrel is young. The squirrel likes the cat. The squirrel needs the rabbit. If something needs the rabbit then the rabbit likes the squirrel. If something needs the rabbit and the rabbit chases the cat then the rabbit is cold. If something chases the cat and it likes the cat then the cat needs the squirrel. If something chases the cat then the cat is green. If something needs the rabbit and the rabbit chases the squirrel then the squirrel is young. If the rabbit likes the squirrel then the squirrel likes the rabbit.
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
If something needs the rabbit then the rabbit likes the squirrel.
((("something" "needs" "rabbit" "+")) -> ("rabbit" "likes" "squirrel" "+"))
If something needs the rabbit and the rabbit chases the cat then the rabbit is cold.
((("something" "needs" "rabbit" "+") ("rabbit" "chases" "cat" "+")) -> ("rabbit" "is" "cold" "+"))
If something chases the cat and it likes the cat then the cat needs the squirrel.
((("something" "chases" "cat" "+") ("something" "likes" "cat" "+")) -> ("cat" "needs" "squirrel" "+"))
If something chases the cat then the cat is green.
((("something" "chases" "cat" "+")) -> ("cat" "is" "green" "+"))
If something needs the rabbit and the rabbit chases the squirrel then the squirrel is young.
((("something" "needs" "rabbit" "+") ("rabbit" "chases" "squirrel" "+")) -> ("squirrel" "is" "young" "+"))
If the rabbit likes the squirrel then the squirrel likes the rabbit.
((("rabbit" "likes" "squirrel" "+")) -> ("squirrel" "likes" "rabbit" "+"))
The squirrel likes the cat.
True
1
proof
[(triple15)]
("squirrel" "likes" "cat" "+")
triple15
The cat does not chase the rabbit.
False
1
inv-proof
[(triple1)]
("cat" "chases" "rabbit" "-")
triple1
The cat is green.
True
2
proof
[(((triple8) -> rule4))]
("cat" "is" "green" "+")
((triple8) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is not green.
False
2
inv-proof
[(((triple8) -> rule4))]
("cat" "is" "green" "-")
((triple8) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
The squirrel does not chase the cat.
Unknown
inv-random
[@0: The squirrel chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "cat" "-")
The rabbit is nice.
Unknown
random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "+")
@0: The cat chases the rabbit.[(triple1)] The cat chases the squirrel.[(triple2)] The cat is cold.[(triple3)] The cat likes the rabbit.[(triple4)] The cat likes the squirrel.[(triple5)] The cat needs the rabbit.[(triple6)] The cat needs the squirrel.[(triple7 OR ((triple8 triple10) -> rule3))] The rabbit chases the cat.[(triple8)] The rabbit chases the squirrel.[(triple9)] The rabbit likes the cat.[(triple10)] The squirrel chases the rabbit.[(triple11)] The squirrel is green.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is young.[(triple14 OR ((triple16 triple9) -> rule5) OR ((triple6 triple9) -> rule5))] The squirrel likes the cat.[(triple15)] The squirrel needs the rabbit.[(triple16)] @1: The cat is green.[(((triple8) -> rule4))] The rabbit is cold.[(((triple16 triple8) -> rule2) OR ((triple6 triple8) -> rule2))] The rabbit likes the squirrel.[(((triple16) -> rule1) OR ((triple6) -> rule1))] @2: The squirrel likes the rabbit.[(((((triple16) -> rule1)) -> rule6) OR ((((triple6) -> rule1)) -> rule6))]
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple2
The cat is cold.
("cat" "is" "cold" "+")
triple3
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple4
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple5
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple6
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple7
((triple8 triple10) -> (rule3 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple8
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple9
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple10
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple11
The squirrel is green.
("squirrel" "is" "green" "+")
triple12
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple13
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
((triple16 triple9) -> (rule5 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
((triple6 triple9) -> (rule5 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple15
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple16
The cat is green.
("cat" "is" "green" "+")
((triple8) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple16 triple8) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
((triple6 triple8) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
((triple16) -> (rule1 % int1))
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int1
((triple6) -> (rule1 % int1))
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int1
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
((((triple16) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int2
((((triple6) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int2