Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is rough. Charlie is round. Rough people are furry.
Charlie is not round.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3 OR ((triple6) -> rule1))] Charlie is green.[(triple4)] Charlie is kind.[(triple5)] Charlie is rough.[(triple6)] Charlie is round.[(triple7)]