Anne is cold. Anne is green. Anne is nice. Bob is nice. Bob is quiet. Dave is cold. Dave is quiet. Erin is not green. Erin is nice. Erin is quiet. All green, quiet people are young. If someone is cold then they are quiet.
Dave is not young.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Dave is cold.[(triple6)] Dave is quiet.[(triple7 OR ((triple6) -> rule2))] Erin is nice.[(triple9)] Erin is not green.[(triple8)] Erin is quiet.[(triple10)] @1: Anne is quiet.[(((triple1) -> rule2))] @2: Anne is young.[(((triple2 ((triple1) -> rule2)) -> rule1))]