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