The bald eagle does not chase the squirrel. The bald eagle is blue. The bald eagle is not nice. The bald eagle does not like the cat. The bald eagle visits the cat. The cat chases the bald eagle. The cat is not blue. The cat is cold. The cat is not nice. The cat likes the bald eagle. The cat visits the squirrel. The squirrel chases the bald eagle. The squirrel is blue. The squirrel is cold. The squirrel likes the bald eagle. If something chases the bald eagle then the bald eagle visits the cat. If something chases the squirrel and it chases the cat then it likes the bald eagle. If the squirrel is nice then the squirrel does not like the bald eagle. If the bald eagle does not chase the cat then the bald eagle is red. If the cat likes the squirrel and the squirrel likes the cat then the cat chases the bald eagle. If something visits the bald eagle and the bald eagle chases the cat then the cat is blue. If the cat does not visit the squirrel then the cat chases the squirrel. If something is red then it does not chase the bald eagle.
The cat visits the squirrel.
@0: The bald eagle does not chase the squirrel.[(triple1)] The bald eagle does not like the cat.[(triple4)] The bald eagle is blue.[(triple2)] The bald eagle is not nice.[(triple3)] The bald eagle visits the cat.[(triple5 OR ((triple12) -> rule1) OR ((triple6) -> rule1))] The cat chases the bald eagle.[(triple6)] The cat is cold.[(triple8)] The cat is not blue.[(triple7)] The cat is not nice.[(triple9)] The cat likes the bald eagle.[(triple10)] The cat visits the squirrel.[(triple11)] The squirrel chases the bald eagle.[(triple12)] The squirrel is blue.[(triple13)] The squirrel is cold.[(triple14)] The squirrel likes the bald eagle.[(triple15)]