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