Bob is green. Bob is round. Bob is young. Dave is quiet. Dave is round. Fiona is young. Harry is furry. Harry is green. Harry is red. Harry is white. If someone is round and not white then they are green. If someone is young and not red then they are not round. If someone is round then they are quiet.
Fiona is not quiet.
@0: Bob is green.[(triple1)] Bob is round.[(triple2)] Bob is young.[(triple3)] Dave is quiet.[(triple4 OR ((triple5) -> rule3))] Dave is round.[(triple5)] Fiona is young.[(triple6)] Harry is furry.[(triple7)] Harry is green.[(triple8)] Harry is red.[(triple9)] Harry is white.[(triple10)] @1: Bob is quiet.[(((triple2) -> rule3))]