The bald eagle is not blue. The bald eagle likes the cat. The cat chases the bald eagle. The cat eats the bald eagle. The cat is big. The cat is blue. The cat is not nice. The cat is red. The cat is young. The cat likes the bald eagle. If something eats the bald eagle then the bald eagle chases the cat. If something chases the cat and it chases the bald eagle then it is not nice. If something chases the cat then it is big.
The bald eagle is not big.
@0: The bald eagle is not blue.[(triple1)] The bald eagle likes the cat.[(triple2)] The cat chases the bald eagle.[(triple3)] The cat eats the bald eagle.[(triple4)] The cat is big.[(triple5)] The cat is blue.[(triple6)] The cat is not nice.[(triple7)] The cat is red.[(triple8)] The cat is young.[(triple9)] The cat likes the bald eagle.[(triple10)] @1: The bald eagle chases the cat.[(((triple4) -> rule1))] @2: The bald eagle is big.[(((((triple4) -> rule1)) -> rule3))]