The cow visits the squirrel. The dog eats the cow. The dog likes the cow. The dog visits the cow. The squirrel is kind. The squirrel is nice. The squirrel likes the cow. If something visits the dog then it eats the squirrel. If the cow eats the dog then the cow is round. If the cow is nice and the cow is kind then the cow likes the squirrel. If something visits the squirrel and the squirrel visits the dog then the dog eats the squirrel. If something likes the squirrel and it is big then the squirrel is round. If the dog eats the cow then the dog likes the squirrel. If something is kind and it likes the cow then it is round. If something likes the cow then the cow is kind.
The squirrel is not round.
@0: The cow visits the squirrel.[(triple1)] The dog eats the cow.[(triple2)] The dog likes the cow.[(triple3)] The dog visits the cow.[(triple4)] The squirrel is kind.[(triple5)] The squirrel is nice.[(triple6)] The squirrel likes the cow.[(triple7)] @1: The cow is kind.[(((triple3) -> rule8) OR ((triple7) -> rule8))] The dog likes the squirrel.[(((triple2) -> rule6))] The squirrel is round.[(((triple5 triple7) -> rule7))]