The bear is big. The bear is not green. The bear is kind. The bear is red. The bear is round. If something is red then it is kind. If the bear is red and the bear is green then the bear is not round.
The bear does not see the bear.
@0: The bear is big.[(triple1)] The bear is kind.[(triple3 OR ((triple4) -> rule1))] The bear is not green.[(triple2)] The bear is red.[(triple4)] The bear is round.[(triple5)]