The cat chases the cow. The cat is rough. The cat does not need the cow. The cow eats the cat. The dog is round. The dog does not need the cow. The dog needs the squirrel. The squirrel does not chase the cow. The squirrel eats the cow. The squirrel is kind. The squirrel is red. The squirrel is round. If someone needs the cat then the cat needs the cow. If the squirrel is nice and the squirrel eats the cat then the squirrel does not eat the dog. If someone chases the cat then they eat the squirrel. If someone eats the cat then they need the squirrel. If someone is kind then they chase the squirrel. If someone needs the squirrel then they chase the cat. If someone needs the cat and the cat does not chase the cow then the cat chases the dog. If the dog needs the cat and the cat does not chase the squirrel then the squirrel chases the cow.
The dog chases the cat.
@0: The cat chases the cow.[(triple1)] The cat does not need the cow.[(triple3)] The cat is rough.[(triple2)] The cow eats the cat.[(triple4)] The dog does not need the cow.[(triple6)] The dog is round.[(triple5)] The dog needs the squirrel.[(triple7)] The squirrel does not chase the cow.[(triple8)] The squirrel eats the cow.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is red.[(triple11)] The squirrel is round.[(triple12)] @1: The cow needs the squirrel.[(((triple4) -> rule4))] The dog chases the cat.[(((triple7) -> rule6))] The squirrel chases the squirrel.[(((triple10) -> rule5))] @2: The cow chases the cat.[(((((triple4) -> rule4)) -> rule6))] The dog eats the squirrel.[(((((triple7) -> rule6)) -> rule3))] @3: The cow eats the squirrel.[(((((((triple4) -> rule4)) -> rule6)) -> rule3))]