Bob is green. Bob is red. Charlie is not green. Charlie is red. Charlie is smart. Fiona is not green. Fiona is smart. Round things are furry. If something is round and not smart then it is not nice. If something is quiet then it is nice. If something is smart and not quiet then it is nice. If something is quiet then it is not red. If Charlie is quiet then Charlie is round.
Fiona is green.
@0: Bob is green.[(triple1)] Bob is red.[(triple2)] Charlie is not green.[(triple3)] Charlie is red.[(triple4)] Charlie is smart.[(triple5)] Fiona is not green.[(triple6)] Fiona is smart.[(triple7)]