Anne is quiet. Anne is white. Charlie is big. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is white. Fiona is kind. Fiona is quiet. If someone is quiet and not cold then they are rough. All cold people are rough. If someone is big and not red then they are kind.
Fiona is not cold.
@0: Anne is quiet.[(triple1)] Anne is white.[(triple2)] Charlie is big.[(triple3)] Charlie is cold.[(triple4)] Charlie is kind.[(triple5)] Charlie is quiet.[(triple6)] Charlie is red.[(triple7)] Charlie is white.[(triple8)] Fiona is kind.[(triple9)] Fiona is quiet.[(triple10)] @1: Charlie is rough.[(((triple4) -> rule2))]