The bald eagle is nice. The bald eagle visits the cat. The bald eagle visits the squirrel. The bear chases the bald eagle. The cat chases the bald eagle. The cat visits the bald eagle. The cat visits the squirrel. The squirrel chases the cat. The squirrel eats the bear. The squirrel is kind. The squirrel is nice. The squirrel visits the bald eagle. If someone chases the bald eagle then the bald eagle chases the cat. If someone eats the cat then they are red. If someone visits the bear then they eat the cat. If someone visits the squirrel then the squirrel visits the bear. If the cat visits the bald eagle then the bald eagle eats the squirrel. If someone chases the bear then they eat the bear.
The bald eagle chases the cat.
@0: The bald eagle is nice.[(triple1)] The bald eagle visits the cat.[(triple2)] The bald eagle visits the squirrel.[(triple3)] The bear chases the bald eagle.[(triple4)] The cat chases the bald eagle.[(triple5)] The cat visits the bald eagle.[(triple6)] The cat visits the squirrel.[(triple7)] The squirrel chases the cat.[(triple8)] The squirrel eats the bear.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is nice.[(triple11)] The squirrel visits the bald eagle.[(triple12)] @1: The bald eagle chases the cat.[(((triple4) -> rule1) OR ((triple5) -> rule1))] The bald eagle eats the squirrel.[(((triple6) -> rule5))] The squirrel visits the bear.[(((triple3) -> rule4) OR ((triple7) -> rule4))] @2: The squirrel eats the cat.[(((((triple3) -> rule4)) -> rule3) OR ((((triple7) -> rule4)) -> rule3))] @3: The squirrel is red.[(((((((triple3) -> rule4)) -> rule3)) -> rule2) OR ((((((triple7) -> rule4)) -> rule3)) -> rule2))]