The cat is young. The cow chases the cat. The cow is blue. The cow is cold. The cow is nice. The cow is rough. The cow visits the cat. If someone chases the cat then the cat eats the cow.
The cat is young.
("cat" "is" "young" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
If someone chases the cat then the cat eats the cow.
((("someone" "chases" "cat" "+")) -> ("cat" "eats" "cow" "+"))
The cow is cold.
True
1
proof
[(triple4)]
("cow" "is" "cold" "+")
triple4
The cat is not young.
False
1
inv-proof
[(triple1)]
("cat" "is" "young" "-")
triple1
The cat eats the cow.
True
2
proof
[(((triple2) -> rule1))]
("cat" "eats" "cow" "+")
((triple2) -> (rule1 % int1))
The cat eats the cow.
("cat" "eats" "cow" "+")
int1
The cat does not eat the cow.
False
2
inv-proof
[(((triple2) -> rule1))]
("cat" "eats" "cow" "-")
((triple2) -> (rule1 % int1))
The cat eats the cow.
("cat" "eats" "cow" "+")
int1
The cat does not chase the cat.
Unknown
inv-random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The cat is young.[(triple1)] The cow chases the cat.[(triple2)] The cow is blue.[(triple3)] The cow is cold.[(triple4)] The cow is nice.[(triple5)] The cow is rough.[(triple6)] The cow visits the cat.[(triple7)] @1: The cat eats the cow.[(((triple2) -> rule1))]
The cat is young.
("cat" "is" "young" "+")
triple1
The cow chases the cat.
("cow" "chases" "cat" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow is cold.
("cow" "is" "cold" "+")
triple4
The cow is nice.
("cow" "is" "nice" "+")
triple5
The cow is rough.
("cow" "is" "rough" "+")
triple6
The cow visits the cat.
("cow" "visits" "cat" "+")
triple7
The cat eats the cow.
("cat" "eats" "cow" "+")
((triple2) -> (rule1 % int1))
The cat eats the cow.
("cat" "eats" "cow" "+")
int1