The cat eats the cow. The cat is green. The cat is round. The cat needs the cow. The cat needs the squirrel. The cat sees the squirrel. The cow is red. The cow needs the cat. The cow needs the squirrel. The cow sees the squirrel. The squirrel eats the cow. The squirrel is green. The squirrel needs the cow. The squirrel sees the cat. The squirrel sees the cow. If someone needs the cow and they see the cow then they eat the squirrel. If the cat sees the cow and the cat needs the squirrel then the cow eats the squirrel. If someone eats the cat then the cat eats the cow. If someone sees the cow and the cow needs the squirrel then the squirrel sees the cat. If the squirrel needs the cat then the squirrel sees the cow. If someone eats the cow then the cow is kind.
The cat eats the cow.
@0: The cat eats the cow.[(triple1)] The cat is green.[(triple2)] The cat is round.[(triple3)] The cat needs the cow.[(triple4)] The cat needs the squirrel.[(triple5)] The cat sees the squirrel.[(triple6)] The cow is red.[(triple7)] The cow needs the cat.[(triple8)] The cow needs the squirrel.[(triple9)] The cow sees the squirrel.[(triple10)] The squirrel eats the cow.[(triple11)] The squirrel is green.[(triple12)] The squirrel needs the cow.[(triple13)] The squirrel sees the cat.[(triple14 OR ((triple15 triple9) -> rule4))] The squirrel sees the cow.[(triple15)] @1: The cow is kind.[(((triple1) -> rule6) OR ((triple11) -> rule6))] The squirrel eats the squirrel.[(((triple13 triple15) -> rule1))]