The bald eagle chases the rabbit. The bald eagle eats the rabbit. The bald eagle is rough. The bald eagle likes the bear. The bald eagle likes the rabbit. The bear is red. The bear likes the bald eagle. The rabbit chases the bear. The rabbit eats the bald eagle. The rabbit eats the bear. The rabbit is big. The rabbit is kind. The rabbit is rough. The rabbit is round. The rabbit likes the bald eagle. The rabbit likes the bear. If something likes the bear then it eats the bear. If something is big then it likes the bear. If something chases the rabbit and it likes the bear then it chases the bear. If the rabbit is kind and the rabbit eats the bear then the bear is big. If the rabbit chases the bald eagle then the rabbit eats the bald eagle. If something is red and it eats the rabbit then it chases the bear.
The bald eagle is big.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the bear.[(triple4)] The bald eagle likes the rabbit.[(triple5)] The bear is red.[(triple6)] The bear likes the bald eagle.[(triple7)] The rabbit chases the bear.[(triple8)] The rabbit eats the bald eagle.[(triple9)] The rabbit eats the bear.[(triple10 OR ((triple16) -> rule1) OR ((((triple11) -> rule2)) -> rule1))] The rabbit is big.[(triple11)] The rabbit is kind.[(triple12)] The rabbit is rough.[(triple13)] The rabbit is round.[(triple14)] The rabbit likes the bald eagle.[(triple15)] The rabbit likes the bear.[(triple16 OR ((triple11) -> rule2))] @1: The bald eagle chases the bear.[(((triple1 triple4) -> rule3))] The bald eagle eats the bear.[(((triple4) -> rule1))] The bear is big.[(((triple12 triple10) -> rule4) OR ((triple12 ((triple16) -> rule1)) -> rule4) OR ((triple12 ((((triple11) -> rule2)) -> rule1)) -> rule4))] @2: The bear likes the bear.[(((((triple12 triple10) -> rule4)) -> rule2) OR ((((triple12 ((triple16) -> rule1)) -> rule4)) -> rule2) OR ((((triple12 ((((triple11) -> rule2)) -> rule1)) -> rule4)) -> rule2))] @3: The bear eats the bear.[(((((((triple12 triple10) -> rule4)) -> rule2)) -> rule1) OR ((((((triple12 ((triple16) -> rule1)) -> rule4)) -> rule2)) -> rule1) OR ((((((triple12 ((((triple11) -> rule2)) -> rule1)) -> rule4)) -> rule2)) -> rule1))]