The bear is big. The bear is blue. The bear is not green. The bear is red. The bear is not round. If the bear is not green and the bear is not round then the bear is red. If something is round and not green then it is red.
The bear is big.
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear is not green.[(triple3)] The bear is not round.[(triple5)] The bear is red.[(triple4 OR ((triple3 triple5) -> rule1))]