The cow eats the tiger. The cow needs the tiger. The cow sees the lion. The lion is nice. The lion is round. The lion needs the tiger. The lion sees the tiger. The rabbit needs the tiger. The rabbit sees the tiger. The tiger is big. The tiger is rough. The tiger needs the lion. The tiger needs the rabbit. The tiger sees the lion. The tiger sees the rabbit. If someone needs the cow then the cow sees the lion. If the lion needs the tiger then the lion needs the cow.
The rabbit eats the rabbit.
@0: The cow eats the tiger.[(triple1)] The cow needs the tiger.[(triple2)] The cow sees the lion.[(triple3 OR ((((triple6) -> rule2)) -> rule1))] The lion is nice.[(triple4)] The lion is round.[(triple5)] The lion needs the tiger.[(triple6)] The lion sees the tiger.[(triple7)] The rabbit needs the tiger.[(triple8)] The rabbit sees the tiger.[(triple9)] The tiger is big.[(triple10)] The tiger is rough.[(triple11)] The tiger needs the lion.[(triple12)] The tiger needs the rabbit.[(triple13)] The tiger sees the lion.[(triple14)] The tiger sees the rabbit.[(triple15)] @1: The lion needs the cow.[(((triple6) -> rule2))]