The bald eagle does not chase the rabbit. The bald eagle is not big. The bald eagle is red. The bald eagle likes the rabbit. The bald eagle sees the rabbit. The rabbit does not chase the bald eagle. The rabbit is red. The rabbit is not rough. The rabbit likes the bald eagle. The rabbit sees the bald eagle. If something is rough then it is big. If the rabbit sees the bald eagle and the rabbit does not chase the bald eagle then the bald eagle sees the rabbit. If something likes the rabbit and it does not see the bald eagle then it likes the bald eagle. If something likes the rabbit then the rabbit is big. If something chases the bald eagle and the bald eagle sees the rabbit then it chases the rabbit. All big things are cold. If the bald eagle is rough then the bald eagle chases the rabbit. If the rabbit sees the bald eagle and the bald eagle does not like the rabbit then the bald eagle is rough.
The bald eagle is not big.
@0: The bald eagle does not chase the rabbit.[(triple1)] The bald eagle is not big.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle likes the rabbit.[(triple4)] The bald eagle sees the rabbit.[(triple5 OR ((triple10 triple6) -> rule2))] The rabbit does not chase the bald eagle.[(triple6)] The rabbit is not rough.[(triple8)] The rabbit is red.[(triple7)] The rabbit likes the bald eagle.[(triple9)] The rabbit sees the bald eagle.[(triple10)] @1: The rabbit is big.[(((triple4) -> rule4))] @2: The rabbit is cold.[(((((triple4) -> rule4)) -> rule6))]