The bear is red. All round, big things are red. If something is rough and not round then it is big. All round things are not big. All red things are big. If something is young and not round then it is not rough. If the bear is big then the bear is rough.
The bear is big.
@0: The bear is red.[(triple1)] @1: The bear is big.[(((triple1) -> rule4))] @2: The bear is rough.[(((((triple1) -> rule4)) -> rule6))]