The bald eagle is nice. The cat likes the bald eagle. The squirrel eats the bald eagle. If someone eats the squirrel then the squirrel does not eat the cat. If someone likes the squirrel then the squirrel likes the cat. If someone needs the bald eagle then the bald eagle eats the squirrel. If someone needs the bald eagle then the bald eagle is green. If someone is nice then they eat the cat. If someone likes the cat and they like the bald eagle then they eat the cat. If someone eats the cat and the cat likes the bald eagle then the cat is not nice. If someone is young and not green then they do not like the cat.
The bald eagle is not nice.
@0: The bald eagle is nice.[(triple1)] The cat likes the bald eagle.[(triple2)] The squirrel eats the bald eagle.[(triple3)] @1: The bald eagle eats the cat.[(((triple1) -> rule5))] @2: The cat is not nice.[(((((triple1) -> rule5) triple2) -> rule7))]