The cat eats the squirrel. The cat sees the squirrel. The cow eats the cat. The cow eats the squirrel. The cow is round. The cow likes the cat. The cow sees the cat. The squirrel eats the cow. The squirrel is round. The squirrel likes the cat. The squirrel likes the cow. The squirrel sees the cat. If something sees the cat and the cat eats the cow then it eats the cat. If something sees the squirrel then it is nice. If something sees the squirrel then it sees the cow. If something sees the squirrel and the squirrel sees the cow then it sees the cow. If something sees the cow then it eats the cow. If something eats the cow then the cow eats the cat.
The cat does not eat the cow.
@0: The cat eats the squirrel.[(triple1)] The cat sees the squirrel.[(triple2)] The cow eats the cat.[(triple3 OR ((triple8) -> rule6) OR ((((((triple2) -> rule3)) -> rule5)) -> rule6) OR ((triple7 ((((triple2) -> rule3)) -> rule5)) -> rule1))] The cow eats the squirrel.[(triple4)] The cow is round.[(triple5)] The cow likes the cat.[(triple6)] The cow sees the cat.[(triple7)] The squirrel eats the cow.[(triple8)] The squirrel is round.[(triple9)] The squirrel likes the cat.[(triple10)] The squirrel likes the cow.[(triple11)] The squirrel sees the cat.[(triple12)] @1: The cat is nice.[(((triple2) -> rule2))] The cat sees the cow.[(((triple2) -> rule3))] @2: The cat eats the cow.[(((((triple2) -> rule3)) -> rule5))] @3: The squirrel eats the cat.[(((triple12 ((((triple2) -> rule3)) -> rule5)) -> rule1))]