Bob is big. Bob is smart. Charlie is red. Fiona is not round. Fiona is not young. Harry is red. Harry is not rough. If Bob is young and Bob is not big then Bob is rough. If Harry is not smart and Harry is not red then Harry is not rough. If something is smart and not round then it is young.
Charlie is round.
@0: Bob is big.[(triple1)] Bob is smart.[(triple2)] Charlie is red.[(triple3)] Fiona is not round.[(triple4)] Fiona is not young.[(triple5)] Harry is not rough.[(triple7)] Harry is red.[(triple6)]