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