Dave is round. Erin is quiet. If someone is quiet then they are blue. All green people are round. All blue people are green. Cold, quiet people are blue. All round people are blue. Blue, cold people are kind.
Erin is not kind.
@0: Dave is round.[(triple1)] Erin is quiet.[(triple2)] @1: Dave is blue.[(((triple1) -> rule5))] Erin is blue.[(((triple2) -> rule1))] @2: Dave is green.[(((((triple1) -> rule5)) -> rule3))] Erin is green.[(((((triple2) -> rule1)) -> rule3))] @3: Erin is round.[(((((((triple2) -> rule1)) -> rule3)) -> rule2))]