The bald eagle is round. The cat needs the mouse. The mouse visits the cat. If someone needs the mouse then they like the bald eagle. If someone needs the mouse then they are green. If someone likes the cat then they need the cat. If someone needs the bald eagle and they are blue then they are round. If someone visits the bald eagle and they are cold then the bald eagle likes the cat. If someone likes the bald eagle then the bald eagle needs the mouse. If someone is blue and green then they need the mouse. If someone needs the cat then they visit the cat.
The cat does not like the bald eagle.
@0: The bald eagle is round.[(triple1)] The cat needs the mouse.[(triple2)] The mouse visits the cat.[(triple3)] @1: The cat is green.[(((triple2) -> rule2))] The cat likes the bald eagle.[(((triple2) -> rule1))] @2: The bald eagle needs the mouse.[(((((triple2) -> rule1)) -> rule6))] @3: The bald eagle is green.[(((((((triple2) -> rule1)) -> rule6)) -> rule2))] The bald eagle likes the bald eagle.[(((((((triple2) -> rule1)) -> rule6)) -> rule1))]