The lion is blue. The lion is nice. The lion is red. The lion is young. The lion likes the rabbit. The lion needs the rabbit. The lion sees the rabbit. The rabbit is big. The rabbit is blue. The rabbit is not nice. The rabbit is not red. The rabbit is not young. The rabbit likes the lion. The rabbit needs the lion. The rabbit sees the lion. If the lion does not see the rabbit then the rabbit does not need the lion. If something likes the rabbit then the rabbit sees the lion. If the rabbit needs the lion then the lion likes the rabbit. If something is red and it sees the lion then the lion likes the rabbit. If the rabbit sees the lion then the rabbit is not young. If something sees the lion then the lion needs the rabbit. If something is red and it does not need the lion then the lion is not young. If the rabbit is red and the rabbit does not see the lion then the rabbit is not blue.
The lion does not like the lion.
@0: The lion is blue.[(triple1)] The lion is nice.[(triple2)] The lion is red.[(triple3)] The lion is young.[(triple4)] The lion likes the rabbit.[(triple5 OR ((triple14) -> rule3))] The lion needs the rabbit.[(triple6 OR ((triple15) -> rule6) OR ((((triple5) -> rule2)) -> rule6) OR ((((((triple14) -> rule3)) -> rule2)) -> rule6))] The lion sees the rabbit.[(triple7)] The rabbit is big.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is not nice.[(triple10)] The rabbit is not red.[(triple11)] The rabbit is not young.[(triple12 OR ((triple15) -> rule5) OR ((((triple5) -> rule2)) -> rule5) OR ((((((triple14) -> rule3)) -> rule2)) -> rule5))] The rabbit likes the lion.[(triple13)] The rabbit needs the lion.[(triple14)] The rabbit sees the lion.[(triple15 OR ((triple5) -> rule2) OR ((((triple14) -> rule3)) -> rule2))]