Dave is green. Erin is quiet. Fiona is not kind. Gary is nice. Blue, green things are kind. All blue, quiet things are not white. If something is white then it is not nice. All blue things are quiet. If something is nice then it is blue. If Fiona is not blue and Fiona is not green then Fiona is big.
Dave is nice.
@0: Dave is green.[(triple1)] Erin is quiet.[(triple2)] Fiona is not kind.[(triple3)] Gary is nice.[(triple4)] @1: Gary is blue.[(((triple4) -> rule5))] @2: Gary is quiet.[(((((triple4) -> rule5)) -> rule4))] @3: Gary is not white.[(((((triple4) -> rule5) ((((triple4) -> rule5)) -> rule4)) -> rule2))]