Charlie is not cold. Charlie is not green. Charlie is kind. Charlie is not rough. Charlie is white. Charlie is young. Fiona is cold. Fiona is green. Fiona is white. Fiona is young. Young, cold people are kind. Kind, cold people are rough.
Fiona is rough.
@0: Charlie is kind.[(triple3)] Charlie is not cold.[(triple1)] Charlie is not green.[(triple2)] Charlie is not rough.[(triple4)] Charlie is white.[(triple5)] Charlie is young.[(triple6)] Fiona is cold.[(triple7)] Fiona is green.[(triple8)] Fiona is white.[(triple9)] Fiona is young.[(triple10)] @1: Fiona is kind.[(((triple10 triple7) -> rule1))] @2: Fiona is rough.[(((((triple10 triple7) -> rule1) triple7) -> rule2))]