The bear eats the rabbit. The bear is big. The bear is green. The bear is red. The bear is rough. The bear is young. The bear likes the rabbit. The bear sees the rabbit. The rabbit eats the bear. The rabbit is young. The rabbit likes the bear. The rabbit sees the bear. If someone sees the rabbit then the rabbit likes the bear.
The rabbit is green.
@0: The bear eats the rabbit.[(triple1)] The bear is big.[(triple2)] The bear is green.[(triple3)] The bear is red.[(triple4)] The bear is rough.[(triple5)] The bear is young.[(triple6)] The bear likes the rabbit.[(triple7)] The bear sees the rabbit.[(triple8)] The rabbit eats the bear.[(triple9)] The rabbit is young.[(triple10)] The rabbit likes the bear.[(triple11 OR ((triple8) -> rule1))] The rabbit sees the bear.[(triple12)]