The rabbit is big. The rabbit is kind. The rabbit is rough. The rabbit needs the tiger. The rabbit sees the tiger. The tiger is big. The tiger is nice. The tiger is rough. The tiger is young. The tiger likes the rabbit. The tiger needs the rabbit. The tiger sees the rabbit. If someone needs the rabbit then they see the rabbit. If someone sees the rabbit then the rabbit sees the tiger.
The rabbit is not big.
@0: The rabbit is big.[(triple1)] The rabbit is kind.[(triple2)] The rabbit is rough.[(triple3)] The rabbit needs the tiger.[(triple4)] The rabbit sees the tiger.[(triple5 OR ((triple12) -> rule2) OR ((((triple11) -> rule1)) -> rule2))] The tiger is big.[(triple6)] The tiger is nice.[(triple7)] The tiger is rough.[(triple8)] The tiger is young.[(triple9)] The tiger likes the rabbit.[(triple10)] The tiger needs the rabbit.[(triple11)] The tiger sees the rabbit.[(triple12 OR ((triple11) -> rule1))]