Anne is white. Charlie is smart. Fiona is not round. Gary is cold. White things are big. Young, round things are big. All young things are cold. All smart, big things are cold. If Anne is not round then Anne is not cold. All smart things are white.
Charlie is big.
@0: Anne is white.[(triple1)] Charlie is smart.[(triple2)] Fiona is not round.[(triple3)] Gary is cold.[(triple4)] @1: Anne is big.[(((triple1) -> rule1))] Charlie is white.[(((triple2) -> rule6))] @2: Charlie is big.[(((((triple2) -> rule6)) -> rule1))] @3: Charlie is cold.[(((triple2 ((((triple2) -> rule6)) -> rule1)) -> rule4))]