Anne is big. Anne is not blue. Anne is cold. Anne is green. Anne is rough. Anne is smart. Gary is big. Gary is cold. Gary is not green. Gary is rough. Gary is not smart. Gary is young. Smart, rough people are green. If Gary is young and Gary is not rough then Gary is blue. If Anne is cold and Anne is not green then Anne is big.
Anne is young.
@0: Anne is big.[(triple1)] Anne is cold.[(triple3)] Anne is green.[(triple4 OR ((triple6 triple5) -> rule1))] Anne is not blue.[(triple2)] Anne is rough.[(triple5)] Anne is smart.[(triple6)] Gary is big.[(triple7)] Gary is cold.[(triple8)] Gary is not green.[(triple9)] Gary is not smart.[(triple11)] Gary is rough.[(triple10)] Gary is young.[(triple12)]