The bear is rough. All rough people are big. If someone is blue then they are big. If the bear is big then the bear is green. If someone is green then they are blue. All rough people are blue. Big, nice people are blue. If someone is green and blue then they are nice. If someone is blue and nice then they are green.
The bear is green.
@0: The bear is rough.[(triple1)] @1: The bear is big.[(((triple1) -> rule1) OR ((((triple1) -> rule5)) -> rule2))] The bear is blue.[(((triple1) -> rule5) OR ((((((triple1) -> rule1)) -> rule3)) -> rule4))] @2: The bear is green.[(((((triple1) -> rule1)) -> rule3) OR ((((((triple1) -> rule5)) -> rule2)) -> rule3))] @3: The bear is nice.[(((((((triple1) -> rule1)) -> rule3) ((triple1) -> rule5)) -> rule7) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule3) ((triple1) -> rule5)) -> rule7) OR ((((((triple1) -> rule1)) -> rule3) ((((((triple1) -> rule1)) -> rule3)) -> rule4)) -> rule7) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule3) ((((((triple1) -> rule1)) -> rule3)) -> rule4)) -> rule7))]