The cow is cold. The cow is green. The cow is red. The cow is round. The cow is young. The cow likes the squirrel. The cow needs the squirrel. The cow visits the squirrel. The squirrel is cold. The squirrel is green. The squirrel is red. The squirrel is round. The squirrel is young. The squirrel likes the cow. The squirrel needs the cow. The squirrel visits the cow. If someone likes the cow then the cow needs the squirrel. If the cow likes the squirrel and the cow visits the squirrel then the squirrel likes the cow. If the squirrel likes the cow and the cow likes the squirrel then the squirrel is young. If someone visits the cow and they are cold then the cow is green. If someone visits the cow then the cow needs the squirrel. If someone likes the squirrel and the squirrel is cold then they visit the cow. If someone is round and they visit the cow then they are red. If the cow is green then the cow visits the squirrel.
The cow is cold.
("cow" "is" "cold" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If someone likes the cow then the cow needs the squirrel.
((("someone" "likes" "cow" "+")) -> ("cow" "needs" "squirrel" "+"))
If the cow likes the squirrel and the cow visits the squirrel then the squirrel likes the cow.
((("cow" "likes" "squirrel" "+") ("cow" "visits" "squirrel" "+")) -> ("squirrel" "likes" "cow" "+"))
If the squirrel likes the cow and the cow likes the squirrel then the squirrel is young.
((("squirrel" "likes" "cow" "+") ("cow" "likes" "squirrel" "+")) -> ("squirrel" "is" "young" "+"))
If someone visits the cow and they are cold then the cow is green.
((("someone" "visits" "cow" "+") ("someone" "is" "cold" "+")) -> ("cow" "is" "green" "+"))
If someone visits the cow then the cow needs the squirrel.
((("someone" "visits" "cow" "+")) -> ("cow" "needs" "squirrel" "+"))
If someone likes the squirrel and the squirrel is cold then they visit the cow.
((("someone" "likes" "squirrel" "+") ("squirrel" "is" "cold" "+")) -> ("someone" "visits" "cow" "+"))
If someone is round and they visit the cow then they are red.
((("someone" "is" "round" "+") ("someone" "visits" "cow" "+")) -> ("someone" "is" "red" "+"))
If the cow is green then the cow visits the squirrel.
((("cow" "is" "green" "+")) -> ("cow" "visits" "squirrel" "+"))
The squirrel is round.
True
1
proof
[(triple12)]
("squirrel" "is" "round" "+")
triple12
The cow is not young.
False
1
inv-proof
[(triple5)]
("cow" "is" "young" "-")
triple5
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
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 is cold.[(triple1)] The cow is green.[(triple2 OR ((triple16 triple9) -> rule4) OR ((((triple6 triple9) -> rule6) triple1) -> rule4))] The cow is red.[(triple3 OR ((triple4 ((triple6 triple9) -> rule6)) -> rule7))] The cow is round.[(triple4)] The cow is young.[(triple5)] The cow likes the squirrel.[(triple6)] The cow needs the squirrel.[(triple7 OR ((triple14) -> rule1) OR ((triple16) -> rule5) OR ((((triple6 triple8) -> rule2)) -> rule1) OR ((((triple6 triple9) -> rule6)) -> rule5) OR ((((triple6 ((triple2) -> rule8)) -> rule2)) -> rule1) OR ((((triple6 ((((triple16 triple9) -> rule4)) -> rule8)) -> rule2)) -> rule1) OR ((((triple6 ((((((triple6 triple9) -> rule6) triple1) -> rule4)) -> rule8)) -> rule2)) -> rule1))] The cow visits the squirrel.[(triple8 OR ((triple2) -> rule8) OR ((((triple16 triple9) -> rule4)) -> rule8) OR ((((((triple6 triple9) -> rule6) triple1) -> rule4)) -> rule8))] The squirrel is cold.[(triple9)] The squirrel is green.[(triple10)] The squirrel is red.[(triple11 OR ((triple12 triple16) -> rule7))] The squirrel is round.[(triple12)] The squirrel is young.[(triple13 OR ((triple14 triple6) -> rule3) OR ((((triple6 triple8) -> rule2) triple6) -> rule3) OR ((((triple6 ((triple2) -> rule8)) -> rule2) triple6) -> rule3) OR ((((triple6 ((((triple16 triple9) -> rule4)) -> rule8)) -> rule2) triple6) -> rule3) OR ((((triple6 ((((((triple6 triple9) -> rule6) triple1) -> rule4)) -> rule8)) -> rule2) triple6) -> rule3))] The squirrel likes the cow.[(triple14 OR ((triple6 triple8) -> rule2) OR ((triple6 ((triple2) -> rule8)) -> rule2) OR ((triple6 ((((triple16 triple9) -> rule4)) -> rule8)) -> rule2) OR ((triple6 ((((((triple6 triple9) -> rule6) triple1) -> rule4)) -> rule8)) -> rule2))] The squirrel needs the cow.[(triple15)] The squirrel visits the cow.[(triple16)] @1: The cow visits the cow.[(((triple6 triple9) -> rule6))]
The cow is cold.
("cow" "is" "cold" "+")
triple1
The cow is green.
("cow" "is" "green" "+")
triple2
((triple16 triple9) -> (rule4 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
((((triple6 triple9) -> (rule6 % int2)) triple1) -> (rule4 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The cow is red.
("cow" "is" "red" "+")
triple3
((triple4 ((triple6 triple9) -> (rule6 % int2))) -> (rule7 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The cow is round.
("cow" "is" "round" "+")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple6
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple7
((triple14) -> (rule1 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
((triple16) -> (rule5 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
((((triple6 triple8) -> (rule2 % int2))) -> (rule1 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2
((((triple6 triple9) -> (rule6 % int2))) -> (rule5 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
((((triple6 ((triple2) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int3
((((triple6 ((((triple16 triple9) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((triple6 ((((((triple6 triple9) -> (rule6 % int5)) triple1) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
The cow visits the cow.
("cow" "visits" "cow" "+")
int5
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple8
((triple2) -> (rule8 % int1))
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int1
((((triple16 triple9) -> (rule4 % int2))) -> (rule8 % int1))
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
((((((triple6 triple9) -> (rule6 % int3)) triple1) -> (rule4 % int2))) -> (rule8 % int1))
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel is red.
("squirrel" "is" "red" "+")
triple11
((triple12 triple16) -> (rule7 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
triple12
The squirrel is young.
("squirrel" "is" "young" "+")
triple13
((triple14 triple6) -> (rule3 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
((((triple6 triple8) -> (rule2 % int2)) triple6) -> (rule3 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2
((((triple6 ((triple2) -> (rule8 % int3))) -> (rule2 % int2)) triple6) -> (rule3 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int3
((((triple6 ((((triple16 triple9) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule2 % int2)) triple6) -> (rule3 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((triple6 ((((((triple6 triple9) -> (rule6 % int5)) triple1) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule2 % int2)) triple6) -> (rule3 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
The cow visits the cow.
("cow" "visits" "cow" "+")
int5
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple14
((triple6 triple8) -> (rule2 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
((triple6 ((triple2) -> (rule8 % int2))) -> (rule2 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int2
((triple6 ((((triple16 triple9) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((triple6 ((((((triple6 triple9) -> (rule6 % int4)) triple1) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow visits the cow.
("cow" "visits" "cow" "+")
int4
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple15
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple16
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple6 triple9) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1