The bald eagle is not blue. The bald eagle is young. The bald eagle needs the cat. The bald eagle sees the cat. The bald eagle visits the cat. The cat is kind. The cat is not nice. The cat is not round. The cat needs the bald eagle. The cat visits the bald eagle. If someone sees the cat then they visit the cat. If someone visits the bald eagle and they do not see the bald eagle then the bald eagle is kind. If someone is blue and they need the bald eagle then the bald eagle visits the cat. If someone visits the cat then they visit the bald eagle. If the cat is young and the cat needs the bald eagle then the cat visits the bald eagle. If someone visits the bald eagle and the bald eagle is nice then they see the cat. If the bald eagle is nice and the cat does not need the bald eagle then the bald eagle sees the cat. If someone needs the bald eagle then the bald eagle is nice.
The cat needs the cat.
@0: The bald eagle is not blue.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle needs the cat.[(triple3)] The bald eagle sees the cat.[(triple4 OR ((((triple5) -> rule4) ((triple9) -> rule8)) -> rule6))] The bald eagle visits the cat.[(triple5 OR ((triple4) -> rule1))] The cat is kind.[(triple6)] The cat is not nice.[(triple7)] The cat is not round.[(triple8)] The cat needs the bald eagle.[(triple9)] The cat visits the bald eagle.[(triple10)] @1: The bald eagle is nice.[(((triple9) -> rule8))] The bald eagle visits the bald eagle.[(((triple5) -> rule4) OR ((((triple4) -> rule1)) -> rule4))] @2: The cat sees the cat.[(((triple10 ((triple9) -> rule8)) -> rule6))] @3: The cat visits the cat.[(((((triple10 ((triple9) -> rule8)) -> rule6)) -> rule1))]