Anne is big. Gary is not nice. Gary is young. All nice things are not big. All quiet, rough things are big. If Gary is nice and Gary is quiet then Gary is big.
Anne is not big.
@0: Anne is big.[(triple1)] Gary is not nice.[(triple2)] Gary is young.[(triple3)]