Gary is big. Gary is cold. Gary is green. Gary is red. Gary is white. Harry is big. Harry is cold. Harry is green. Harry is nice. Harry is young. If Harry is green and Harry is cold then Harry is white.
Harry is not big.
@0: Gary is big.[(triple1)] Gary is cold.[(triple2)] Gary is green.[(triple3)] Gary is red.[(triple4)] Gary is white.[(triple5)] Harry is big.[(triple6)] Harry is cold.[(triple7)] Harry is green.[(triple8)] Harry is nice.[(triple9)] Harry is young.[(triple10)] @1: Harry is white.[(((triple8 triple7) -> rule1))]