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