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