Bob is furry. Dave is green. Fiona is quiet. Harry is not green. White people are smart. If someone is round and not white then they are not smart. All young, round people are not smart. If Bob is round then Bob is green. If Dave is furry and Dave is smart then Dave is young. If someone is smart then they are young. If Bob is young and Bob is not furry then Bob is smart. If Bob is not young then Bob is quiet.
Harry is green.
@0: Bob is furry.[(triple1)] Dave is green.[(triple2)] Fiona is quiet.[(triple3)] Harry is not green.[(triple4)]