Anne is smart. Dave is big. Erin is quiet. Fiona is blue. All quiet things are big. If something is quiet and white then it is young. If Anne is young then Anne is not smart. All blue things are nice. If something is quiet and not big then it is not nice. All big, quiet things are white. All quiet, nice things are white. If something is blue and not young then it is not smart.
Erin is not blue.
@0: Anne is smart.[(triple1)] Dave is big.[(triple2)] Erin is quiet.[(triple3)] Fiona is blue.[(triple4)] @1: Erin is big.[(((triple3) -> rule1))] Fiona is nice.[(((triple4) -> rule4))] @2: Erin is white.[(((((triple3) -> rule1) triple3) -> rule6))] @3: Erin is young.[(((triple3 ((((triple3) -> rule1) triple3) -> rule6)) -> rule2))]