The bear is big. The bear is not blue. The bear is cold. The bear is nice. The bear is round. If someone is big and not cold then they are round. If someone is nice and not cold then they are blue. If someone is round then they are not blue. If someone is blue and not cold then they are big. All cold, blue people are not nice. Round people are nice. If someone is round and cold then they are nice. If the bear is blue then the bear is round.
The bear is big.
@0: The bear is big.[(triple1)] The bear is cold.[(triple3)] The bear is nice.[(triple4 OR ((triple5) -> rule6) OR ((triple5 triple3) -> rule7))] The bear is not blue.[(triple2 OR ((triple5) -> rule3))] The bear is round.[(triple5)]