Charlie is not kind. Charlie is not nice. Charlie is round. Charlie is not white. Gary is big. Gary is green. Gary is kind. Gary is quiet. Harry is big. Harry is quiet. If something is white and nice then it is not big. If something is kind and not round then it is white. All green, quiet things are white.
Harry is kind.
@0: Charlie is not kind.[(triple1)] Charlie is not nice.[(triple2)] Charlie is not white.[(triple4)] Charlie is round.[(triple3)] Gary is big.[(triple5)] Gary is green.[(triple6)] Gary is kind.[(triple7)] Gary is quiet.[(triple8)] Harry is big.[(triple9)] Harry is quiet.[(triple10)] @1: Gary is white.[(((triple6 triple8) -> rule3))]