Anne is kind. Bob is kind. Gary is kind. Harry is not big. If Anne is big then Anne is nice. If Anne is white then Anne is nice. If Bob is big then Bob is kind. Nice, cold things are big. If Harry is kind and Harry is white then Harry is big. If something is kind and not big then it is round. Green things are round. If Bob is big and Bob is round then Bob is white.
Harry is green.
@0: Anne is kind.[(triple1)] Bob is kind.[(triple2)] Gary is kind.[(triple3)] Harry is not big.[(triple4)]