Erin is blue. Erin is green. Erin is quiet. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is not smart. Fiona is white. Quiet things are white.
Fiona is quiet.
@0: Erin is blue.[(triple1)] Erin is green.[(triple2)] Erin is quiet.[(triple3)] Fiona is blue.[(triple4)] Fiona is cold.[(triple5)] Fiona is furry.[(triple6)] Fiona is green.[(triple7)] Fiona is not smart.[(triple9)] Fiona is quiet.[(triple8)] Fiona is white.[(triple10 OR ((triple8) -> rule1))] @1: Erin is white.[(((triple3) -> rule1))]