The dog eats the squirrel. The dog is cold. The dog is not kind. The dog is nice. The dog is red. The dog is not rough. The dog likes the squirrel. The dog visits the squirrel. The squirrel eats the dog. The squirrel is cold. The squirrel is not kind. The squirrel is nice. The squirrel is rough. The squirrel likes the dog. The squirrel visits the dog. If something likes the squirrel then the squirrel likes the dog. If the dog likes the squirrel then the squirrel eats the dog. If the squirrel is cold then the squirrel is rough.
The squirrel eats the squirrel.
@0: The dog eats the squirrel.[(triple1)] The dog is cold.[(triple2)] The dog is nice.[(triple4)] The dog is not kind.[(triple3)] The dog is not rough.[(triple6)] The dog is red.[(triple5)] The dog likes the squirrel.[(triple7)] The dog visits the squirrel.[(triple8)] The squirrel eats the dog.[(triple9 OR ((triple7) -> rule2))] The squirrel is cold.[(triple10)] The squirrel is nice.[(triple12)] The squirrel is not kind.[(triple11)] The squirrel is rough.[(triple13 OR ((triple10) -> rule3))] The squirrel likes the dog.[(triple14 OR ((triple7) -> rule1))] The squirrel visits the dog.[(triple15)]