The dog chases the squirrel. The dog chases the tiger. The dog is kind. The dog is rough. The dog visits the squirrel. The dog visits the tiger. The lion is green. The lion needs the dog. The squirrel is red. The squirrel is rough. The tiger is cold. The tiger needs the dog. If something needs the dog and it visits the dog then it is kind. If something is rough and it visits the squirrel then it chases the dog. If something is cold and it visits the lion then the lion is green. If something chases the lion then it visits the squirrel. If something chases the tiger and the tiger is green then the tiger is rough. If something is rough and it visits the squirrel then it visits the tiger.
The dog visits the tiger.
@0: The dog chases the squirrel.[(triple1)] The dog chases the tiger.[(triple2)] The dog is kind.[(triple3)] The dog is rough.[(triple4)] The dog visits the squirrel.[(triple5)] The dog visits the tiger.[(triple6 OR ((triple4 triple5) -> rule6))] The lion is green.[(triple7)] The lion needs the dog.[(triple8)] The squirrel is red.[(triple9)] The squirrel is rough.[(triple10)] The tiger is cold.[(triple11)] The tiger needs the dog.[(triple12)] @1: The dog chases the dog.[(((triple4 triple5) -> rule2))]