The bald eagle is nice. If something is cold then it is not round. Round, cold things are not big. All round things are big. All red, nice things are cold. If something is cold and not nice then it is red. All nice things are red.
The bald eagle is round.
@0: The bald eagle is nice.[(triple1)] @1: The bald eagle is red.[(((triple1) -> rule6))] @2: The bald eagle is cold.[(((((triple1) -> rule6) triple1) -> rule4))] @3: The bald eagle is not round.[(((((((triple1) -> rule6) triple1) -> rule4)) -> rule1))]