The lion is big. The lion is blue. The lion is nice. The lion is rough. The lion is round. The lion does not like the rabbit. The lion sees the rabbit. The lion visits the rabbit. The rabbit is big. The rabbit is not blue. The rabbit is nice. The rabbit is not rough. The rabbit likes the lion. The rabbit does not see the lion. The rabbit visits the lion. If the lion is nice then the lion is big. If someone sees the lion and they are not rough then the lion visits the rabbit. If someone sees the rabbit then the rabbit visits the lion. If someone visits the rabbit and the rabbit is rough then the rabbit likes the lion. If the lion visits the rabbit then the rabbit likes the lion. If someone is rough and they visit the rabbit then the rabbit is not blue. If someone is rough and they see the lion then they like the rabbit. If someone sees the lion and the lion does not like the rabbit then they are blue.
The rabbit does not like the rabbit.
@0: The lion does not like the rabbit.[(triple6)] The lion is big.[(triple1 OR ((triple3) -> rule1))] The lion is blue.[(triple2)] The lion is nice.[(triple3)] The lion is rough.[(triple4)] The lion is round.[(triple5)] The lion sees the rabbit.[(triple7)] The lion visits the rabbit.[(triple8)] The rabbit does not see the lion.[(triple14)] The rabbit is big.[(triple9)] The rabbit is nice.[(triple11)] The rabbit is not blue.[(triple10 OR ((triple4 triple8) -> rule6))] The rabbit is not rough.[(triple12)] The rabbit likes the lion.[(triple13 OR ((triple8) -> rule5))] The rabbit visits the lion.[(triple15 OR ((triple7) -> rule3))]