Bob is not white. Charlie is green. Charlie is kind. Charlie is round. Charlie is white. Dave is not kind. Gary is furry. Gary is red. Gary is rough. Gary is not round. All rough things are furry. If Charlie is kind then Charlie is rough.
Charlie is red.
@0: Bob is not white.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is round.[(triple4)] Charlie is white.[(triple5)] Dave is not kind.[(triple6)] Gary is furry.[(triple7 OR ((triple9) -> rule1))] Gary is not round.[(triple10)] Gary is red.[(triple8)] Gary is rough.[(triple9)] @1: Charlie is rough.[(((triple3) -> rule2))] @2: Charlie is furry.[(((((triple3) -> rule2)) -> rule1))]