Erin is blue. Erin is furry. Erin is green. Erin is nice. Erin is quiet. Erin is white. Fiona is blue. Fiona is cold. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is white. White things are quiet. White things are nice. If something is cold then it is green.
Fiona is green.
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is nice.[(triple4 OR ((triple6) -> rule2))] Erin is quiet.[(triple5 OR ((triple6) -> rule1))] Erin is white.[(triple6)] Fiona is blue.[(triple7)] Fiona is cold.[(triple8)] Fiona is green.[(triple9 OR ((triple8) -> rule3))] Fiona is nice.[(triple10 OR ((triple12) -> rule2))] Fiona is quiet.[(triple11 OR ((triple12) -> rule1))] Fiona is white.[(triple12)]