The bear is cold. The bear is green. The bear is nice. The bear is red. The bear is young. If someone is young and red then they are green. If the bear is red then the bear is nice. If the bear is cold then the bear is green. If the bear is cold then the bear is green. All red, nice people are green. Green people are nice.
The bear does not eat the bear.
@0: The bear is cold.[(triple1)] The bear is green.[(triple2 OR ((triple1) -> rule3) OR ((triple1) -> rule4) OR ((triple4 triple3) -> rule5) OR ((triple5 triple4) -> rule1) OR ((triple4 ((triple4) -> rule2)) -> rule5))] The bear is nice.[(triple3 OR ((triple2) -> rule6) OR ((triple4) -> rule2) OR ((((triple1) -> rule3)) -> rule6) OR ((((triple1) -> rule4)) -> rule6) OR ((((triple5 triple4) -> rule1)) -> rule6))] The bear is red.[(triple4)] The bear is young.[(triple5)]