The bear is blue. If someone is blue then they are green. If someone is red and not blue then they are not rough. If the bear is round then the bear is not rough. If someone is red and blue then they are round. Green people are round. If someone is rough and not green then they are round. If someone is blue and rough then they are not red. All rough, blue people are red.
The bear visits the bear.
@0: The bear is blue.[(triple1)] @1: The bear is green.[(((triple1) -> rule1))] @2: The bear is round.[(((((triple1) -> rule1)) -> rule5))] @3: The bear is not rough.[(((((((triple1) -> rule1)) -> rule5)) -> rule3))]