Anne is red. Anne is rough. Anne is white. Bob is blue. Bob is furry. Bob is rough. Charlie is blue. Charlie is red. Charlie is rough. Charlie is white. If Bob is young then Bob is white. If Charlie is blue then Charlie is white.
Anne is furry.
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3)] Bob is blue.[(triple4)] Bob is furry.[(triple5)] Bob is rough.[(triple6)] Charlie is blue.[(triple7)] Charlie is red.[(triple8)] Charlie is rough.[(triple9)] Charlie is white.[(triple10 OR ((triple7) -> rule2))]