Dave is red. Erin is not blue. Gary is young. Harry is nice. Round people are kind. All quiet, round people are kind. Red people are round. All round, kind people are quiet. If someone is round and quiet then they are nice. If someone is round and not quiet then they are nice.
Harry is nice.
@0: Dave is red.[(triple1)] Erin is not blue.[(triple2)] Gary is young.[(triple3)] Harry is nice.[(triple4)] @1: Dave is round.[(((triple1) -> rule3))] @2: Dave is kind.[(((((triple1) -> rule3)) -> rule1))] @3: Dave is quiet.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule1)) -> rule4))] @4: Dave is nice.[(((((triple1) -> rule3) ((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule1)) -> rule4)) -> rule5))]