The cat eats the cow. The cat is kind. The cat is nice. The cat is red. The cat is rough. The cat is young. The cat likes the cow. The cat needs the cow. The cow eats the cat. The cow is kind. The cow is nice. The cow is red. The cow is rough. The cow is young. The cow likes the cat. The cow needs the cat. If someone likes the cow then they are kind. If someone likes the cow then they need the cow. If someone likes the cow then they are nice. If someone is red and they like the cow then the cow is nice. If someone is young then they eat the cat. If someone is rough and they like the cat then they like the cow.
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
If someone likes the cow then they are kind.
((("someone" "likes" "cow" "+")) -> ("someone" "is" "kind" "+"))
If someone likes the cow then they need the cow.
((("someone" "likes" "cow" "+")) -> ("someone" "needs" "cow" "+"))
If someone likes the cow then they are nice.
((("someone" "likes" "cow" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and they like the cow then the cow is nice.
((("someone" "is" "red" "+") ("someone" "likes" "cow" "+")) -> ("cow" "is" "nice" "+"))
If someone is young then they eat the cat.
((("someone" "is" "young" "+")) -> ("someone" "eats" "cat" "+"))
If someone is rough and they like the cat then they like the cow.
((("someone" "is" "rough" "+") ("someone" "likes" "cat" "+")) -> ("someone" "likes" "cow" "+"))
The cat is red.
True
1
proof
[(triple4)]
("cat" "is" "red" "+")
triple4
The cow is not red.
False
1
inv-proof
[(triple12)]
("cow" "is" "red" "-")
triple12
The cat eats the cat.
True
2
proof
[(((triple6) -> rule5))]
("cat" "eats" "cat" "+")
((triple6) -> (rule5 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cow does not like the cow.
False
3
inv-proof
[(((triple13 triple15) -> rule6))]
("cow" "likes" "cow" "-")
((triple13 triple15) -> (rule6 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
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 needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The cat eats the cow.[(triple1)] The cat is kind.[(triple2 OR ((triple7) -> rule1))] The cat is nice.[(triple3 OR ((triple7) -> rule3))] The cat is red.[(triple4)] The cat is rough.[(triple5)] The cat is young.[(triple6)] The cat likes the cow.[(triple7)] The cat needs the cow.[(triple8 OR ((triple7) -> rule2))] The cow eats the cat.[(triple9 OR ((triple14) -> rule5))] The cow is kind.[(triple10 OR ((((triple13 triple15) -> rule6)) -> rule1))] The cow is nice.[(triple11 OR ((triple4 triple7) -> rule4) OR ((((triple13 triple15) -> rule6)) -> rule3) OR ((triple12 ((triple13 triple15) -> rule6)) -> rule4))] The cow is red.[(triple12)] The cow is rough.[(triple13)] The cow is young.[(triple14)] The cow likes the cat.[(triple15)] The cow needs the cat.[(triple16)] @1: The cat eats the cat.[(((triple6) -> rule5))] The cow likes the cow.[(((triple13 triple15) -> rule6))] @2: The cow needs the cow.[(((((triple13 triple15) -> rule6)) -> rule2))]
The cat eats the cow.
("cat" "eats" "cow" "+")
triple1
The cat is kind.
("cat" "is" "kind" "+")
triple2
((triple7) -> (rule1 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
triple3
((triple7) -> (rule3 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is red.
("cat" "is" "red" "+")
triple4
The cat is rough.
("cat" "is" "rough" "+")
triple5
The cat is young.
("cat" "is" "young" "+")
triple6
The cat likes the cow.
("cat" "likes" "cow" "+")
triple7
The cat needs the cow.
("cat" "needs" "cow" "+")
triple8
((triple7) -> (rule2 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The cow eats the cat.
("cow" "eats" "cat" "+")
triple9
((triple14) -> (rule5 % int1))
The cow eats the cat.
("cow" "eats" "cat" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
triple10
((((triple13 triple15) -> (rule6 % int2))) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is nice.
("cow" "is" "nice" "+")
triple11
((triple4 triple7) -> (rule4 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
((((triple13 triple15) -> (rule6 % int2))) -> (rule3 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
((triple12 ((triple13 triple15) -> (rule6 % int2))) -> (rule4 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is red.
("cow" "is" "red" "+")
triple12
The cow is rough.
("cow" "is" "rough" "+")
triple13
The cow is young.
("cow" "is" "young" "+")
triple14
The cow likes the cat.
("cow" "likes" "cat" "+")
triple15
The cow needs the cat.
("cow" "needs" "cat" "+")
triple16
The cat eats the cat.
("cat" "eats" "cat" "+")
((triple6) -> (rule5 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
((triple13 triple15) -> (rule6 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
((((triple13 triple15) -> (rule6 % int2))) -> (rule2 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2