The bald eagle chases the squirrel. The bald eagle is big. The bald eagle is kind. The bald eagle is red. The bald eagle is rough. The bald eagle is round. The bald eagle likes the squirrel. The bald eagle visits the squirrel. The squirrel chases the bald eagle. The squirrel is big. The squirrel is kind. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel likes the bald eagle. The squirrel visits the bald eagle. If someone likes the squirrel then they like the bald eagle. All red people are kind. If the bald eagle chases the squirrel and the bald eagle is big then the bald eagle visits the squirrel.
The bald eagle is big.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is kind.[(triple3 OR ((triple4) -> rule2))] The bald eagle is red.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle likes the squirrel.[(triple7)] The bald eagle visits the squirrel.[(triple8 OR ((triple1 triple2) -> rule3))] The squirrel chases the bald eagle.[(triple9)] The squirrel is big.[(triple10)] The squirrel is kind.[(triple11 OR ((triple12) -> rule2))] The squirrel is red.[(triple12)] The squirrel is rough.[(triple13)] The squirrel is round.[(triple14)] The squirrel likes the bald eagle.[(triple15)] The squirrel visits the bald eagle.[(triple16)] @1: The bald eagle likes the bald eagle.[(((triple7) -> rule1))]