The cow chases the squirrel. The cow is not green. The cow is not nice. The cow is red. The cow is round. The cow is young. The cow likes the squirrel. The cow visits the squirrel. The squirrel chases the cow. The squirrel is green. The squirrel is nice. The squirrel is red. The squirrel is round. The squirrel is young. The squirrel likes the cow. The squirrel visits the cow. If the cow visits the squirrel and the cow does not chase the squirrel then the cow likes the squirrel. If someone chases the squirrel then they chase the cow.
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow is not green.
("cow" "is" "green" "-")
The cow is not nice.
("cow" "is" "nice" "-")
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 visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
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 visits the cow.
("squirrel" "visits" "cow" "+")
If the cow visits the squirrel and the cow does not chase the squirrel then the cow likes the squirrel.
((("cow" "visits" "squirrel" "+") ("cow" "chases" "squirrel" "~")) -> ("cow" "likes" "squirrel" "+"))
If someone chases the squirrel then they chase the cow.
((("someone" "chases" "squirrel" "+")) -> ("someone" "chases" "cow" "+"))
The squirrel is round.
True
1
proof
[(triple13)]
("squirrel" "is" "round" "+")
triple13
The cow is not round.
False
1
inv-proof
[(triple5)]
("cow" "is" "round" "-")
triple5
The cow chases the cow.
True
2
proof
[(((triple1) -> rule2))]
("cow" "chases" "cow" "+")
((triple1) -> (rule2 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow does not chase the cow.
False
2
inv-proof
[(((triple1) -> rule2))]
("cow" "chases" "cow" "-")
((triple1) -> (rule2 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
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 squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
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 chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The cow chases the squirrel.[(triple1)] The cow is not green.[(triple2)] The cow is not nice.[(triple3)] The cow is red.[(triple4)] The cow is round.[(triple5)] The cow is young.[(triple6)] The cow likes the squirrel.[(triple7)] The cow visits the squirrel.[(triple8)] The squirrel chases the cow.[(triple9)] The squirrel is green.[(triple10)] The squirrel is nice.[(triple11)] The squirrel is red.[(triple12)] The squirrel is round.[(triple13)] The squirrel is young.[(triple14)] The squirrel likes the cow.[(triple15)] The squirrel visits the cow.[(triple16)] @1: The cow chases the cow.[(((triple1) -> rule2))]
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple1
The cow is not green.
("cow" "is" "green" "-")
triple2
The cow is not nice.
("cow" "is" "nice" "-")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The cow is round.
("cow" "is" "round" "+")
triple5
The cow is young.
("cow" "is" "young" "+")
triple6
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple7
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple8
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple11
The squirrel is red.
("squirrel" "is" "red" "+")
triple12
The squirrel is round.
("squirrel" "is" "round" "+")
triple13
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple15
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple16
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple1) -> (rule2 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1