Bob is not big. Bob is round. Dave is big. Dave is furry. Erin is green. Gary is green. Gary is not young. If something is smart and big then it is round. All quiet, round things are not smart. If something is quiet and round then it is smart.
Bob is not round.
@0: Bob is not big.[(triple1)] Bob is round.[(triple2)] Dave is big.[(triple3)] Dave is furry.[(triple4)] Erin is green.[(triple5)] Gary is green.[(triple6)] Gary is not young.[(triple7)]