The bear chases the tiger. The bear is not big. The bear is blue. The bear is cold. The bear is green. The bear needs the tiger. The bear does not see the tiger. The tiger chases the bear. The tiger is not big. The tiger is blue. The tiger is cold. The tiger is green. The tiger is nice. The tiger needs the bear. The tiger sees the bear. If something is cold and it chases the tiger then it needs the tiger. Blue things are cold. If something sees the tiger then the tiger is nice.
The tiger chases the tiger.
@0: The bear chases the tiger.[(triple1)] The bear does not see the tiger.[(triple7)] The bear is blue.[(triple3)] The bear is cold.[(triple4 OR ((triple3) -> rule2))] The bear is green.[(triple5)] The bear is not big.[(triple2)] The bear needs the tiger.[(triple6 OR ((triple4 triple1) -> rule1) OR ((((triple3) -> rule2) triple1) -> rule1))] The tiger chases the bear.[(triple8)] The tiger is blue.[(triple10)] The tiger is cold.[(triple11 OR ((triple10) -> rule2))] The tiger is green.[(triple12)] The tiger is nice.[(triple13)] The tiger is not big.[(triple9)] The tiger needs the bear.[(triple14)] The tiger sees the bear.[(triple15)]