The cat chases the cow. The cow eats the cat. If the cow eats the cat then the cat needs the cow. If someone chases the cow and they need the cow then the cow chases the cat. If someone is cold and they eat the cow then the cow eats the cat.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
If the cow eats the cat then the cat needs the cow.
((("cow" "eats" "cat" "+")) -> ("cat" "needs" "cow" "+"))
If someone chases the cow and they need the cow then the cow chases the cat.
((("someone" "chases" "cow" "+") ("someone" "needs" "cow" "+")) -> ("cow" "chases" "cat" "+"))
If someone is cold and they eat the cow then the cow eats the cat.
((("someone" "is" "cold" "+") ("someone" "eats" "cow" "+")) -> ("cow" "eats" "cat" "+"))
The cow eats the cat.
True
1
proof
[(triple2)]
("cow" "eats" "cat" "+")
triple2
The cow does not eat the cat.
False
1
inv-proof
[(triple2)]
("cow" "eats" "cat" "-")
triple2
The cat needs the cow.
True
2
proof
[(((triple2) -> rule1))]
("cat" "needs" "cow" "+")
((triple2) -> (rule1 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The cat does not need the cow.
False
2
inv-proof
[(((triple2) -> rule1))]
("cat" "needs" "cow" "-")
((triple2) -> (rule1 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The cow chases the cat.
True
4
proof
[(((triple1 ((triple2) -> rule1)) -> rule2))]
("cow" "chases" "cat" "+")
((triple1 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The cow chases the cat.
("cow" "chases" "cat" "+")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
int2
The cow does not chase the cat.
False
4
inv-proof
[(((triple1 ((triple2) -> rule1)) -> rule2))]
("cow" "chases" "cat" "-")
((triple1 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The cow chases the cat.
("cow" "chases" "cat" "+")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
int2
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
The cow is not blue.
Unknown
inv-random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The cat is cold.
Unknown
random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "+")
@0: The cat chases the cow.[(triple1)] The cow eats the cat.[(triple2)] @1: The cat needs the cow.[(((triple2) -> rule1))] @2: The cow chases the cat.[(((triple1 ((triple2) -> rule1)) -> rule2))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cow eats the cat.
("cow" "eats" "cat" "+")
triple2
The cat needs the cow.
("cat" "needs" "cow" "+")
((triple2) -> (rule1 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The cow chases the cat.
("cow" "chases" "cat" "+")
((triple1 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The cow chases the cat.
("cow" "chases" "cat" "+")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
int2