The cat eats the mouse. The cat is cold. The cat is kind. The cat is nice. The cat is rough. The dog eats the squirrel. The dog is cold. The dog visits the mouse. The dog visits the squirrel. The mouse eats the dog. The mouse eats the squirrel. The mouse is nice. The mouse is rough. The mouse sees the cat. The mouse visits the squirrel. The squirrel visits the dog. If the cat visits the squirrel then the squirrel sees the cat. If someone sees the dog and the dog sees the squirrel then the squirrel is rough. If someone eats the dog then the dog sees the mouse. If someone eats the dog then the dog eats the cat. If someone visits the cat and the cat sees the dog then the dog is nice. If someone eats the cat then they see the cat. If someone is young then they eat the squirrel. If someone visits the mouse then the mouse visits the cat.
The squirrel does not see the cat.
@0: The cat eats the mouse.[(triple1)] The cat is cold.[(triple2)] The cat is kind.[(triple3)] The cat is nice.[(triple4)] The cat is rough.[(triple5)] The dog eats the squirrel.[(triple6)] The dog is cold.[(triple7)] The dog visits the mouse.[(triple8)] The dog visits the squirrel.[(triple9)] The mouse eats the dog.[(triple10)] The mouse eats the squirrel.[(triple11)] The mouse is nice.[(triple12)] The mouse is rough.[(triple13)] The mouse sees the cat.[(triple14)] The mouse visits the squirrel.[(triple15)] The squirrel visits the dog.[(triple16)] @1: The dog eats the cat.[(((triple10) -> rule4))] The dog sees the mouse.[(((triple10) -> rule3))] The mouse visits the cat.[(((triple8) -> rule8))] @2: The dog sees the cat.[(((((triple10) -> rule4)) -> rule6))]