The cow is young. The cow does not like the tiger. The lion eats the cow. The lion eats the tiger. The lion is blue. The lion is green. The lion is nice. The lion is rough. The lion needs the cow. The lion needs the tiger. The tiger is nice. The tiger likes the cow. If someone eats the lion and they are not rough then the lion likes the tiger. If the lion eats the tiger then the tiger is not green. If someone is nice and they like the tiger then they are not young. If someone is rough then they like the tiger. If someone is rough then they need the cow. If the cow needs the lion then the lion is nice. If someone likes the cow then the cow is green. If someone eats the tiger and they are not young then they like the cow.
The tiger needs the cow.
@0: The cow does not like the tiger.[(triple2)] The cow is young.[(triple1)] The lion eats the cow.[(triple3)] The lion eats the tiger.[(triple4)] The lion is blue.[(triple5)] The lion is green.[(triple6)] The lion is nice.[(triple7)] The lion is rough.[(triple8)] The lion needs the cow.[(triple9 OR ((triple8) -> rule5))] The lion needs the tiger.[(triple10)] The tiger is nice.[(triple11)] The tiger likes the cow.[(triple12)] @1: The cow is green.[(((triple12) -> rule7) OR ((((triple4 ((triple7 ((triple8) -> rule4)) -> rule3)) -> rule8)) -> rule7))] The lion likes the tiger.[(((triple8) -> rule4))] The tiger is not green.[(((triple4) -> rule2))] @2: The lion is not young.[(((triple7 ((triple8) -> rule4)) -> rule3))] @3: The lion likes the cow.[(((triple4 ((triple7 ((triple8) -> rule4)) -> rule3)) -> rule8))]