Charlie is blue. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is not rough. Charlie is round. Charlie is smart. All smart, blue things are kind. If Charlie is rough then Charlie is not nice. If Charlie is not kind then Charlie is rough. If Charlie is smart and Charlie is not cold then Charlie is rough. All rough, kind things are nice. Kind, blue things are nice.
Charlie is not rough.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is kind.[(triple3 OR ((triple7 triple1) -> rule1))] Charlie is nice.[(triple4 OR ((triple3 triple1) -> rule6) OR ((((triple7 triple1) -> rule1) triple1) -> rule6))] Charlie is not rough.[(triple5)] Charlie is round.[(triple6)] Charlie is smart.[(triple7)]