Anne is cold. Anne is red. Anne is rough. Anne is not white. Dave is quiet. Dave is white. Fiona is not quiet. Gary is cold. Gary is quiet. Gary is red. Gary is rough. Gary is white. If Fiona is white and Fiona is green then Fiona is not quiet. All rough things are young. If something is cold then it is red. Young things are cold. If something is quiet and green then it is rough. All quiet things are green.
Dave is not red.
@0: Anne is cold.[(triple1 OR ((((triple3) -> rule2)) -> rule4))] Anne is not white.[(triple4)] Anne is red.[(triple2 OR ((triple1) -> rule3) OR ((((((triple3) -> rule2)) -> rule4)) -> rule3))] Anne is rough.[(triple3)] Dave is quiet.[(triple5)] Dave is white.[(triple6)] Fiona is not quiet.[(triple7)] Gary is cold.[(triple8 OR ((((triple11) -> rule2)) -> rule4) OR ((((((triple9 ((triple9) -> rule6)) -> rule5)) -> rule2)) -> rule4))] Gary is quiet.[(triple9)] Gary is red.[(triple10 OR ((triple8) -> rule3) OR ((((((triple11) -> rule2)) -> rule4)) -> rule3) OR ((((((((triple9 ((triple9) -> rule6)) -> rule5)) -> rule2)) -> rule4)) -> rule3))] Gary is rough.[(triple11 OR ((triple9 ((triple9) -> rule6)) -> rule5))] Gary is white.[(triple12)] @1: Anne is young.[(((triple3) -> rule2))] Dave is green.[(((triple5) -> rule6))] Gary is green.[(((triple9) -> rule6))] Gary is young.[(((triple11) -> rule2) OR ((((triple9 ((triple9) -> rule6)) -> rule5)) -> rule2))] @2: Dave is rough.[(((triple5 ((triple5) -> rule6)) -> rule5))] @3: Dave is young.[(((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule2))] @4: Dave is cold.[(((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule2)) -> rule4))] @5: Dave is red.[(((((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule2)) -> rule4)) -> rule3))]