Bob is quiet. Bob is red. Bob is smart. Fiona is red. Fiona is smart. Harry is green. Harry is quiet. If Harry is smart and Harry is furry then Harry is big. All big people are young.
Harry is not young.
@0: Bob is quiet.[(triple1)] Bob is red.[(triple2)] Bob is smart.[(triple3)] Fiona is red.[(triple4)] Fiona is smart.[(triple5)] Harry is green.[(triple6)] Harry is quiet.[(triple7)]