The bald eagle chases the tiger. The bald eagle is big. The bald eagle visits the rabbit. The rabbit is blue. The squirrel chases the bald eagle. The squirrel chases the rabbit. The squirrel visits the tiger. The tiger chases the squirrel. The tiger eats the rabbit. The tiger is rough. If something visits the bald eagle then the bald eagle chases the rabbit. If something eats the rabbit then it visits the squirrel. If something eats the rabbit and it visits the rabbit then the rabbit eats the squirrel. If something visits the squirrel then it visits the bald eagle. If something eats the rabbit and it is rough then it chases the squirrel. If something eats the tiger then it chases the bald eagle.
The bald eagle chases the rabbit.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle visits the rabbit.[(triple3)] The rabbit is blue.[(triple4)] The squirrel chases the bald eagle.[(triple5)] The squirrel chases the rabbit.[(triple6)] The squirrel visits the tiger.[(triple7)] The tiger chases the squirrel.[(triple8 OR ((triple9 triple10) -> rule5))] The tiger eats the rabbit.[(triple9)] The tiger is rough.[(triple10)] @1: The tiger visits the squirrel.[(((triple9) -> rule2))] @2: The tiger visits the bald eagle.[(((((triple9) -> rule2)) -> rule4))] @3: The bald eagle chases the rabbit.[(((((((triple9) -> rule2)) -> rule4)) -> rule1))]