Anne is not big. Anne is not blue. Anne is cold. Anne is kind. Anne is nice. Anne is rough. Anne is not young. Gary is not big. Gary is nice. Gary is young. Harry is big. Harry is not blue. Harry is not cold. Harry is not nice. Harry is not rough. Harry is young. If someone is rough and young then they are kind. Blue, rough people are young. If Harry is rough then Harry is big. If Harry is kind then Harry is not young. All nice, young people are not blue. All rough, big people are blue. All young, cold people are big. Kind, blue people are nice.
Gary is not big.
@0: Anne is cold.[(triple3)] Anne is kind.[(triple4)] Anne is nice.[(triple5)] Anne is not big.[(triple1)] Anne is not blue.[(triple2)] Anne is not young.[(triple7)] Anne is rough.[(triple6)] Gary is nice.[(triple9)] Gary is not big.[(triple8)] Gary is young.[(triple10)] Harry is big.[(triple11)] Harry is not blue.[(triple12)] Harry is not cold.[(triple13)] Harry is not nice.[(triple14)] Harry is not rough.[(triple15)] Harry is young.[(triple16)] @1: Gary is not blue.[(((triple9 triple10) -> rule5))]