The bald eagle chases the cat. The bald eagle is blue. The bald eagle likes the squirrel. The cat chases the bald eagle. The cat is blue. The cat is nice. The squirrel chases the bald eagle. The squirrel chases the cat. The squirrel eats the bald eagle. The squirrel eats the cat. If the squirrel likes the bald eagle and the bald eagle is rough then the squirrel chases the cat. If someone eats the cat and the cat eats the bald eagle then the cat is nice. If someone eats the bald eagle then the bald eagle chases the cat.
The bald eagle chases the cat.
@0: The bald eagle chases the cat.[(triple1 OR ((triple9) -> rule3))] The bald eagle is blue.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat is blue.[(triple5)] The cat is nice.[(triple6)] The squirrel chases the bald eagle.[(triple7)] The squirrel chases the cat.[(triple8)] The squirrel eats the bald eagle.[(triple9)] The squirrel eats the cat.[(triple10)]