The bald eagle chases the lion. The bald eagle eats the lion. The bald eagle is not rough. The cat is young. The lion chases the bald eagle. The lion chases the cat. The lion eats the bald eagle. The lion needs the squirrel. The squirrel is blue. The squirrel is red. If something chases the cat then it eats the lion. If something eats the lion and it needs the squirrel then it is young. If the lion eats the cat then the lion eats the squirrel. If something chases the cat and the cat is not red then the cat needs the squirrel. If something needs the bald eagle and the bald eagle is not rough then the bald eagle eats the cat. If something is red then it does not need the lion. If something chases the lion and it does not need the cat then it does not need the bald eagle. If the lion needs the bald eagle and the lion is not rough then the lion is cold.
The squirrel eats the bald eagle.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is not rough.[(triple3)] The cat is young.[(triple4)] The lion chases the bald eagle.[(triple5)] The lion chases the cat.[(triple6)] The lion eats the bald eagle.[(triple7)] The lion needs the squirrel.[(triple8)] The squirrel is blue.[(triple9)] The squirrel is red.[(triple10)] @1: The lion eats the lion.[(((triple6) -> rule1))] The squirrel does not need the lion.[(((triple10) -> rule6))] @2: The lion is young.[(((((triple6) -> rule1) triple8) -> rule2))]