Fiona is round. Fiona is white. Gary is red. If Fiona is red then Fiona is kind. If Fiona is smart then Fiona is red. If Fiona is white then Fiona is smart. All furry things are quiet. Smart, round things are furry. If Fiona is quiet then Fiona is furry.
Gary is kind.
@0: Fiona is round.[(triple1)] Fiona is white.[(triple2)] Gary is red.[(triple3)] @1: Fiona is smart.[(((triple2) -> rule3))] @2: Fiona is furry.[(((((triple2) -> rule3) triple1) -> rule5))] Fiona is red.[(((((triple2) -> rule3)) -> rule2))] @3: Fiona is kind.[(((((((triple2) -> rule3)) -> rule2)) -> rule1))] Fiona is quiet.[(((((((triple2) -> rule3) triple1) -> rule5)) -> rule4))]