The dog eats the squirrel. The dog is not blue. The dog is rough. The dog visits the squirrel. The squirrel eats the dog. The squirrel is blue. The squirrel is kind. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel likes the dog. The squirrel visits the dog. If someone likes the dog then they are round. If someone visits the squirrel then the squirrel is kind. If the squirrel is red and the squirrel likes the dog then the squirrel is blue. If the dog eats the squirrel then the squirrel is blue. If the dog visits the squirrel and the squirrel is not rough then the dog likes the squirrel. If someone eats the dog then the dog visits the squirrel. If someone eats the squirrel and they do not eat the dog then they do not like the squirrel. If the squirrel eats the dog and the dog does not like the squirrel then the dog is blue.
The squirrel eats the squirrel.
@0: The dog eats the squirrel.[(triple1)] The dog is not blue.[(triple2)] The dog is rough.[(triple3)] The dog visits the squirrel.[(triple4 OR ((triple5) -> rule6))] The squirrel eats the dog.[(triple5)] The squirrel is blue.[(triple6 OR ((triple1) -> rule4) OR ((triple8 triple11) -> rule3))] The squirrel is kind.[(triple7 OR ((triple4) -> rule2) OR ((((triple5) -> rule6)) -> rule2))] The squirrel is red.[(triple8)] The squirrel is rough.[(triple9)] The squirrel is round.[(triple10 OR ((triple11) -> rule1))] The squirrel likes the dog.[(triple11)] The squirrel visits the dog.[(triple12)]