Dave is smart. Fiona is not round. Gary is big. Harry is round. If someone is rough then they are quiet. If someone is big and not nice then they are round.
Dave is not smart.
@0: Dave is smart.[(triple1)] Fiona is not round.[(triple2)] Gary is big.[(triple3)] Harry is round.[(triple4)]