The cat is cold. The cat likes the cow. The cow eats the cat. The cow is cold. The squirrel eats the cat. The squirrel is green. The squirrel needs the cow. If the cow needs the cat then the cat is blue. If the cat eats the cow then the cat eats the squirrel. If someone needs the cow and they like the cow then the cow likes the cat. If someone likes the cow and the cow is cold then they need the cow. If someone is big and they like the cow then the cow needs the squirrel. If someone is cold and they need the squirrel then the squirrel eats the cow.
The cat is cold.
("cat" "is" "cold" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is cold.
("cow" "is" "cold" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
If the cow needs the cat then the cat is blue.
((("cow" "needs" "cat" "+")) -> ("cat" "is" "blue" "+"))
If the cat eats the cow then the cat eats the squirrel.
((("cat" "eats" "cow" "+")) -> ("cat" "eats" "squirrel" "+"))
If someone needs the cow and they like the cow then the cow likes the cat.
((("someone" "needs" "cow" "+") ("someone" "likes" "cow" "+")) -> ("cow" "likes" "cat" "+"))
If someone likes the cow and the cow is cold then they need the cow.
((("someone" "likes" "cow" "+") ("cow" "is" "cold" "+")) -> ("someone" "needs" "cow" "+"))
If someone is big and they like the cow then the cow needs the squirrel.
((("someone" "is" "big" "+") ("someone" "likes" "cow" "+")) -> ("cow" "needs" "squirrel" "+"))
If someone is cold and they need the squirrel then the squirrel eats the cow.
((("someone" "is" "cold" "+") ("someone" "needs" "squirrel" "+")) -> ("squirrel" "eats" "cow" "+"))
The squirrel needs the cow.
True
1
proof
[(triple7)]
("squirrel" "needs" "cow" "+")
triple7
The squirrel does not eat the cat.
False
1
inv-proof
[(triple5)]
("squirrel" "eats" "cat" "-")
triple5
The cat needs the cow.
True
3
proof
[(((triple2 triple4) -> rule4))]
("cat" "needs" "cow" "+")
((triple2 triple4) -> (rule4 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The cat does not need the cow.
False
3
inv-proof
[(((triple2 triple4) -> rule4))]
("cat" "needs" "cow" "-")
((triple2 triple4) -> (rule4 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The cow likes the cat.
True
5
proof
[(((((triple2 triple4) -> rule4) triple2) -> rule3))]
("cow" "likes" "cat" "+")
((((triple2 triple4) -> (rule4 % int2)) triple2) -> (rule3 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
int2
The cow does not like the cat.
False
5
inv-proof
[(((((triple2 triple4) -> rule4) triple2) -> rule3))]
("cow" "likes" "cat" "-")
((((triple2 triple4) -> (rule4 % int2)) triple2) -> (rule3 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
int2
The squirrel does not eat the cow.
Unknown
inv-rconc
[@2: The squirrel eats the cow.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("squirrel" "eats" "cow" "-")
The cow needs the squirrel.
Unknown
rconc
[@1: The cow needs the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "needs" "squirrel" "+")
The cat does not eat the squirrel.
Unknown
inv-rconc
[@1: The cat eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "eats" "squirrel" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The cat is cold.[(triple1)] The cat likes the cow.[(triple2)] The cow eats the cat.[(triple3)] The cow is cold.[(triple4)] The squirrel eats the cat.[(triple5)] The squirrel is green.[(triple6)] The squirrel needs the cow.[(triple7)] @1: The cat needs the cow.[(((triple2 triple4) -> rule4))] @2: The cow likes the cat.[(((((triple2 triple4) -> rule4) triple2) -> rule3))]
The cat is cold.
("cat" "is" "cold" "+")
triple1
The cat likes the cow.
("cat" "likes" "cow" "+")
triple2
The cow eats the cat.
("cow" "eats" "cat" "+")
triple3
The cow is cold.
("cow" "is" "cold" "+")
triple4
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple5
The squirrel is green.
("squirrel" "is" "green" "+")
triple6
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple7
The cat needs the cow.
("cat" "needs" "cow" "+")
((triple2 triple4) -> (rule4 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The cow likes the cat.
("cow" "likes" "cat" "+")
((((triple2 triple4) -> (rule4 % int2)) triple2) -> (rule3 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
int2