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