Anne is quiet. Anne is red. Anne is rough. Anne is white. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is smart. Fiona is kind. Fiona is nice. Fiona is smart. If Anne is kind then Anne is quiet. If Fiona is smart then Fiona is red.
Fiona is white.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Anne is white.[(triple4)] Charlie is nice.[(triple5)] Charlie is quiet.[(triple6)] Charlie is red.[(triple7)] Charlie is rough.[(triple8)] Charlie is smart.[(triple9)] Fiona is kind.[(triple10)] Fiona is nice.[(triple11)] Fiona is smart.[(triple12)] @1: Fiona is red.[(((triple12) -> rule2))]