The bear is big. The bear is cold. The bear is nice. The bear is rough. The bear is round. All big people are round.
The bear is not big.
@0: The bear is big.[(triple1)] The bear is cold.[(triple2)] The bear is nice.[(triple3)] The bear is rough.[(triple4)] The bear is round.[(triple5 OR ((triple1) -> rule1))]