Anne is big. Fiona is big. If someone is round and not smart then they are cold. If Fiona is big and Fiona is cold then Fiona is red. All round people are big. All round people are white. All cold people are round. If Fiona is big then Fiona is round.
Anne is not cold.
@0: Anne is big.[(triple1)] Fiona is big.[(triple2)] @1: Fiona is round.[(((triple2) -> rule6))] @2: Fiona is white.[(((((triple2) -> rule6)) -> rule4))]