Erin is not blue. Erin is kind. Erin is white. Fiona is blue. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is smart. Fiona is white. If someone is white then they are rough.
Erin is not smart.
@0: Erin is kind.[(triple2)] Erin is not blue.[(triple1)] Erin is white.[(triple3)] Fiona is blue.[(triple4)] Fiona is kind.[(triple5)] Fiona is quiet.[(triple6)] Fiona is rough.[(triple7 OR ((triple10) -> rule1))] Fiona is round.[(triple8)] Fiona is smart.[(triple9)] Fiona is white.[(triple10)] @1: Erin is rough.[(((triple3) -> rule1))]