Anne is not green. Dave is red. Erin is smart. If Erin is rough then Erin is young. If someone is rough then they are quiet. Green people are quiet. If someone is blue then they are quiet. If someone is quiet and rough then they are not green. If someone is smart then they are not green. All young people are red. If someone is red then they are rough.
Dave is not smart.
@0: Anne is not green.[(triple1)] Dave is red.[(triple2)] Erin is smart.[(triple3)] @1: Dave is rough.[(((triple2) -> rule8))] Erin is not green.[(((triple3) -> rule6))] @2: Dave is quiet.[(((((triple2) -> rule8)) -> rule2))] @3: Dave is not green.[(((((((triple2) -> rule8)) -> rule2) ((triple2) -> rule8)) -> rule5))]