Anne is big. Gary is blue. Harry is big. Kind things are big. All red things are kind. If something is young and red then it is blue. Kind, big things are young. If something is young then it is blue. Cold, big things are red. All kind things are blue. If something is red then it is blue.
Harry is big.
@0: Anne is big.[(triple1)] Gary is blue.[(triple2)] Harry is big.[(triple3)]