The bald eagle is cold. The bald eagle is kind. The bald eagle is rough. The bald eagle is young. The bald eagle likes the lion. The bald eagle needs the lion. The lion chases the bald eagle. The lion is kind. The lion is young. The lion needs the bald eagle. If something is kind then it likes the bald eagle. If something needs the bald eagle then it chases the bald eagle. If something needs the bald eagle and the bald eagle chases the lion then the bald eagle is kind. If something is kind and it likes the bald eagle then it needs the bald eagle. If something likes the lion and it chases the lion then it likes the bald eagle. If something is blue and it needs the lion then the lion likes the bald eagle.
The bald eagle chases the bald eagle.
@0: The bald eagle is cold.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle likes the lion.[(triple5)] The bald eagle needs the lion.[(triple6)] The lion chases the bald eagle.[(triple7 OR ((triple10) -> rule2) OR ((((triple8 ((triple8) -> rule1)) -> rule4)) -> rule2))] The lion is kind.[(triple8)] The lion is young.[(triple9)] The lion needs the bald eagle.[(triple10 OR ((triple8 ((triple8) -> rule1)) -> rule4))] @1: The bald eagle likes the bald eagle.[(((triple2) -> rule1))] The lion likes the bald eagle.[(((triple8) -> rule1))] @2: The bald eagle needs the bald eagle.[(((triple2 ((triple2) -> rule1)) -> rule4))] @3: The bald eagle chases the bald eagle.[(((((triple2 ((triple2) -> rule1)) -> rule4)) -> rule2))]