Bob is round. Fiona is not white. Gary is nice. Harry is red. Furry things are red. If something is nice then it is furry. If something is red then it is round.
Bob is not furry.
@0: Bob is round.[(triple1)] Fiona is not white.[(triple2)] Gary is nice.[(triple3)] Harry is red.[(triple4)] @1: Gary is furry.[(((triple3) -> rule2))] Harry is round.[(((triple4) -> rule3))] @2: Gary is red.[(((((triple3) -> rule2)) -> rule1))] @3: Gary is round.[(((((((triple3) -> rule2)) -> rule1)) -> rule3))]