The bald eagle does not chase the cat. The bald eagle eats the cat. The bald eagle is blue. The bald eagle is green. The bald eagle likes the cat. The cat chases the bald eagle. The cat eats the bald eagle. The cat is not blue. The cat is cold. The cat is green. The cat is not young. The cat likes the bald eagle. If someone chases the cat then the cat does not eat the bald eagle. If someone eats the bald eagle and the bald eagle is green then the bald eagle is rough. If someone is blue and they like the bald eagle then they are rough.
The cat is not rough.
@0: The bald eagle does not chase the cat.[(triple1)] The bald eagle eats the cat.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle likes the cat.[(triple5)] The cat chases the bald eagle.[(triple6)] The cat eats the bald eagle.[(triple7)] The cat is cold.[(triple9)] The cat is green.[(triple10)] The cat is not blue.[(triple8)] The cat is not young.[(triple11)] The cat likes the bald eagle.[(triple12)] @1: The bald eagle is rough.[(((triple7 triple4) -> rule2))]