The bear is big. If someone is red and green then they are round. If the bear is round then the bear is green. If someone is big then they are red. If someone is red and not nice then they are not big. If someone is red and not nice then they are green. All big people are green. Nice, round people are green. If the bear is big and the bear is green then the bear is red.
The bear is not red.
@0: The bear is big.[(triple1)] @1: The bear is green.[(((triple1) -> rule6))] The bear is red.[(((triple1) -> rule3) OR ((triple1 ((triple1) -> rule6)) -> rule8))] @2: The bear is round.[(((((triple1) -> rule3) ((triple1) -> rule6)) -> rule1) OR ((((triple1 ((triple1) -> rule6)) -> rule8) ((triple1) -> rule6)) -> rule1))]