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