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