Anne is kind. Anne is quiet. Anne is smart. Anne is white. Anne is young. Erin is kind. Erin is round. Erin is white. Erin is young. Fiona is kind. Fiona is smart. Fiona is white. Smart things are young. Rough things are quiet. Rough things are round.
Fiona is not white.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5 OR ((triple3) -> rule1))] Erin is kind.[(triple6)] Erin is round.[(triple7)] Erin is white.[(triple8)] Erin is young.[(triple9)] Fiona is kind.[(triple10)] Fiona is smart.[(triple11)] Fiona is white.[(triple12)] @1: Fiona is young.[(((triple11) -> rule1))]