Anne is big. Anne is cold. Anne is quiet. Anne is rough. Anne is smart. Anne is young. Gary is cold. Gary is green. Gary is young. Harry is big. Harry is cold. Harry is quiet. Harry is rough. Harry is smart. Harry is young. All smart, quiet people are rough. All young, green people are rough. If Anne is quiet then Anne is cold.
Harry is not green.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple3) -> rule3))] Anne is quiet.[(triple3)] Anne is rough.[(triple4 OR ((triple5 triple3) -> rule1))] Anne is smart.[(triple5)] Anne is young.[(triple6)] Gary is cold.[(triple7)] Gary is green.[(triple8)] Gary is young.[(triple9)] Harry is big.[(triple10)] Harry is cold.[(triple11)] Harry is quiet.[(triple12)] Harry is rough.[(triple13 OR ((triple14 triple12) -> rule1))] Harry is smart.[(triple14)] Harry is young.[(triple15)] @1: Gary is rough.[(((triple9 triple8) -> rule2))]