The lion is green. The lion is nice. The lion is red. The lion is young. The lion needs the rabbit. The lion sees the rabbit. The lion visits the rabbit. The rabbit is nice. The rabbit is young. The rabbit needs the lion. The rabbit sees the lion. The rabbit visits the lion. If something needs the lion and the lion visits the rabbit then it is blue. If the rabbit visits the lion and the rabbit sees the lion then the rabbit is blue. If something visits the lion and it is blue then it needs the rabbit. If something sees the rabbit and the rabbit visits the lion then the rabbit sees the lion. If something sees the rabbit then the rabbit sees the lion. If something sees the rabbit then the rabbit is blue. If something visits the lion and it is green then it visits the rabbit. If something needs the lion and it is young then the lion sees the rabbit.
The lion does not need the rabbit.
@0: The lion is green.[(triple1)] The lion is nice.[(triple2)] The lion is red.[(triple3)] The lion is young.[(triple4)] The lion needs the rabbit.[(triple5)] The lion sees the rabbit.[(triple6 OR ((triple10 triple9) -> rule8))] The lion visits the rabbit.[(triple7)] The rabbit is nice.[(triple8)] The rabbit is young.[(triple9)] The rabbit needs the lion.[(triple10)] The rabbit sees the lion.[(triple11 OR ((triple6) -> rule5) OR ((triple6 triple12) -> rule4) OR ((((triple10 triple9) -> rule8)) -> rule5) OR ((((triple10 triple9) -> rule8) triple12) -> rule4))] The rabbit visits the lion.[(triple12)] @1: The rabbit is blue.[(((triple6) -> rule6) OR ((triple10 triple7) -> rule1) OR ((triple12 triple11) -> rule2) OR ((((triple10 triple9) -> rule8)) -> rule6) OR ((triple12 ((triple6) -> rule5)) -> rule2) OR ((triple12 ((triple6 triple12) -> rule4)) -> rule2) OR ((triple12 ((((triple10 triple9) -> rule8)) -> rule5)) -> rule2) OR ((triple12 ((((triple10 triple9) -> rule8) triple12) -> rule4)) -> rule2))] @2: The rabbit needs the rabbit.[(((triple12 ((triple6) -> rule6)) -> rule3) OR ((triple12 ((triple10 triple7) -> rule1)) -> rule3) OR ((triple12 ((triple12 triple11) -> rule2)) -> rule3) OR ((triple12 ((((triple10 triple9) -> rule8)) -> rule6)) -> rule3) OR ((triple12 ((triple12 ((triple6) -> rule5)) -> rule2)) -> rule3) OR ((triple12 ((triple12 ((triple6 triple12) -> rule4)) -> rule2)) -> rule3) OR ((triple12 ((triple12 ((((triple10 triple9) -> rule8)) -> rule5)) -> rule2)) -> rule3) OR ((triple12 ((triple12 ((((triple10 triple9) -> rule8) triple12) -> rule4)) -> rule2)) -> rule3))]