The bald eagle is cold. The bald eagle likes the cat. The cat is cold. The cat is green. The cat is round. The cat likes the bald eagle. The cat visits the bald eagle. If someone is round then they visit the cat. If someone sees the bald eagle and they like the cat then they like the bald eagle. If someone visits the bald eagle and the bald eagle sees the cat then the bald eagle visits the cat. If someone visits the cat and they like the cat then they visit the bald eagle. If someone is kind and they like the cat then the cat is round. If someone visits the bald eagle then the bald eagle sees the cat. If the cat is round and the cat likes the bald eagle then the bald eagle sees the cat. If someone visits the bald eagle then they like the cat.
The bald eagle does not visit the bald eagle.
@0: The bald eagle is cold.[(triple1)] The bald eagle likes the cat.[(triple2)] The cat is cold.[(triple3)] The cat is green.[(triple4)] The cat is round.[(triple5)] The cat likes the bald eagle.[(triple6)] The cat visits the bald eagle.[(triple7)] @1: The bald eagle sees the cat.[(((triple7) -> rule6) OR ((triple5 triple6) -> rule7))] The cat likes the cat.[(((triple7) -> rule8))] The cat visits the cat.[(((triple5) -> rule1))] @2: The bald eagle visits the cat.[(((triple7 ((triple7) -> rule6)) -> rule3) OR ((triple7 ((triple5 triple6) -> rule7)) -> rule3))] @3: The bald eagle visits the bald eagle.[(((((triple7 ((triple7) -> rule6)) -> rule3) triple2) -> rule4) OR ((((triple7 ((triple5 triple6) -> rule7)) -> rule3) triple2) -> rule4))]