Bob is not round. Bob is not smart. Dave is big. Dave is not quiet. Dave is red. Dave is round. Dave is smart. Gary is not big. Gary is round. Harry is quiet. Harry is round. Harry is not smart. If Gary is red then Gary is not young. If someone is smart and not round then they are big. If Bob is not young then Bob is quiet.
Gary is round.
@0: Bob is not round.[(triple1)] Bob is not smart.[(triple2)] Dave is big.[(triple3)] Dave is not quiet.[(triple4)] Dave is red.[(triple5)] Dave is round.[(triple6)] Dave is smart.[(triple7)] Gary is not big.[(triple8)] Gary is round.[(triple9)] Harry is not smart.[(triple12)] Harry is quiet.[(triple10)] Harry is round.[(triple11)]