Charlie is big. Charlie is cold. Charlie is green. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is smart. If Charlie is rough and Charlie is smart then Charlie is big. If someone is rough then they are nice. If someone is rough and big then they are nice.
Charlie is not big.
@0: Charlie is big.[(triple1 OR ((triple6 triple7) -> rule1))] Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is nice.[(triple5 OR ((triple6) -> rule2) OR ((triple6 triple1) -> rule3) OR ((triple6 ((triple6 triple7) -> rule1)) -> rule3))] Charlie is rough.[(triple6)] Charlie is smart.[(triple7)]