The dog likes the squirrel. The dog sees the tiger. The dog visits the tiger. The squirrel is red. The squirrel likes the dog. The squirrel visits the dog. The tiger is red. If something visits the tiger then it is big. If something likes the squirrel and it is red then it visits the dog. If something sees the squirrel and the squirrel likes the tiger then it is rough.
The squirrel likes the dog.
@0: The dog likes the squirrel.[(triple1)] The dog sees the tiger.[(triple2)] The dog visits the tiger.[(triple3)] The squirrel is red.[(triple4)] The squirrel likes the dog.[(triple5)] The squirrel visits the dog.[(triple6)] The tiger is red.[(triple7)] @1: The dog is big.[(((triple3) -> rule1))]