The cat is kind. The cat needs the mouse. The cat needs the squirrel. The cat visits the mouse. The cow is red. The cow needs the mouse. The cow visits the cat. The mouse eats the cat. The mouse needs the cow. The mouse needs the squirrel. The squirrel eats the cat. The squirrel needs the cow. If someone visits the mouse then they need the cow. If someone visits the cow then they are big.
The cow is red.
@0: The cat is kind.[(triple1)] The cat needs the mouse.[(triple2)] The cat needs the squirrel.[(triple3)] The cat visits the mouse.[(triple4)] The cow is red.[(triple5)] The cow needs the mouse.[(triple6)] The cow visits the cat.[(triple7)] The mouse eats the cat.[(triple8)] The mouse needs the cow.[(triple9)] The mouse needs the squirrel.[(triple10)] The squirrel eats the cat.[(triple11)] The squirrel needs the cow.[(triple12)] @1: The cat needs the cow.[(((triple4) -> rule1))]