The bald eagle is round. The cat needs the bald eagle. The dog is red. The mouse likes the cat. If something needs the bald eagle then the bald eagle is red. If something is red and round then it likes the mouse. If something visits the mouse then it is cold. If something needs the bald eagle and the bald eagle is blue then the bald eagle likes the mouse. If the cat needs the bald eagle and the bald eagle likes the mouse then the cat is red. If something likes the cat then the cat likes the mouse. If something is cold then it likes the bald eagle. If the bald eagle is red and the bald eagle is kind then the bald eagle needs the dog.
The dog visits the mouse.
@0: The bald eagle is round.[(triple1)] The cat needs the bald eagle.[(triple2)] The dog is red.[(triple3)] The mouse likes the cat.[(triple4)] @1: The bald eagle is red.[(((triple2) -> rule1))] The cat likes the mouse.[(((triple4) -> rule6))] @2: The bald eagle likes the mouse.[(((((triple2) -> rule1) triple1) -> rule2))] @3: The cat is red.[(((triple2 ((((triple2) -> rule1) triple1) -> rule2)) -> rule5))]