The bear is big. The bear is blue. The bear is green. The bear is nice. The bear is round. If someone is green then they are round.
The bear is not nice.
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear is green.[(triple3)] The bear is nice.[(triple4)] The bear is round.[(triple5 OR ((triple3) -> rule1))]