The bear is big. The bear is blue. The bear is green. The bear is kind. The bear is nice. All nice things are big. All green things are big. All green things are big.
The bear is not nice.
@0: The bear is big.[(triple1 OR ((triple3) -> rule2) OR ((triple3) -> rule3) OR ((triple5) -> rule1))] The bear is blue.[(triple2)] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear is nice.[(triple5)]