The cow likes the lion. The cow needs the lion. The cow needs the tiger. The cow sees the lion. The cow does not see the tiger. The lion is round. The lion is young. The lion likes the tiger. The lion does not see the cow. The lion sees the tiger. The tiger likes the lion. The tiger sees the lion. If someone likes the tiger and the tiger is not nice then the tiger sees the cow. If someone likes the lion and they are not round then they do not see the cow. If someone sees the tiger then the tiger is young. If someone needs the tiger then they need the lion. If someone likes the tiger then they see the tiger. If someone is rough and they do not see the tiger then the tiger does not need the lion.
The tiger does not need the lion.
@0: The cow does not see the tiger.[(triple5)] The cow likes the lion.[(triple1)] The cow needs the lion.[(triple2 OR ((triple3) -> rule4))] The cow needs the tiger.[(triple3)] The cow sees the lion.[(triple4)] The lion does not see the cow.[(triple9)] The lion is round.[(triple6)] The lion is young.[(triple7)] The lion likes the tiger.[(triple8)] The lion sees the tiger.[(triple10 OR ((triple8) -> rule5))] The tiger likes the lion.[(triple11)] The tiger sees the lion.[(triple12)] @1: The tiger is young.[(((triple10) -> rule3) OR ((((triple8) -> rule5)) -> rule3))]