The cow chases the squirrel. The cow eats the squirrel. The cow is green. The cow is nice. The cow is rough. The cow is round. The cow likes the squirrel. The squirrel chases the cow. The squirrel eats the cow. The squirrel is nice. The squirrel is rough. The squirrel likes the cow. If the squirrel is nice then the squirrel likes the cow. If someone likes the squirrel and the squirrel chases the cow then the squirrel is rough. If someone chases the cow and they like the cow then the cow likes the squirrel. If someone chases the squirrel and they chase the cow then they are big. If someone chases the cow then the cow chases the squirrel. If someone likes the cow then they eat the squirrel. If the cow likes the squirrel and the squirrel is rough then the squirrel eats the cow. If someone chases the cow then the cow chases the squirrel.
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
If the squirrel is nice then the squirrel likes the cow.
((("squirrel" "is" "nice" "+")) -> ("squirrel" "likes" "cow" "+"))
If someone likes the squirrel and the squirrel chases the cow then the squirrel is rough.
((("someone" "likes" "squirrel" "+") ("squirrel" "chases" "cow" "+")) -> ("squirrel" "is" "rough" "+"))
If someone chases the cow and they like the cow then the cow likes the squirrel.
((("someone" "chases" "cow" "+") ("someone" "likes" "cow" "+")) -> ("cow" "likes" "squirrel" "+"))
If someone chases the squirrel and they chase the cow then they are big.
((("someone" "chases" "squirrel" "+") ("someone" "chases" "cow" "+")) -> ("someone" "is" "big" "+"))
If someone chases the cow then the cow chases the squirrel.
((("someone" "chases" "cow" "+")) -> ("cow" "chases" "squirrel" "+"))
If someone likes the cow then they eat the squirrel.
((("someone" "likes" "cow" "+")) -> ("someone" "eats" "squirrel" "+"))
If the cow likes the squirrel and the squirrel is rough then the squirrel eats the cow.
((("cow" "likes" "squirrel" "+") ("squirrel" "is" "rough" "+")) -> ("squirrel" "eats" "cow" "+"))
If someone chases the cow then the cow chases the squirrel.
((("someone" "chases" "cow" "+")) -> ("cow" "chases" "squirrel" "+"))
The cow eats the squirrel.
True
1
proof
[(triple2)]
("cow" "eats" "squirrel" "+")
triple2
The cow is not nice.
False
1
inv-proof
[(triple4)]
("cow" "is" "nice" "-")
triple4
The squirrel is not big.
Unknown
inv-rconc
[@1: The squirrel is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "is" "big" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The cow chases the squirrel.[(triple1 OR ((triple8) -> rule5) OR ((triple8) -> rule8))] The cow eats the squirrel.[(triple2)] The cow is green.[(triple3)] The cow is nice.[(triple4)] The cow is rough.[(triple5)] The cow is round.[(triple6)] The cow likes the squirrel.[(triple7 OR ((triple8 triple12) -> rule3) OR ((triple8 ((triple10) -> rule1)) -> rule3))] The squirrel chases the cow.[(triple8)] The squirrel eats the cow.[(triple9 OR ((triple7 triple11) -> rule7) OR ((triple7 ((triple7 triple8) -> rule2)) -> rule7) OR ((((triple8 triple12) -> rule3) triple11) -> rule7) OR ((((triple8 triple12) -> rule3) ((triple7 triple8) -> rule2)) -> rule7) OR ((triple7 ((((triple8 triple12) -> rule3) triple8) -> rule2)) -> rule7) OR ((((triple8 ((triple10) -> rule1)) -> rule3) triple11) -> rule7) OR ((((triple8 triple12) -> rule3) ((((triple8 triple12) -> rule3) triple8) -> rule2)) -> rule7) OR ((((triple8 ((triple10) -> rule1)) -> rule3) ((triple7 triple8) -> rule2)) -> rule7) OR ((((triple8 ((triple10) -> rule1)) -> rule3) ((((triple8 triple12) -> rule3) triple8) -> rule2)) -> rule7) OR ((triple7 ((((triple8 ((triple10) -> rule1)) -> rule3) triple8) -> rule2)) -> rule7) OR ((((triple8 triple12) -> rule3) ((((triple8 ((triple10) -> rule1)) -> rule3) triple8) -> rule2)) -> rule7) OR ((((triple8 ((triple10) -> rule1)) -> rule3) ((((triple8 ((triple10) -> rule1)) -> rule3) triple8) -> rule2)) -> rule7))] The squirrel is nice.[(triple10)] The squirrel is rough.[(triple11 OR ((triple7 triple8) -> rule2) OR ((((triple8 triple12) -> rule3) triple8) -> rule2) OR ((((triple8 ((triple10) -> rule1)) -> rule3) triple8) -> rule2))] The squirrel likes the cow.[(triple12 OR ((triple10) -> rule1))] @1: The squirrel eats the squirrel.[(((triple12) -> rule6) OR ((((triple10) -> rule1)) -> rule6))]
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple1
((triple8) -> (rule5 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
((triple8) -> (rule8 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple2
The cow is green.
("cow" "is" "green" "+")
triple3
The cow is nice.
("cow" "is" "nice" "+")
triple4
The cow is rough.
("cow" "is" "rough" "+")
triple5
The cow is round.
("cow" "is" "round" "+")
triple6
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple7
((triple8 triple12) -> (rule3 % int1))
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int1
((triple8 ((triple10) -> (rule1 % int2))) -> (rule3 % int1))
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple8
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple9
((triple7 triple11) -> (rule7 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
((triple7 ((triple7 triple8) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
((((triple8 triple12) -> (rule3 % int2)) triple11) -> (rule7 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int2
((((triple8 triple12) -> (rule3 % int3)) ((triple7 triple8) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int3
((triple7 ((((triple8 triple12) -> (rule3 % int3)) triple8) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int3
((((triple8 ((triple10) -> (rule1 % int3))) -> (rule3 % int2)) triple11) -> (rule7 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int2
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int3
((((triple8 triple12) -> (rule3 % int3)) ((((triple8 triple12) -> (rule3 % int3)) triple8) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int3
((((triple8 ((triple10) -> (rule1 % int4))) -> (rule3 % int3)) ((triple7 triple8) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int3
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int4
((((triple8 ((triple10) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple8 triple12) -> (rule3 % int3)) triple8) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int3
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int4
((triple7 ((((triple8 ((triple10) -> (rule1 % int4))) -> (rule3 % int3)) triple8) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int3
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int4
((((triple8 triple12) -> (rule3 % int4)) ((((triple8 ((triple10) -> (rule1 % int3))) -> (rule3 % int4)) triple8) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int3
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int4
((((triple8 ((triple10) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple8 ((triple10) -> (rule1 % int4))) -> (rule3 % int3)) triple8) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int3
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int4
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple10
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple11
((triple7 triple8) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
((((triple8 triple12) -> (rule3 % int2)) triple8) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int2
((((triple8 ((triple10) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int2
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int3
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple12
((triple10) -> (rule1 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple12) -> (rule6 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2