Dave is quiet. Fiona is white. Harry is green. All quiet, nice people are white. If someone is green and big then they are nice. Nice, green people are quiet. If Fiona is green and Fiona is nice then Fiona is red. If Dave is quiet then Dave is nice. All white, quiet people are red. If Harry is big and Harry is red then Harry is blue. White, green people are blue.
Fiona is big.
@0: Dave is quiet.[(triple1)] Fiona is white.[(triple2)] Harry is green.[(triple3)] @1: Dave is nice.[(((triple1) -> rule5))] @2: Dave is white.[(((triple1 ((triple1) -> rule5)) -> rule1))] @3: Dave is red.[(((((triple1 ((triple1) -> rule5)) -> rule1) triple1) -> rule6))]