The dog chases the mouse. The dog is big. The dog is blue. The dog is green. The dog is rough. The dog is young. The dog likes the mouse. The dog needs the mouse. The mouse chases the dog. The mouse is big. The mouse is green. The mouse is rough. The mouse is young. The mouse likes the dog. The mouse needs the dog. If someone needs the mouse then they like the dog. If someone likes the dog then they chase the dog.
The dog is not big.
@0: The dog chases the mouse.[(triple1)] The dog is big.[(triple2)] The dog is blue.[(triple3)] The dog is green.[(triple4)] The dog is rough.[(triple5)] The dog is young.[(triple6)] The dog likes the mouse.[(triple7)] The dog needs the mouse.[(triple8)] The mouse chases the dog.[(triple9 OR ((triple14) -> rule2))] The mouse is big.[(triple10)] The mouse is green.[(triple11)] The mouse is rough.[(triple12)] The mouse is young.[(triple13)] The mouse likes the dog.[(triple14)] The mouse needs the dog.[(triple15)] @1: The dog likes the dog.[(((triple8) -> rule1))] @2: The dog chases the dog.[(((((triple8) -> rule1)) -> rule2))]