Charlie is big. Charlie is blue. Charlie is not green. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is round. If Charlie is round then Charlie is big. All round, blue things are rough.
Charlie is rough.
@0: Charlie is big.[(triple1 OR ((triple7) -> rule1))] Charlie is blue.[(triple2)] Charlie is kind.[(triple4)] Charlie is nice.[(triple5)] Charlie is not green.[(triple3)] Charlie is rough.[(triple6 OR ((triple7 triple2) -> rule2))] Charlie is round.[(triple7)]