Erin is not smart. Fiona is big. Gary is smart. Harry is round. If Gary is not furry and Gary is not round then Gary is not young. All blue, round things are not white. All round things are blue. If something is white and not furry then it is big. If Harry is not blue then Harry is not young. If something is round then it is smart. Round, young things are smart. Furry, smart things are young.
Fiona is not young.
@0: Erin is not smart.[(triple1)] Fiona is big.[(triple2)] Gary is smart.[(triple3)] Harry is round.[(triple4)] @1: Harry is blue.[(((triple4) -> rule3))] Harry is smart.[(((triple4) -> rule6))] @2: Harry is not white.[(((((triple4) -> rule3) triple4) -> rule2))]