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