The cat is not kind. The cat is not nice. The cat likes the dog. The cat likes the squirrel. The dog eats the cat. The dog eats the squirrel. The dog is cold. The dog does not like the squirrel. The squirrel eats the cat. The squirrel likes the cat. If someone eats the dog then they eat the squirrel. If the cat visits the dog and the cat likes the squirrel then the dog is kind. If the dog is not big then the dog does not visit the cat. If someone is big then they visit the cat. If the squirrel eats the cat then the cat visits the dog. If someone is kind then they do not visit the squirrel.
The cat does not eat the squirrel.
@0: The cat is not kind.[(triple1)] The cat is not nice.[(triple2)] The cat likes the dog.[(triple3)] The cat likes the squirrel.[(triple4)] The dog does not like the squirrel.[(triple8)] The dog eats the cat.[(triple5)] The dog eats the squirrel.[(triple6)] The dog is cold.[(triple7)] The squirrel eats the cat.[(triple9)] The squirrel likes the cat.[(triple10)] @1: The cat visits the dog.[(((triple9) -> rule5))] @2: The dog is kind.[(((((triple9) -> rule5) triple4) -> rule2))] @3: The dog does not visit the squirrel.[(((((((triple9) -> rule5) triple4) -> rule2)) -> rule6))]