Dave is rough. Fiona is white. Gary is quiet. Harry is rough. If Harry is round then Harry is not kind. All nice people are not round. All white people are nice. All white, quiet people are big. All round, kind people are quiet. If someone is white and not round then they are kind. All big, nice people are not kind. All quiet people are not kind.
Gary is round.
@0: Dave is rough.[(triple1)] Fiona is white.[(triple2)] Gary is quiet.[(triple3)] Harry is rough.[(triple4)] @1: Fiona is nice.[(((triple2) -> rule3))] Gary is not kind.[(((triple3) -> rule8))] @2: Fiona is not round.[(((((triple2) -> rule3)) -> rule2))] @3: Fiona is kind.[(((triple2 ((((triple2) -> rule3)) -> rule2)) -> rule6))]