The bear eats the tiger. The bear is nice. The bear is rough. The bear is round. The bear is young. The bear needs the tiger. The bear sees the tiger. The tiger eats the bear. The tiger is nice. The tiger is round. If something is round and it sees the tiger then it is young. If something sees the bear then it needs the tiger.
The bear eats the tiger.
@0: The bear eats the tiger.[(triple1)] The bear is nice.[(triple2)] The bear is rough.[(triple3)] The bear is round.[(triple4)] The bear is young.[(triple5 OR ((triple4 triple7) -> rule1))] The bear needs the tiger.[(triple6)] The bear sees the tiger.[(triple7)] The tiger eats the bear.[(triple8)] The tiger is nice.[(triple9)] The tiger is round.[(triple10)]