The cat eats the mouse. The cat is cold. The cat is round. The cat likes the dog. The cat likes the squirrel. The cat sees the dog. The dog eats the cat. The dog does not eat the mouse. The dog does not eat the squirrel. The dog does not like the cat. The dog sees the mouse. The dog sees the squirrel. The mouse eats the cat. The mouse does not like the cat. The squirrel is not big. The squirrel sees the dog. If something sees the cat and the cat is cold then it likes the mouse. If something eats the squirrel then the squirrel eats the cat. If something sees the dog then the dog sees the cat.
The squirrel eats the squirrel.
@0: The cat eats the mouse.[(triple1)] The cat is cold.[(triple2)] The cat is round.[(triple3)] The cat likes the dog.[(triple4)] The cat likes the squirrel.[(triple5)] The cat sees the dog.[(triple6)] The dog does not eat the mouse.[(triple8)] The dog does not eat the squirrel.[(triple9)] The dog does not like the cat.[(triple10)] The dog eats the cat.[(triple7)] The dog sees the mouse.[(triple11)] The dog sees the squirrel.[(triple12)] The mouse does not like the cat.[(triple14)] The mouse eats the cat.[(triple13)] The squirrel is not big.[(triple15)] The squirrel sees the dog.[(triple16)] @1: The dog sees the cat.[(((triple16) -> rule3) OR ((triple6) -> rule3))] @2: The dog likes the mouse.[(((((triple16) -> rule3) triple2) -> rule1) OR ((((triple6) -> rule3) triple2) -> rule1))]