Charlie is blue. Charlie is furry. Charlie is green. Charlie is not nice. Charlie is quiet. Charlie is red. Charlie is not young. If something is nice then it is young. If Charlie is green then Charlie is red.
Charlie is furry.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is not nice.[(triple4)] Charlie is not young.[(triple7)] Charlie is quiet.[(triple5)] Charlie is red.[(triple6 OR ((triple3) -> rule2))]