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