Anne is blue. Charlie is red. Fiona is cold. Harry is round. If something is blue and red then it is big. If something is smart then it is cold. All red things are big. If Charlie is red and Charlie is big then Charlie is blue. Big things are smart. All nice things are big.
Charlie is big.
@0: Anne is blue.[(triple1)] Charlie is red.[(triple2)] Fiona is cold.[(triple3)] Harry is round.[(triple4)] @1: Charlie is big.[(((triple2) -> rule3))] @2: Charlie is blue.[(((triple2 ((triple2) -> rule3)) -> rule4))] Charlie is smart.[(((((triple2) -> rule3)) -> rule5))] @3: Charlie is cold.[(((((((triple2) -> rule3)) -> rule5)) -> rule2))]