Anne is not blue. Anne is cold. Anne is smart. Erin is smart. Erin is white. Erin is young. Gary is blue. Gary is quiet. Harry is not cold. Harry is quiet. Harry is rough. Harry is smart. Rough people are young. Blue people are not white. If someone is smart and not blue then they are white. White people are rough. If Erin is smart then Erin is rough. If Erin is not white and Erin is not young then Erin is not quiet. If Anne is not blue and Anne is not white then Anne is quiet. If Anne is white and Anne is not cold then Anne is not quiet.
Anne is not quiet.
@0: Anne is cold.[(triple2)] Anne is not blue.[(triple1)] Anne is smart.[(triple3)] Erin is smart.[(triple4)] Erin is white.[(triple5)] Erin is young.[(triple6 OR ((((triple4) -> rule5)) -> rule1) OR ((((triple5) -> rule4)) -> rule1))] Gary is blue.[(triple7)] Gary is quiet.[(triple8)] Harry is not cold.[(triple9)] Harry is quiet.[(triple10)] Harry is rough.[(triple11)] Harry is smart.[(triple12)] @1: Anne is white.[(((triple3 triple1) -> rule3))] Erin is rough.[(((triple4) -> rule5) OR ((triple5) -> rule4))] Gary is not white.[(((triple7) -> rule2))] Harry is young.[(((triple11) -> rule1))] @2: Anne is rough.[(((((triple3 triple1) -> rule3)) -> rule4))] @3: Anne is young.[(((((((triple3 triple1) -> rule3)) -> rule4)) -> rule1))]