The dog is cold. The dog is kind. The dog is red. The dog likes the squirrel. The dog sees the squirrel. The dog visits the squirrel. The squirrel is blue. The squirrel is not red. The squirrel is rough. The squirrel likes the dog. The squirrel does not see the dog. The squirrel visits the dog. If something likes the dog then the dog sees the squirrel. If something visits the dog and the dog sees the squirrel then it visits the squirrel.
The squirrel is not cold.
@0: The dog is cold.[(triple1)] The dog is kind.[(triple2)] The dog is red.[(triple3)] The dog likes the squirrel.[(triple4)] The dog sees the squirrel.[(triple5 OR ((triple10) -> rule1))] The dog visits the squirrel.[(triple6)] The squirrel does not see the dog.[(triple11)] The squirrel is blue.[(triple7)] The squirrel is not red.[(triple8)] The squirrel is rough.[(triple9)] The squirrel likes the dog.[(triple10)] The squirrel visits the dog.[(triple12)] @1: The squirrel visits the squirrel.[(((triple12 triple5) -> rule2) OR ((triple12 ((triple10) -> rule1)) -> rule2))]