The cat is green. The cat is nice. The cat needs the squirrel. The cat visits the dog. The dog is cold. The dog likes the cat. The dog needs the cat. The dog needs the squirrel. The dog visits the cat. The dog visits the squirrel. The squirrel is cold. The squirrel likes the dog. If something is nice then it likes the squirrel. If something likes the squirrel then it visits the squirrel. If something visits the squirrel then it visits the cat.
The cat does not visit the cat.
@0: The cat is green.[(triple1)] The cat is nice.[(triple2)] The cat needs the squirrel.[(triple3)] The cat visits the dog.[(triple4)] The dog is cold.[(triple5)] The dog likes the cat.[(triple6)] The dog needs the cat.[(triple7)] The dog needs the squirrel.[(triple8)] The dog visits the cat.[(triple9 OR ((triple10) -> rule3))] The dog visits the squirrel.[(triple10)] The squirrel is cold.[(triple11)] The squirrel likes the dog.[(triple12)] @1: The cat likes the squirrel.[(((triple2) -> rule1))] @2: The cat visits the squirrel.[(((((triple2) -> rule1)) -> rule2))] @3: The cat visits the cat.[(((((((triple2) -> rule1)) -> rule2)) -> rule3))]