Charlie is big. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is white. Charlie is young. If someone is young then they are kind. If someone is young then they are kind. All rough people are white.
Charlie is not young.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple3 OR ((triple7) -> rule1) OR ((triple7) -> rule2))] Charlie is nice.[(triple4)] Charlie is rough.[(triple5)] Charlie is white.[(triple6 OR ((triple5) -> rule3))] Charlie is young.[(triple7)]