Charlie is furry. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is not round. Charlie is white. Charlie is young. If Charlie is red then Charlie is furry. If someone is red and not furry then they are white.
Charlie is not round.
@0: Charlie is furry.[(triple1 OR ((triple3) -> rule1))] Charlie is not round.[(triple5)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3)] Charlie is rough.[(triple4)] Charlie is white.[(triple6)] Charlie is young.[(triple7)]