Charlie is smart. Charlie is white. Erin is quiet. Erin is smart. Erin is white. Erin is young. Fiona is furry. Fiona is quiet. Fiona is smart. Fiona is white. All furry things are quiet. All rough, blue things are quiet. All furry, blue things are quiet. All smart things are blue. Blue, white things are quiet. If something is quiet then it is white.
Erin is young.
@0: Charlie is smart.[(triple1)] Charlie is white.[(triple2)] Erin is quiet.[(triple3 OR ((((triple4) -> rule4) triple5) -> rule5))] Erin is smart.[(triple4)] Erin is white.[(triple5 OR ((triple3) -> rule6))] Erin is young.[(triple6)] Fiona is furry.[(triple7)] Fiona is quiet.[(triple8 OR ((triple7) -> rule1) OR ((triple7 ((triple9) -> rule4)) -> rule3) OR ((((triple9) -> rule4) triple10) -> rule5))] Fiona is smart.[(triple9)] Fiona is white.[(triple10 OR ((triple8) -> rule6) OR ((((triple7) -> rule1)) -> rule6) OR ((((triple7 ((triple9) -> rule4)) -> rule3)) -> rule6))] @1: Charlie is blue.[(((triple1) -> rule4))] Erin is blue.[(((triple4) -> rule4))] Fiona is blue.[(((triple9) -> rule4))] @2: Charlie is quiet.[(((((triple1) -> rule4) triple2) -> rule5))]