The bald eagle chases the rabbit. The bald eagle eats the rabbit. The bald eagle is not blue. The bald eagle is nice. The bald eagle is red. The bald eagle is rough. The bald eagle is not round. The bald eagle sees the rabbit. The rabbit chases the bald eagle. The rabbit eats the bald eagle. The rabbit is blue. The rabbit is nice. The rabbit is not rough. The rabbit is round. The rabbit sees the bald eagle. If something is red then it chases the bald eagle. If the bald eagle eats the rabbit then the rabbit eats the bald eagle. If the bald eagle chases the rabbit then the rabbit eats the bald eagle. If something chases the bald eagle then it sees the rabbit. If something is blue then it sees the rabbit. If the rabbit chases the bald eagle then the rabbit is blue.
The rabbit is not round.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is nice.[(triple4)] The bald eagle is not blue.[(triple3)] The bald eagle is not round.[(triple7)] The bald eagle is red.[(triple5)] The bald eagle is rough.[(triple6)] The bald eagle sees the rabbit.[(triple8 OR ((((triple5) -> rule1)) -> rule4))] The rabbit chases the bald eagle.[(triple9)] The rabbit eats the bald eagle.[(triple10 OR ((triple1) -> rule3) OR ((triple2) -> rule2))] The rabbit is blue.[(triple11 OR ((triple9) -> rule6))] The rabbit is nice.[(triple12)] The rabbit is not rough.[(triple13)] The rabbit is round.[(triple14)] The rabbit sees the bald eagle.[(triple15)] @1: The bald eagle chases the bald eagle.[(((triple5) -> rule1))] The rabbit sees the rabbit.[(((triple11) -> rule5) OR ((triple9) -> rule4) OR ((((triple9) -> rule6)) -> rule5))]