The bear is kind. Big, kind things are round. If something is kind and big then it is round. Blue things are round. Blue things are not round. Nice things are round. All kind things are round. All blue things are not nice. If the bear is round then the bear is kind.
The bear is kind.
@0: The bear is kind.[(triple1)] @1: The bear is round.[(((triple1) -> rule6))]