The bear is red. If something is big and not nice then it is not cold. All nice, big things are cold. All big things are cold. If something is round then it is red. If the bear is red then the bear is round. If something is round then it is big. All nice things are big. If something is cold and red then it is big.
The bear is nice.
@0: The bear is red.[(triple1)] @1: The bear is round.[(((triple1) -> rule5))] @2: The bear is big.[(((((triple1) -> rule5)) -> rule6))] @3: The bear is cold.[(((((((triple1) -> rule5)) -> rule6)) -> rule3))]