The bald eagle is nice. The cat is big. The rabbit chases the cat. If someone visits the cat then the cat sees the rabbit. If someone is round then they visit the cat. If someone visits the bald eagle and they are round then the bald eagle is kind. If someone chases the cat then they are nice. If the bald eagle is green then the bald eagle visits the cat. If someone chases the cat then the cat is round.
The cat visits the cat.
@0: The bald eagle is nice.[(triple1)] The cat is big.[(triple2)] The rabbit chases the cat.[(triple3)] @1: The cat is round.[(((triple3) -> rule6))] The rabbit is nice.[(((triple3) -> rule4))] @2: The cat visits the cat.[(((((triple3) -> rule6)) -> rule2))] @3: The cat sees the rabbit.[(((((((triple3) -> rule6)) -> rule2)) -> rule1))]