The lion does not eat the tiger. The lion is not green. The lion is nice. The lion is young. The lion likes the tiger. The lion sees the tiger. The tiger does not eat the lion. The tiger is green. The tiger is red. The tiger is rough. The tiger likes the lion. The tiger sees the lion. If someone sees the lion and they are not rough then the lion likes the tiger. If the tiger likes the lion and the tiger is rough then the lion likes the tiger. If the lion is rough and the lion likes the tiger then the tiger is nice. If someone is red and they like the tiger then the tiger is nice. If someone likes the tiger then they are red. If someone is red and they eat the tiger then the tiger likes the lion. If someone eats the tiger and they do not see the lion then the tiger does not eat the lion. If someone eats the tiger and they do not like the tiger then they are young.
The tiger is not young.
@0: The lion does not eat the tiger.[(triple1)] The lion is nice.[(triple3)] The lion is not green.[(triple2)] The lion is young.[(triple4)] The lion likes the tiger.[(triple5 OR ((triple11 triple10) -> rule2))] The lion sees the tiger.[(triple6)] The tiger does not eat the lion.[(triple7)] The tiger is green.[(triple8)] The tiger is red.[(triple9)] The tiger is rough.[(triple10)] The tiger likes the lion.[(triple11)] The tiger sees the lion.[(triple12)] @1: The lion is red.[(((triple5) -> rule5) OR ((((triple11 triple10) -> rule2)) -> rule5))] @2: The tiger is nice.[(((((triple5) -> rule5) triple5) -> rule4) OR ((((triple5) -> rule5) ((triple11 triple10) -> rule2)) -> rule4) OR ((((((triple11 triple10) -> rule2)) -> rule5) triple5) -> rule4) OR ((((((triple11 triple10) -> rule2)) -> rule5) ((triple11 triple10) -> rule2)) -> rule4))]