The bear is round. All cold people are nice. If someone is blue and round then they are cold. If someone is round then they are cold. Round people are cold. Nice people are blue. If the bear is big then the bear is round. If the bear is nice and the bear is round then the bear is cold. If someone is cold then they are not big.
The bear is blue.
@0: The bear is round.[(triple1)] @1: The bear is cold.[(((triple1) -> rule3) OR ((triple1) -> rule4))] @2: The bear is nice.[(((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule4)) -> rule1))] The bear is not big.[(((((triple1) -> rule3)) -> rule8) OR ((((triple1) -> rule4)) -> rule8))] @3: The bear is blue.[(((((((triple1) -> rule3)) -> rule1)) -> rule5) OR ((((((triple1) -> rule4)) -> rule1)) -> rule5))]