Anne is big. Anne is cold. Anne is green. Anne is kind. Anne is white. Gary is big. Gary is cold. Gary is green. Gary is kind. Gary is nice. Gary is rough. Gary is white. Harry is big. Harry is cold. Harry is kind. If something is nice and green then it is cold.
Harry is nice.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is white.[(triple5)] Gary is big.[(triple6)] Gary is cold.[(triple7 OR ((triple10 triple8) -> rule1))] Gary is green.[(triple8)] Gary is kind.[(triple9)] Gary is nice.[(triple10)] Gary is rough.[(triple11)] Gary is white.[(triple12)] Harry is big.[(triple13)] Harry is cold.[(triple14)] Harry is kind.[(triple15)]