The bear is big. The bear is cold. The bear is rough. Red, big people are rough. If someone is rough and blue then they are red. If the bear is cold and the bear is blue then the bear is rough. Big, rough people are blue. If the bear is cold then the bear is blue. If the bear is rough and the bear is blue then the bear is red.
The bear is not red.
@0: The bear is big.[(triple1)] The bear is cold.[(triple2)] The bear is rough.[(triple3 OR ((triple2 ((triple2) -> rule5)) -> rule3))] @1: The bear is blue.[(((triple2) -> rule5) OR ((triple1 triple3) -> rule4))] @2: The bear is red.[(((triple3 ((triple2) -> rule5)) -> rule2) OR ((triple3 ((triple2) -> rule5)) -> rule6) OR ((triple3 ((triple1 triple3) -> rule4)) -> rule2) OR ((triple3 ((triple1 triple3) -> rule4)) -> rule6) OR ((((triple2 ((triple2) -> rule5)) -> rule3) ((triple2) -> rule5)) -> rule2) OR ((((triple2 ((triple2) -> rule5)) -> rule3) ((triple2) -> rule5)) -> rule6) OR ((((triple2 ((triple2) -> rule5)) -> rule3) ((triple1 triple3) -> rule4)) -> rule2) OR ((((triple2 ((triple2) -> rule5)) -> rule3) ((triple1 triple3) -> rule4)) -> rule6))]