The bald eagle eats the cat. The bald eagle is cold. The bald eagle needs the rabbit. The cat chases the bald eagle. The cat is cold. The cat is green. The lion chases the cat. The lion is rough. The lion does not need the bald eagle. The lion needs the rabbit. The rabbit chases the lion. The rabbit eats the bald eagle. The rabbit is rough. The rabbit does not need the bald eagle. The rabbit does not need the cat. If the lion eats the rabbit and the lion is not young then the rabbit eats the bald eagle. If something chases the rabbit and the rabbit does not need the cat then the rabbit is round. If something chases the cat then it chases the rabbit. If something is green and young then it needs the bald eagle. If something needs the lion and it does not eat the lion then it is round. If the rabbit needs the lion then the lion needs the rabbit. If something is cold then it is rough. If something is round then it chases the bald eagle.
The rabbit does not eat the bald eagle.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle needs the rabbit.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat is cold.[(triple5)] The cat is green.[(triple6)] The lion chases the cat.[(triple7)] The lion does not need the bald eagle.[(triple9)] The lion is rough.[(triple8)] The lion needs the rabbit.[(triple10)] The rabbit chases the lion.[(triple11)] The rabbit does not need the bald eagle.[(triple14)] The rabbit does not need the cat.[(triple15)] The rabbit eats the bald eagle.[(triple12)] The rabbit is rough.[(triple13)] @1: The bald eagle is rough.[(((triple2) -> rule7))] The cat is rough.[(((triple5) -> rule7))] The lion chases the rabbit.[(((triple7) -> rule3))] @2: The rabbit is round.[(((((triple7) -> rule3) triple15) -> rule2))] @3: The rabbit chases the bald eagle.[(((((((triple7) -> rule3) triple15) -> rule2)) -> rule8))]