The bear is blue. Rough things are round. If the bear is round and the bear is rough then the bear is blue. All red, nice things are rough. All nice, round things are blue. If the bear is blue then the bear is nice. All round, red things are blue. All blue, nice things are round. If something is blue and round then it is nice.
The bear does not chase the bear.
@0: The bear is blue.[(triple1)] @1: The bear is nice.[(((triple1) -> rule5))] @2: The bear is round.[(((triple1 ((triple1) -> rule5)) -> rule7))]