Charlie is big. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is smart. If Charlie is rough then Charlie is big.
Charlie is round.
@0: Charlie is big.[(triple1 OR ((triple5) -> rule1))] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is smart.[(triple7)]