Anne is big. Bob is big. Bob is furry. Bob is red. Bob is young. Charlie is not big. Gary is smart. All nice, smart things are big. If Gary is big then Gary is nice. If something is furry and not nice then it is young.
Charlie is nice.
@0: Anne is big.[(triple1)] Bob is big.[(triple2)] Bob is furry.[(triple3)] Bob is red.[(triple4)] Bob is young.[(triple5)] Charlie is not big.[(triple6)] Gary is smart.[(triple7)]