The cat chases the mouse. The cat eats the mouse. The cat eats the squirrel. The cat is big. The cat needs the squirrel. The mouse chases the squirrel. The mouse eats the cat. The mouse is cold. The mouse needs the cat. The mouse needs the squirrel. The squirrel chases the cat. The squirrel chases the mouse. The squirrel is red. The squirrel is young. The squirrel needs the mouse. If someone chases the cat then the cat chases the mouse. If someone chases the cat then the cat is cold. If the squirrel chases the cat and the cat eats the mouse then the mouse is cold.
The cat chases the cat.
@0: The cat chases the mouse.[(triple1 OR ((triple11) -> rule1))] The cat eats the mouse.[(triple2)] The cat eats the squirrel.[(triple3)] The cat is big.[(triple4)] The cat needs the squirrel.[(triple5)] The mouse chases the squirrel.[(triple6)] The mouse eats the cat.[(triple7)] The mouse is cold.[(triple8 OR ((triple11 triple2) -> rule3))] The mouse needs the cat.[(triple9)] The mouse needs the squirrel.[(triple10)] The squirrel chases the cat.[(triple11)] The squirrel chases the mouse.[(triple12)] The squirrel is red.[(triple13)] The squirrel is young.[(triple14)] The squirrel needs the mouse.[(triple15)] @1: The cat is cold.[(((triple11) -> rule2))]