Charlie is quiet. Dave is rough. Erin is quiet. Erin is not rough. Fiona is not blue. Fiona is green. Fiona is red. If Charlie is green and Charlie is young then Charlie is blue. If something is green and rough then it is cold. Rough things are green. Quiet things are not blue. All green things are quiet. Young, rough things are quiet. If Dave is rough and Dave is not cold then Dave is quiet. If Erin is red and Erin is not cold then Erin is young.
Charlie is not green.
@0: Charlie is quiet.[(triple1)] Dave is rough.[(triple2)] Erin is not rough.[(triple4)] Erin is quiet.[(triple3)] Fiona is green.[(triple6)] Fiona is not blue.[(triple5 OR ((((triple6) -> rule5)) -> rule4))] Fiona is red.[(triple7)] @1: Charlie is not blue.[(((triple1) -> rule4))] Dave is green.[(((triple2) -> rule3))] Erin is not blue.[(((triple3) -> rule4))] Fiona is quiet.[(((triple6) -> rule5))] @2: Dave is cold.[(((((triple2) -> rule3) triple2) -> rule2))] Dave is quiet.[(((((triple2) -> rule3)) -> rule5))] @3: Dave is not blue.[(((((((triple2) -> rule3)) -> rule5)) -> rule4))]