Charlie is blue. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is not white. Fiona is blue. Fiona is not kind. Fiona is quiet. Fiona is red. Fiona is white. If something is blue and not kind then it is rough.
Fiona is kind.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is kind.[(triple3)] Charlie is not white.[(triple7)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is rough.[(triple6)] Fiona is blue.[(triple8)] Fiona is not kind.[(triple9)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)] Fiona is white.[(triple12)] @1: Fiona is rough.[(((triple8 triple9) -> rule1))]