The dog is not round. The dog likes the lion. The dog needs the rabbit. The dog does not visit the lion. The lion is big. The lion does not like the mouse. The mouse is nice. The mouse likes the rabbit. The mouse does not need the lion. The mouse visits the rabbit. The rabbit is big. The rabbit is nice. The rabbit is not round. The rabbit likes the dog. The rabbit likes the lion. The rabbit does not visit the lion. If someone visits the mouse then they are big. If someone likes the mouse then the mouse likes the rabbit. If someone visits the mouse then the mouse needs the rabbit. If someone is nice then they need the mouse. If the dog likes the rabbit and the rabbit needs the lion then the rabbit likes the lion. If someone is big then they do not need the dog. If someone needs the rabbit then they visit the mouse.
The rabbit visits the mouse.
@0: The dog does not visit the lion.[(triple4)] The dog is not round.[(triple1)] The dog likes the lion.[(triple2)] The dog needs the rabbit.[(triple3)] The lion does not like the mouse.[(triple6)] The lion is big.[(triple5)] The mouse does not need the lion.[(triple9)] The mouse is nice.[(triple7)] The mouse likes the rabbit.[(triple8)] The mouse visits the rabbit.[(triple10)] The rabbit does not visit the lion.[(triple16)] The rabbit is big.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is not round.[(triple13)] The rabbit likes the dog.[(triple14)] The rabbit likes the lion.[(triple15)] @1: The dog visits the mouse.[(((triple3) -> rule7))] The lion does not need the dog.[(((triple5) -> rule6))] The mouse needs the mouse.[(((triple7) -> rule4))] The rabbit does not need the dog.[(((triple11) -> rule6))] The rabbit needs the mouse.[(((triple12) -> rule4))] @2: The dog is big.[(((((triple3) -> rule7)) -> rule1))] The mouse needs the rabbit.[(((((triple3) -> rule7)) -> rule3))] @3: The dog does not need the dog.[(((((((triple3) -> rule7)) -> rule1)) -> rule6))] The mouse visits the mouse.[(((((((triple3) -> rule7)) -> rule3)) -> rule7))] @4: The mouse is big.[(((((((((triple3) -> rule7)) -> rule3)) -> rule7)) -> rule1))] @5: The mouse does not need the dog.[(((((((((((triple3) -> rule7)) -> rule3)) -> rule7)) -> rule1)) -> rule6))]