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