Erin is not nice. Fiona is white. Gary is cold. Harry is big. All white things are furry. Furry, round things are blue. If something is blue and not nice then it is cold. If Erin is nice and Erin is white then Erin is not big. All furry things are round. If Gary is white then Gary is not furry. If something is furry and not cold then it is not big. If something is round then it is big.
Gary is not nice.
@0: Erin is not nice.[(triple1)] Fiona is white.[(triple2)] Gary is cold.[(triple3)] Harry is big.[(triple4)] @1: Fiona is furry.[(((triple2) -> rule1))] @2: Fiona is round.[(((((triple2) -> rule1)) -> rule5))] @3: Fiona is big.[(((((((triple2) -> rule1)) -> rule5)) -> rule8))] Fiona is blue.[(((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule5)) -> rule2))]