The lion is blue. The lion is green. The lion is young. The lion needs the tiger. The lion sees the tiger. The rabbit is green. The rabbit is young. The rabbit needs the lion. The rabbit needs the tiger. The rabbit sees the tiger. The rabbit visits the lion. The rabbit visits the tiger. The tiger is rough. The tiger sees the lion. The tiger visits the lion. If something visits the lion and it visits the tiger then the tiger is blue. If something needs the tiger then it is nice. If something sees the lion and it visits the tiger then the lion sees the tiger. If something is young then it sees the tiger. If something needs the tiger and it is blue then it visits the tiger. If the tiger visits the rabbit and the tiger is green then the tiger visits the lion. If something is blue and it sees the lion then the lion visits the tiger. If something visits the rabbit and it is green then it needs the lion.
The lion is young.
@0: The lion is blue.[(triple1)] The lion is green.[(triple2)] The lion is young.[(triple3)] The lion needs the tiger.[(triple4)] The lion sees the tiger.[(triple5 OR ((triple3) -> rule4))] The rabbit is green.[(triple6)] The rabbit is young.[(triple7)] The rabbit needs the lion.[(triple8)] The rabbit needs the tiger.[(triple9)] The rabbit sees the tiger.[(triple10 OR ((triple7) -> rule4))] The rabbit visits the lion.[(triple11)] The rabbit visits the tiger.[(triple12)] The tiger is rough.[(triple13)] The tiger sees the lion.[(triple14)] The tiger visits the lion.[(triple15)] @1: The lion is nice.[(((triple4) -> rule2))] The lion visits the tiger.[(((triple4 triple1) -> rule5) OR ((((triple11 triple12) -> rule1) triple14) -> rule7))] The rabbit is nice.[(((triple9) -> rule2))] The tiger is blue.[(((triple11 triple12) -> rule1))]