The bald eagle chases the lion. The bald eagle is not big. The lion chases the bald eagle. The lion is cold. The lion visits the bald eagle. The rabbit chases the bald eagle. The rabbit likes the bald eagle. If the lion is cold then the lion is red. If something is big then it does not chase the rabbit. If something likes the bald eagle and the bald eagle visits the rabbit then it does not visit the bald eagle. If something likes the bald eagle and it is big then it likes the lion. If something chases the lion and it is cold then it visits the lion. If something is rough and it chases the rabbit then it chases the lion. If the rabbit is red then the rabbit chases the lion. If the bald eagle is rough and the bald eagle does not like the lion then the lion does not chase the bald eagle.
The lion is not cold.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is not big.[(triple2)] The lion chases the bald eagle.[(triple3)] The lion is cold.[(triple4)] The lion visits the bald eagle.[(triple5)] The rabbit chases the bald eagle.[(triple6)] The rabbit likes the bald eagle.[(triple7)] @1: The lion is red.[(((triple4) -> rule1))]