The bald eagle chases the cat. The cat likes the squirrel. The cow eats the cat. The squirrel eats the bald eagle. All round people are big. If someone eats the bald eagle then the bald eagle is round.
The bald eagle is big.
@0: The bald eagle chases the cat.[(triple1)] The cat likes the squirrel.[(triple2)] The cow eats the cat.[(triple3)] The squirrel eats the bald eagle.[(triple4)] @1: The bald eagle is round.[(((triple4) -> rule2))] @2: The bald eagle is big.[(((((triple4) -> rule2)) -> rule1))]