The bald eagle is round. If something is big then it is not young. If the bald eagle is cold and the bald eagle is young then the bald eagle is not round. If something is round then it is cold. Big, round things are cold. Big things are not rough. If the bald eagle is round and the bald eagle is cold then the bald eagle is big.
The bald eagle is not round.
@0: The bald eagle is round.[(triple1)] @1: The bald eagle is cold.[(((triple1) -> rule3))] @2: The bald eagle is big.[(((triple1 ((triple1) -> rule3)) -> rule6))] @3: The bald eagle is not rough.[(((((triple1 ((triple1) -> rule3)) -> rule6)) -> rule5))] The bald eagle is not young.[(((((triple1 ((triple1) -> rule3)) -> rule6)) -> rule1))]