The dog eats the mouse. The dog is big. The dog is green. The dog is not nice. The dog is round. The dog does not like the mouse. The dog needs the mouse. The mouse is not blue. The mouse is nice. The mouse does not need the dog. If someone is blue then they like the dog. If the dog likes the mouse then the mouse is not round. If someone eats the dog then the dog is nice. If someone is round then they are blue. If the mouse likes the dog and the mouse is not big then the dog is not big. If someone eats the mouse and the mouse needs the dog then they are nice. If someone is round then they need the mouse. If someone needs the dog then the dog eats the mouse.
The mouse does not need the mouse.
@0: The dog does not like the mouse.[(triple6)] The dog eats the mouse.[(triple1)] The dog is big.[(triple2)] The dog is green.[(triple3)] The dog is not nice.[(triple4)] The dog is round.[(triple5)] The dog needs the mouse.[(triple7 OR ((triple5) -> rule7))] The mouse does not need the dog.[(triple10)] The mouse is nice.[(triple9)] The mouse is not blue.[(triple8)] @1: The dog is blue.[(((triple5) -> rule4))] @2: The dog likes the dog.[(((((triple5) -> rule4)) -> rule1))]