The lion chases the rabbit. The lion is big. The lion sees the rabbit. The lion visits the rabbit. The rabbit chases the lion. The rabbit is big. The rabbit is blue. The rabbit is green. The rabbit is rough. The rabbit is round. The rabbit sees the lion. The rabbit visits the lion. If someone chases the lion and the lion chases the rabbit then the rabbit is big. If the lion sees the rabbit then the rabbit visits the lion. If someone chases the rabbit and they visit the lion then they are green.
The rabbit is not blue.
@0: The lion chases the rabbit.[(triple1)] The lion is big.[(triple2)] The lion sees the rabbit.[(triple3)] The lion visits the rabbit.[(triple4)] The rabbit chases the lion.[(triple5)] The rabbit is big.[(triple6 OR ((triple5 triple1) -> rule1))] The rabbit is blue.[(triple7)] The rabbit is green.[(triple8)] The rabbit is rough.[(triple9)] The rabbit is round.[(triple10)] The rabbit sees the lion.[(triple11)] The rabbit visits the lion.[(triple12 OR ((triple3) -> rule2))]