Charlie is blue. Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is white. Charlie is young. If something is blue then it is round.
Charlie is round.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is quiet.[(triple3)] Charlie is rough.[(triple4)] Charlie is round.[(triple5 OR ((triple1) -> rule1))] Charlie is white.[(triple6)] Charlie is young.[(triple7)]