Fiona is round. Fiona is young. Harry is round. Green people are quiet. All white people are rough. If someone is round and quiet then they are not rough. Green people are young. Rough people are not young. If someone is round and not white then they are not green. If someone is round and young then they are green. All white, quiet people are red.
Harry is green.
@0: Fiona is round.[(triple1)] Fiona is young.[(triple2)] Harry is round.[(triple3)] @1: Fiona is green.[(((triple1 triple2) -> rule7))] @2: Fiona is quiet.[(((((triple1 triple2) -> rule7)) -> rule1))] @3: Fiona is not rough.[(((triple1 ((((triple1 triple2) -> rule7)) -> rule1)) -> rule3))]