The lion chases the rabbit. The lion is not green. The lion is round. The rabbit does not chase the lion. The rabbit chases the tiger. The rabbit eats the lion. The rabbit eats the tiger. The rabbit is kind. The rabbit is nice. The rabbit is rough. The rabbit visits the lion. The tiger eats the rabbit. The tiger is green. The tiger is round. The tiger visits the rabbit. If someone is green and not rough then they eat the rabbit. If someone eats the lion then the lion chases the tiger. If someone is round and they do not eat the lion then the lion visits the tiger. If the rabbit is not rough then the rabbit does not chase the tiger. If someone visits the rabbit then they visit the lion. If someone chases the lion then the lion visits the rabbit. If someone chases the tiger then they visit the rabbit. If the rabbit is round and the rabbit is nice then the rabbit does not eat the tiger.
The tiger does not eat the tiger.
@0: The lion chases the rabbit.[(triple1)] The lion is not green.[(triple2)] The lion is round.[(triple3)] The rabbit chases the tiger.[(triple5)] The rabbit does not chase the lion.[(triple4)] The rabbit eats the lion.[(triple6)] The rabbit eats the tiger.[(triple7)] The rabbit is kind.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is rough.[(triple10)] The rabbit visits the lion.[(triple11 OR ((((triple5) -> rule7)) -> rule5))] The tiger eats the rabbit.[(triple12)] The tiger is green.[(triple13)] The tiger is round.[(triple14)] The tiger visits the rabbit.[(triple15)] @1: The lion chases the tiger.[(((triple6) -> rule2))] The rabbit visits the rabbit.[(((triple5) -> rule7))] The tiger visits the lion.[(((triple15) -> rule5))] @2: The lion visits the rabbit.[(((((triple6) -> rule2)) -> rule7))] @3: The lion visits the lion.[(((((((triple6) -> rule2)) -> rule7)) -> rule5))]