Anne is furry. Anne is quiet. Anne is rough. Anne is white. Anne is young. Charlie is not furry. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is white. Charlie is young. Fiona is not kind. If Charlie is quiet and Charlie is not rough then Charlie is kind. If someone is young and quiet then they are white.
Fiona is blue.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Anne is white.[(triple4 OR ((triple5 triple2) -> rule2))] Anne is young.[(triple5)] Charlie is kind.[(triple7)] Charlie is not furry.[(triple6)] Charlie is quiet.[(triple8)] Charlie is rough.[(triple9)] Charlie is white.[(triple10 OR ((triple11 triple8) -> rule2))] Charlie is young.[(triple11)] Fiona is not kind.[(triple12)]