Anne is cold. Anne is green. Anne is kind. Anne is rough. Anne is young. Erin is quiet. Erin is young. Gary is cold. Gary is kind. Gary is quiet. Gary is rough. Gary is young. Cold things are young. If Gary is green and Gary is quiet then Gary is young. If something is green then it is smart. All smart things are young. All cold things are quiet. If something is smart then it is young. If Erin is young then Erin is smart. If Erin is young and Erin is kind then Erin is rough.
Gary is not quiet.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is rough.[(triple4)] Anne is young.[(triple5 OR ((triple1) -> rule1) OR ((((triple2) -> rule3)) -> rule4) OR ((((triple2) -> rule3)) -> rule6))] Erin is quiet.[(triple6)] Erin is young.[(triple7)] Gary is cold.[(triple8)] Gary is kind.[(triple9)] Gary is quiet.[(triple10 OR ((triple8) -> rule5))] Gary is rough.[(triple11)] Gary is young.[(triple12 OR ((triple8) -> rule1))] @1: Anne is quiet.[(((triple1) -> rule5))] Anne is smart.[(((triple2) -> rule3))] Erin is smart.[(((triple7) -> rule7))]