Charlie is nice. Fiona is round. Gary is white. Harry is smart. All nice, white people are furry. All smart people are round. If Fiona is quiet and Fiona is round then Fiona is white. All round people are smart. White people are smart. All quiet people are smart. Round people are not quiet. If Fiona is quiet then Fiona is not round.
Gary is not quiet.
@0: Charlie is nice.[(triple1)] Fiona is round.[(triple2)] Gary is white.[(triple3)] Harry is smart.[(triple4)] @1: Fiona is not quiet.[(((triple2) -> rule7))] Fiona is smart.[(((triple2) -> rule4))] Gary is smart.[(((triple3) -> rule5))] Harry is round.[(((triple4) -> rule2))] @2: Gary is round.[(((((triple3) -> rule5)) -> rule2))] Harry is not quiet.[(((((triple4) -> rule2)) -> rule7))] @3: Gary is not quiet.[(((((((triple3) -> rule5)) -> rule2)) -> rule7))]