Charlie is cold. Charlie is not rough. Erin is big. Erin is not rough. Fiona is big. Fiona is cold. Fiona is not quiet. Fiona is rough. Fiona is not round. Harry is young. If something is big and round then it is white. If something is rough then it is white. If Harry is white then Harry is rough.
Fiona is not rough.
@0: Charlie is cold.[(triple1)] Charlie is not rough.[(triple2)] Erin is big.[(triple3)] Erin is not rough.[(triple4)] Fiona is big.[(triple5)] Fiona is cold.[(triple6)] Fiona is not quiet.[(triple7)] Fiona is not round.[(triple9)] Fiona is rough.[(triple8)] Harry is young.[(triple10)] @1: Fiona is white.[(((triple8) -> rule2))]