The bear chases the tiger. The bear is cold. The bear is round. The bear is young. The bear needs the tiger. The bear sees the tiger. The tiger chases the bear. The tiger is big. The tiger is cold. The tiger needs the bear. If someone chases the tiger then they need the tiger.
The tiger does not need the tiger.
@0: The bear chases the tiger.[(triple1)] The bear is cold.[(triple2)] The bear is round.[(triple3)] The bear is young.[(triple4)] The bear needs the tiger.[(triple5 OR ((triple1) -> rule1))] The bear sees the tiger.[(triple6)] The tiger chases the bear.[(triple7)] The tiger is big.[(triple8)] The tiger is cold.[(triple9)] The tiger needs the bear.[(triple10)]