The dog does not need the lion. The dog needs the rabbit. The lion is round. The lion likes the mouse. The lion needs the mouse. The mouse eats the lion. The mouse is rough. The mouse needs the lion. The rabbit eats the mouse. The rabbit is not red. The rabbit is rough. The rabbit likes the dog. The rabbit likes the lion. The rabbit needs the dog. The rabbit needs the mouse. If someone likes the lion then the lion does not eat the mouse. If someone needs the mouse then the mouse likes the dog. If someone is round then they are blue. If someone likes the dog then the dog does not eat the mouse. All round people are rough. If someone likes the dog then they are round. If someone likes the dog and they are not round then the dog is red. If someone is red and they do not eat the dog then the dog eats the rabbit.
The mouse is blue.
@0: The dog does not need the lion.[(triple1)] The dog needs the rabbit.[(triple2)] The lion is round.[(triple3)] The lion likes the mouse.[(triple4)] The lion needs the mouse.[(triple5)] The mouse eats the lion.[(triple6)] The mouse is rough.[(triple7 OR ((((((triple15) -> rule2)) -> rule6)) -> rule5) OR ((((((triple5) -> rule2)) -> rule6)) -> rule5))] The mouse needs the lion.[(triple8)] The rabbit eats the mouse.[(triple9)] The rabbit is not red.[(triple10)] The rabbit is rough.[(triple11 OR ((((triple12) -> rule6)) -> rule5))] The rabbit likes the dog.[(triple12)] The rabbit likes the lion.[(triple13)] The rabbit needs the dog.[(triple14)] The rabbit needs the mouse.[(triple15)] @1: The dog does not eat the mouse.[(((triple12) -> rule4) OR ((((triple15) -> rule2)) -> rule4) OR ((((triple5) -> rule2)) -> rule4))] The lion does not eat the mouse.[(((triple13) -> rule1))] The lion is blue.[(((triple3) -> rule3))] The lion is rough.[(((triple3) -> rule5))] The mouse likes the dog.[(((triple15) -> rule2) OR ((triple5) -> rule2))] The rabbit is round.[(((triple12) -> rule6))] @2: The mouse is round.[(((((triple15) -> rule2)) -> rule6) OR ((((triple5) -> rule2)) -> rule6))] The rabbit is blue.[(((((triple12) -> rule6)) -> rule3))] @3: The mouse is blue.[(((((((triple15) -> rule2)) -> rule6)) -> rule3) OR ((((((triple5) -> rule2)) -> rule6)) -> rule3))]