Anne is green. Bob is green. Dave is green. Fiona is young. If someone is smart and young then they are quiet. Green, quiet people are red. All smart, quiet people are rough. If someone is quiet and red then they are young. If someone is young then they are smart. If someone is quiet and rough then they are young.
Fiona is green.
@0: Anne is green.[(triple1)] Bob is green.[(triple2)] Dave is green.[(triple3)] Fiona is young.[(triple4)] @1: Fiona is smart.[(((triple4) -> rule5))] @2: Fiona is quiet.[(((((triple4) -> rule5) triple4) -> rule1))] @3: Fiona is rough.[(((((triple4) -> rule5) ((((triple4) -> rule5) triple4) -> rule1)) -> rule3))]