Gary is big. Gary is quiet. Gary is red. Gary is white. Harry is cold. Harry is quiet. Harry is round. If something is cold and quiet then it is big. If Gary is big and Gary is not cold then Gary is white.
Gary is white.
@0: Gary is big.[(triple1)] Gary is quiet.[(triple2)] Gary is red.[(triple3)] Gary is white.[(triple4)] Harry is cold.[(triple5)] Harry is quiet.[(triple6)] Harry is round.[(triple7)] @1: Harry is big.[(((triple5 triple6) -> rule1))]