Charlie is furry. Charlie is green. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Charlie is young. Quiet things are red.
Charlie is not green.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4 OR ((triple3) -> rule1))] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is young.[(triple7)]