The dog is not big. The dog is red. The dog is round. The dog does not like the mouse. The mouse chases the rabbit. The mouse is big. The mouse is red. The mouse is round. The mouse likes the dog. The mouse needs the dog. The mouse needs the rabbit. The rabbit chases the dog. The rabbit is not red. The rabbit likes the dog. The rabbit likes the mouse. If someone is red and they need the rabbit then the rabbit is nice. If someone likes the rabbit and the rabbit chases the mouse then they chase the dog. If someone likes the dog then they chase the dog. If someone chases the dog and the dog chases the mouse then the dog needs the rabbit. If the mouse needs the rabbit and the rabbit is round then the mouse likes the dog. If someone chases the mouse and they do not like the dog then the dog is not nice. If someone is nice then they chase the rabbit. If someone is nice and they chase the rabbit then they do not need the dog.
The mouse does not chase the dog.
@0: The dog does not like the mouse.[(triple4)] The dog is not big.[(triple1)] The dog is red.[(triple2)] The dog is round.[(triple3)] The mouse chases the rabbit.[(triple5)] The mouse is big.[(triple6)] The mouse is red.[(triple7)] The mouse is round.[(triple8)] The mouse likes the dog.[(triple9)] The mouse needs the dog.[(triple10)] The mouse needs the rabbit.[(triple11)] The rabbit chases the dog.[(triple12 OR ((triple14) -> rule3))] The rabbit is not red.[(triple13)] The rabbit likes the dog.[(triple14)] The rabbit likes the mouse.[(triple15)] @1: The mouse chases the dog.[(((triple9) -> rule3))] The rabbit is nice.[(((triple7 triple11) -> rule1))] @2: The rabbit chases the rabbit.[(((((triple7 triple11) -> rule1)) -> rule7))] @3: The rabbit does not need the dog.[(((((triple7 triple11) -> rule1) ((((triple7 triple11) -> rule1)) -> rule7)) -> rule8))]