The bald eagle chases the squirrel. The bear is blue. The bear is nice. The bear likes the bald eagle. The squirrel visits the bear. The tiger chases the squirrel. The tiger likes the bald eagle. All round things are blue. If the bear is nice then the bear chases the squirrel. If something is blue then it chases the squirrel. If something visits the bear and it likes the bald eagle then it likes the bear. If something visits the tiger and it likes the tiger then it visits the bear. If something likes the squirrel and it chases the bear then the bear likes the squirrel.
The bear does not visit the bear.
@0: The bald eagle chases the squirrel.[(triple1)] The bear is blue.[(triple2)] The bear is nice.[(triple3)] The bear likes the bald eagle.[(triple4)] The squirrel visits the bear.[(triple5)] The tiger chases the squirrel.[(triple6)] The tiger likes the bald eagle.[(triple7)] @1: The bear chases the squirrel.[(((triple2) -> rule3) OR ((triple3) -> rule2))]