The cat likes the cow. The cat likes the squirrel. The cow chases the squirrel. The cow eats the squirrel. The cow is round. The squirrel chases the cat. The squirrel likes the cow. If someone eats the squirrel then they like the squirrel. If the cat chases the squirrel then the cat eats the squirrel. If someone chases the cow then the cow is rough. If the cat likes the squirrel then the squirrel chases the cow. Rough people are kind. If someone eats the squirrel then they eat the cat. If someone eats the cat and they are big then they are round. If someone is rough and they eat the squirrel then the squirrel likes the cow.
The cat does not eat the cow.
@0: The cat likes the cow.[(triple1)] The cat likes the squirrel.[(triple2)] The cow chases the squirrel.[(triple3)] The cow eats the squirrel.[(triple4)] The cow is round.[(triple5)] The squirrel chases the cat.[(triple6)] The squirrel likes the cow.[(triple7 OR ((((((triple2) -> rule4)) -> rule3) triple4) -> rule8))] @1: The cow eats the cat.[(((triple4) -> rule6))] The cow likes the squirrel.[(((triple4) -> rule1))] The squirrel chases the cow.[(((triple2) -> rule4))] @2: The cow is rough.[(((((triple2) -> rule4)) -> rule3))] @3: The cow is kind.[(((((((triple2) -> rule4)) -> rule3)) -> rule5))]