The bear is big. If the bear is big then the bear is red. All young things are round. All big things are young. If something is young and red then it is rough. If something is big and young then it is red. Young things are big.
The bear is red.
@0: The bear is big.[(triple1)] @1: The bear is red.[(((triple1) -> rule1) OR ((triple1 ((triple1) -> rule3)) -> rule5))] The bear is young.[(((triple1) -> rule3))] @2: The bear is rough.[(((((triple1) -> rule3) ((triple1) -> rule1)) -> rule4) OR ((((triple1) -> rule3) ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule4))] The bear is round.[(((((triple1) -> rule3)) -> rule2))]