The bald eagle chases the bear. The bald eagle chases the tiger. The bald eagle is round. The bald eagle likes the squirrel. The bear is nice. The bear likes the squirrel. The squirrel chases the bald eagle. The squirrel chases the tiger. The squirrel likes the bald eagle. The squirrel likes the bear. The squirrel needs the bald eagle. The tiger is nice. If someone chases the bald eagle then the bald eagle chases the bear. If someone chases the tiger then they are red. If someone likes the bald eagle and the bald eagle likes the squirrel then they need the squirrel. If someone needs the bald eagle and they are kind then they are red. If someone chases the bear then they chase the tiger. If someone is green and they chase the bear then they chase the tiger.
The bear likes the squirrel.
@0: The bald eagle chases the bear.[(triple1 OR ((triple7) -> rule1))] The bald eagle chases the tiger.[(triple2 OR ((triple1) -> rule5) OR ((((triple7) -> rule1)) -> rule5))] The bald eagle is round.[(triple3)] The bald eagle likes the squirrel.[(triple4)] The bear is nice.[(triple5)] The bear likes the squirrel.[(triple6)] The squirrel chases the bald eagle.[(triple7)] The squirrel chases the tiger.[(triple8)] The squirrel likes the bald eagle.[(triple9)] The squirrel likes the bear.[(triple10)] The squirrel needs the bald eagle.[(triple11)] The tiger is nice.[(triple12)] @1: The bald eagle is red.[(((triple2) -> rule2) OR ((((triple1) -> rule5)) -> rule2) OR ((((((triple7) -> rule1)) -> rule5)) -> rule2))] The squirrel is red.[(((triple8) -> rule2))] The squirrel needs the squirrel.[(((triple9 triple4) -> rule3))]