The dog chases the squirrel. The dog is big. The dog is blue. The dog is cold. The dog is nice. The dog is round. The dog likes the squirrel. The dog visits the squirrel. The squirrel chases the dog. The squirrel is blue. The squirrel is cold. The squirrel is nice. The squirrel is round. The squirrel likes the dog. The squirrel visits the dog. If someone chases the dog and they are round then they like the dog.
The dog does not like the dog.
@0: The dog chases the squirrel.[(triple1)] The dog is big.[(triple2)] The dog is blue.[(triple3)] The dog is cold.[(triple4)] The dog is nice.[(triple5)] The dog is round.[(triple6)] The dog likes the squirrel.[(triple7)] The dog visits the squirrel.[(triple8)] The squirrel chases the dog.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is round.[(triple13)] The squirrel likes the dog.[(triple14 OR ((triple9 triple13) -> rule1))] The squirrel visits the dog.[(triple15)]