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