The bear is not big. The bear is blue. The bear is not cold. The bear is red. The bear is round. Big, cold people are red. If someone is cold then they are not red. All cold, big people are red. Blue, cold people are not big. If someone is cold and not blue then they are big. If someone is big and not blue then they are cold. If someone is big and not red then they are round. If the bear is red and the bear is not cold then the bear is round.
The bear does not visit the bear.
@0: The bear is blue.[(triple2)] The bear is not big.[(triple1)] The bear is not cold.[(triple3)] The bear is red.[(triple4)] The bear is round.[(triple5 OR ((triple4 triple3) -> rule8))]