The bald eagle chases the cat. The bald eagle is big. The bald eagle is blue. The bald eagle is nice. The bald eagle is red. The bald eagle is round. The bald eagle likes the cat. The bald eagle needs the cat. The cat chases the bald eagle. The cat is big. The cat is blue. The cat is red. The cat is round. The cat likes the bald eagle. The cat needs the bald eagle. If something needs the cat and the cat needs the bald eagle then it chases the cat. If something is round and red then it needs the cat.
The bald eagle does not need the bald eagle.
@0: The bald eagle chases the cat.[(triple1 OR ((triple8 triple15) -> rule1) OR ((((triple6 triple5) -> rule2) triple15) -> rule1))] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is red.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle likes the cat.[(triple7)] The bald eagle needs the cat.[(triple8 OR ((triple6 triple5) -> rule2))] The cat chases the bald eagle.[(triple9)] The cat is big.[(triple10)] The cat is blue.[(triple11)] The cat is red.[(triple12)] The cat is round.[(triple13)] The cat likes the bald eagle.[(triple14)] The cat needs the bald eagle.[(triple15)] @1: The cat needs the cat.[(((triple13 triple12) -> rule2))] @2: The cat chases the cat.[(((((triple13 triple12) -> rule2) triple15) -> rule1))]