The cow eats the squirrel. The cow is kind. The cow is rough. The cow likes the squirrel. The cow visits the squirrel. The squirrel eats the cow. The squirrel is kind. The squirrel is rough. The squirrel likes the cow. The squirrel visits the cow. If the squirrel visits the cow then the squirrel eats the cow. If something eats the cow then it likes the squirrel.
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If the squirrel visits the cow then the squirrel eats the cow.
((("squirrel" "visits" "cow" "+")) -> ("squirrel" "eats" "cow" "+"))
If something eats the cow then it likes the squirrel.
((("something" "eats" "cow" "+")) -> ("something" "likes" "squirrel" "+"))
The cow visits the squirrel.
True
1
proof
[(triple5)]
("cow" "visits" "squirrel" "+")
triple5
The squirrel does not visit the cow.
False
1
inv-proof
[(triple10)]
("squirrel" "visits" "cow" "-")
triple10
The squirrel likes the squirrel.
True
2
proof
[(((triple6) -> rule2) OR ((((triple10) -> rule1)) -> rule2))]
("squirrel" "likes" "squirrel" "+")
((triple6) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int2
The squirrel does not like the squirrel.
False
2
inv-proof
[(((triple6) -> rule2) OR ((((triple10) -> rule1)) -> rule2))]
("squirrel" "likes" "squirrel" "-")
((triple6) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int2
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
The cow is not blue.
Unknown
inv-random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "-")
The cow is green.
Unknown
random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "+")
@0: The cow eats the squirrel.[(triple1)] The cow is kind.[(triple2)] The cow is rough.[(triple3)] The cow likes the squirrel.[(triple4)] The cow visits the squirrel.[(triple5)] The squirrel eats the cow.[(triple6 OR ((triple10) -> rule1))] The squirrel is kind.[(triple7)] The squirrel is rough.[(triple8)] The squirrel likes the cow.[(triple9)] The squirrel visits the cow.[(triple10)] @1: The squirrel likes the squirrel.[(((triple6) -> rule2) OR ((((triple10) -> rule1)) -> rule2))]
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
triple2
The cow is rough.
("cow" "is" "rough" "+")
triple3
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple4
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple5
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple6
((triple10) -> (rule1 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple7
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple8
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple9
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple10
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple6) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int2