The cow chases the squirrel. The cow is big. The cow is kind. The cow is round. The cow likes the squirrel. The cow visits the squirrel. The squirrel chases the cow. The squirrel is not big. The squirrel likes the cow. The squirrel visits the cow. If something likes the squirrel then the squirrel is not round.
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is round.
("cow" "is" "round" "+")
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 not big.
("squirrel" "is" "big" "-")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If something likes the squirrel then the squirrel is not round.
((("something" "likes" "squirrel" "+")) -> ("squirrel" "is" "round" "-"))
The cow is kind.
True
1
proof
[(triple3)]
("cow" "is" "kind" "+")
triple3
The squirrel does not like the cow.
False
1
inv-proof
[(triple9)]
("squirrel" "likes" "cow" "-")
triple9
The squirrel is not round.
True
2
proof
[(((triple5) -> rule1))]
("squirrel" "is" "round" "-")
((triple5) -> (rule1 % int1))
The squirrel is not round.
("squirrel" "is" "round" "-")
int1
The squirrel is round.
False
2
inv-proof
[(((triple5) -> rule1))]
("squirrel" "is" "round" "+")
((triple5) -> (rule1 % int1))
The squirrel is not round.
("squirrel" "is" "round" "-")
int1
The squirrel is not kind.
Unknown
inv-random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
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 cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The cow chases the squirrel.[(triple1)] The cow is big.[(triple2)] The cow is kind.[(triple3)] The cow is round.[(triple4)] The cow likes the squirrel.[(triple5)] The cow visits the squirrel.[(triple6)] The squirrel chases the cow.[(triple7)] The squirrel is not big.[(triple8)] The squirrel likes the cow.[(triple9)] The squirrel visits the cow.[(triple10)] @1: The squirrel is not round.[(((triple5) -> rule1))]
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple3
The cow is round.
("cow" "is" "round" "+")
triple4
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple5
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple6
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple7
The squirrel is not big.
("squirrel" "is" "big" "-")
triple8
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple9
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple10
The squirrel is not round.
("squirrel" "is" "round" "-")
((triple5) -> (rule1 % int1))
The squirrel is not round.
("squirrel" "is" "round" "-")
int1