The bald eagle is rough. The cat needs the bald eagle. The lion visits the cat. If something visits the bald eagle then the bald eagle visits the cat. If something visits the cat then it is blue. If the cat is red and the cat is blue then the cat needs the bald eagle. If something is round and it sees the bald eagle then the bald eagle needs the cat. If something needs the bald eagle then it visits the bald eagle. If something sees the lion then it is round.
The cat needs the bald eagle.
@0: The bald eagle is rough.[(triple1)] The cat needs the bald eagle.[(triple2)] The lion visits the cat.[(triple3)] @1: The cat visits the bald eagle.[(((triple2) -> rule5))] The lion is blue.[(((triple3) -> rule2))] @2: The bald eagle visits the cat.[(((((triple2) -> rule5)) -> rule1))] @3: The bald eagle is blue.[(((((((triple2) -> rule5)) -> rule1)) -> rule2))]