The bald eagle chases the dog. The bald eagle is cold. The bald eagle likes the cat. The bald eagle likes the squirrel. The cat chases the bald eagle. The cat chases the dog. The cat chases the squirrel. The cat does not like the bald eagle. The cat likes the dog. The cat visits the bald eagle. The cat visits the dog. The dog is cold. The dog visits the squirrel. The squirrel is round. The squirrel likes the cat. The squirrel visits the cat. If someone is round and rough then they chase the dog. If someone is cold then they like the bald eagle. If someone chases the bald eagle then the bald eagle is cold. If the cat visits the dog and the dog likes the squirrel then the squirrel does not visit the dog. All rough people are round. If someone visits the dog then the dog is rough.
The dog does not like the bald eagle.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is cold.[(triple2 OR ((triple5) -> rule3))] The bald eagle likes the cat.[(triple3)] The bald eagle likes the squirrel.[(triple4)] The cat chases the bald eagle.[(triple5)] The cat chases the dog.[(triple6)] The cat chases the squirrel.[(triple7)] The cat does not like the bald eagle.[(triple8)] The cat likes the dog.[(triple9)] The cat visits the bald eagle.[(triple10)] The cat visits the dog.[(triple11)] The dog is cold.[(triple12)] The dog visits the squirrel.[(triple13)] The squirrel is round.[(triple14)] The squirrel likes the cat.[(triple15)] The squirrel visits the cat.[(triple16)] @1: The bald eagle likes the bald eagle.[(((triple2) -> rule2) OR ((((triple5) -> rule3)) -> rule2))] The dog is rough.[(((triple11) -> rule6))] The dog likes the bald eagle.[(((triple12) -> rule2))] @2: The dog is round.[(((((triple11) -> rule6)) -> rule5))] @3: The dog chases the dog.[(((((((triple11) -> rule6)) -> rule5) ((triple11) -> rule6)) -> rule1))]