Bob is blue. Bob is not red. Bob is rough. Bob is not white. Bob is young. Fiona is blue. Harry is furry. If someone is red then they are furry. All white people are not furry. If someone is blue and not red then they are rough. If someone is blue then they are rough. If someone is red and not furry then they are young. All white, young people are not quiet.
Harry is not young.
@0: Bob is blue.[(triple1)] Bob is not red.[(triple2)] Bob is not white.[(triple4)] Bob is rough.[(triple3 OR ((triple1) -> rule4) OR ((triple1 triple2) -> rule3))] Bob is young.[(triple5)] Fiona is blue.[(triple6)] Harry is furry.[(triple7)] @1: Fiona is rough.[(((triple6) -> rule4))]