The dog is red. The dog is round. The dog visits the squirrel. The squirrel eats the dog. The squirrel is round. The squirrel likes the dog. The squirrel visits the dog. If the dog visits the squirrel then the dog likes the squirrel.
The dog likes the squirrel.
@0: The dog is red.[(triple1)] The dog is round.[(triple2)] The dog visits the squirrel.[(triple3)] The squirrel eats the dog.[(triple4)] The squirrel is round.[(triple5)] The squirrel likes the dog.[(triple6)] The squirrel visits the dog.[(triple7)] @1: The dog likes the squirrel.[(((triple3) -> rule1))]