The bear is nice. If something is young then it is blue. All kind things are blue. Young things are blue. If the bear is young and the bear is not nice then the bear is not kind. If the bear is kind then the bear is not blue. Kind things are young. If something is young and not blue then it is round. All nice things are not round.
The bear is nice.
@0: The bear is nice.[(triple1)] @1: The bear is not round.[(((triple1) -> rule8))]