Anne is green. Anne is red. Anne is rough. Charlie is cold. Charlie is green. Charlie is kind. Charlie is round. Charlie is white. Fiona is kind. Fiona is rough. If Fiona is kind and Fiona is green then Fiona is cold. If Charlie is white then Charlie is green.
Charlie is red.
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Charlie is cold.[(triple4)] Charlie is green.[(triple5 OR ((triple8) -> rule2))] Charlie is kind.[(triple6)] Charlie is round.[(triple7)] Charlie is white.[(triple8)] Fiona is kind.[(triple9)] Fiona is rough.[(triple10)]