Charlie is green. Erin is smart. Fiona is nice. All green things are not nice. All white things are not green. If something is nice and not big then it is white. If Charlie is green then Charlie is blue. If something is nice then it is not blue. If something is white then it is not smart. If something is quiet and not blue then it is not smart. If something is smart and not white then it is quiet.
Erin is not big.
@0: Charlie is green.[(triple1)] Erin is smart.[(triple2)] Fiona is nice.[(triple3)] @1: Charlie is blue.[(((triple1) -> rule4))] Charlie is not nice.[(((triple1) -> rule1))] Fiona is not blue.[(((triple3) -> rule5))]