Charlie is big. Charlie is furry. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. If Charlie is big and Charlie is furry then Charlie is red.
Charlie is not red.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is nice.[(triple4)] Charlie is quiet.[(triple5)] Charlie is red.[(triple6 OR ((triple1 triple2) -> rule1))] Charlie is round.[(triple7)]