The cat likes the dog. The cat likes the squirrel. The cat needs the dog. The cat sees the dog. The dog likes the mouse. The mouse is red. The mouse likes the dog. The mouse needs the cat. The mouse sees the squirrel. The squirrel is kind. The squirrel is nice. The squirrel sees the cat. If someone likes the squirrel and the squirrel is nice then they see the cat. If someone likes the cat then the cat likes the squirrel. If someone needs the mouse then they see the dog.
The mouse does not see the dog.
@0: The cat likes the dog.[(triple1)] The cat likes the squirrel.[(triple2)] The cat needs the dog.[(triple3)] The cat sees the dog.[(triple4)] The dog likes the mouse.[(triple5)] The mouse is red.[(triple6)] The mouse likes the dog.[(triple7)] The mouse needs the cat.[(triple8)] The mouse sees the squirrel.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is nice.[(triple11)] The squirrel sees the cat.[(triple12)] @1: The cat sees the cat.[(((triple2 triple11) -> rule1))]