The bear is big. The bear is blue. The bear is green. The bear is kind. The bear is round. If the bear is kind then the bear is round. If the bear is big and the bear is green then the bear is round.
The bear is big.
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear is round.[(triple5 OR ((triple4) -> rule1) OR ((triple1 triple3) -> rule2))]