Charlie is not big. Charlie is blue. Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is not round. Charlie is not young. If someone is round then they are not blue. If someone is big then they are blue. Young people are big. Big, young people are quiet. If Charlie is young then Charlie is not blue. If someone is big and not round then they are not young. Blue people are rough. If someone is young and not big then they are not rough.
Charlie is quiet.
@0: Charlie is blue.[(triple2)] Charlie is furry.[(triple3)] Charlie is not big.[(triple1)] Charlie is not round.[(triple6)] Charlie is not young.[(triple7)] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5 OR ((triple2) -> rule7))]