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