The bald eagle is blue. The bald eagle is green. The bald eagle is red. The bald eagle is rough. The bald eagle is round. The bald eagle likes the cat. The bald eagle sees the cat. The bald eagle visits the cat. The cat is blue. The cat is green. The cat is red. The cat is rough. The cat is round. The cat does not like the bald eagle. The cat sees the bald eagle. The cat does not visit the bald eagle. If someone sees the cat and the cat is not rough then they visit the bald eagle. If the bald eagle likes the cat and the bald eagle visits the cat then the bald eagle sees the cat. If the bald eagle likes the cat then the bald eagle visits the cat. If someone sees the bald eagle and they are not blue then they visit the cat. If someone is rough then they see the cat. If someone likes the bald eagle then the bald eagle likes the cat.
The bald eagle does not visit the bald eagle.
@0: The bald eagle is blue.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle likes the cat.[(triple6)] The bald eagle sees the cat.[(triple7 OR ((triple4) -> rule5) OR ((triple6 triple8) -> rule2) OR ((triple6 ((triple6) -> rule3)) -> rule2))] The bald eagle visits the cat.[(triple8 OR ((triple6) -> rule3))] The cat does not like the bald eagle.[(triple14)] The cat does not visit the bald eagle.[(triple16)] The cat is blue.[(triple9)] The cat is green.[(triple10)] The cat is red.[(triple11)] The cat is rough.[(triple12)] The cat is round.[(triple13)] The cat sees the bald eagle.[(triple15)] @1: The cat sees the cat.[(((triple12) -> rule5))]