Charlie is kind. Fiona is green. Gary is green. Harry is green. All white, quiet people are kind. If Gary is kind and Gary is round then Gary is smart. Green people are big. All big people are quiet. Smart, quiet people are round. Quiet, big people are smart.
Harry is not kind.
@0: Charlie is kind.[(triple1)] Fiona is green.[(triple2)] Gary is green.[(triple3)] Harry is green.[(triple4)] @1: Fiona is big.[(((triple2) -> rule3))] Gary is big.[(((triple3) -> rule3))] Harry is big.[(((triple4) -> rule3))] @2: Fiona is quiet.[(((((triple2) -> rule3)) -> rule4))] Gary is quiet.[(((((triple3) -> rule3)) -> rule4))] Harry is quiet.[(((((triple4) -> rule3)) -> rule4))] @3: Fiona is smart.[(((((((triple2) -> rule3)) -> rule4) ((triple2) -> rule3)) -> rule6))] Gary is smart.[(((((((triple3) -> rule3)) -> rule4) ((triple3) -> rule3)) -> rule6))] Harry is smart.[(((((((triple4) -> rule3)) -> rule4) ((triple4) -> rule3)) -> rule6))] @4: Fiona is round.[(((((((((triple2) -> rule3)) -> rule4) ((triple2) -> rule3)) -> rule6) ((((triple2) -> rule3)) -> rule4)) -> rule5))] Gary is round.[(((((((((triple3) -> rule3)) -> rule4) ((triple3) -> rule3)) -> rule6) ((((triple3) -> rule3)) -> rule4)) -> rule5))] Harry is round.[(((((((((triple4) -> rule3)) -> rule4) ((triple4) -> rule3)) -> rule6) ((((triple4) -> rule3)) -> rule4)) -> rule5))]