The lion is blue. The lion is nice. The lion is red. The lion likes the rabbit. The lion needs the rabbit. The rabbit chases the lion. The rabbit is blue. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit likes the lion. The rabbit needs the lion. If the lion likes the rabbit then the rabbit is blue. If someone needs the rabbit and the rabbit chases the lion then they like the rabbit. If the rabbit needs the lion then the rabbit chases the lion. If someone is kind then they need the lion. If someone likes the lion and the lion chases the rabbit then the rabbit is nice. If the lion needs the rabbit then the lion likes the rabbit.
The rabbit is not blue.
@0: The lion is blue.[(triple1)] The lion is nice.[(triple2)] The lion is red.[(triple3)] The lion likes the rabbit.[(triple4 OR ((triple5) -> rule6) OR ((triple5 triple6) -> rule2) OR ((triple5 ((triple12) -> rule3)) -> rule2))] The lion needs the rabbit.[(triple5)] The rabbit chases the lion.[(triple6 OR ((triple12) -> rule3))] The rabbit is blue.[(triple7 OR ((triple4) -> rule1) OR ((((triple5) -> rule6)) -> rule1) OR ((((triple5 triple6) -> rule2)) -> rule1) OR ((((triple5 ((triple12) -> rule3)) -> rule2)) -> rule1))] The rabbit is green.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is red.[(triple10)] The rabbit likes the lion.[(triple11)] The rabbit needs the lion.[(triple12)]