The bear is rough. All round, big people are red. If the bear is big and the bear is rough then the bear is nice. Nice people are round. If someone is nice then they are rough. All rough people are nice. Nice, big people are rough.
The bear is not round.
@0: The bear is rough.[(triple1)] @1: The bear is nice.[(((triple1) -> rule5))] @2: The bear is round.[(((((triple1) -> rule5)) -> rule3))]