The bear is big. The bear is blue. The bear is cold. The bear is red. The bear is round. All cold people are red. All blue people are cold. If someone is big then they are cold.
The bear does not eat the bear.
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear is cold.[(triple3 OR ((triple1) -> rule3) OR ((triple2) -> rule2))] The bear is red.[(triple4 OR ((triple3) -> rule1) OR ((((triple1) -> rule3)) -> rule1) OR ((((triple2) -> rule2)) -> rule1))] The bear is round.[(triple5)]