Dave is big. Erin is white. Harry is furry. White people are not green. Furry, round people are not quiet. If someone is furry then they are round. Furry, quiet people are round. All big people are not white. If Harry is green then Harry is nice.
Harry is furry.
@0: Dave is big.[(triple1)] Erin is white.[(triple2)] Harry is furry.[(triple3)] @1: Dave is not white.[(((triple1) -> rule5))] Erin is not green.[(((triple2) -> rule1))] Harry is round.[(((triple3) -> rule3))] @2: Harry is not quiet.[(((triple3 ((triple3) -> rule3)) -> rule2))]