The dog chases the mouse. The dog is blue. The dog is nice. The dog does not like the mouse. The dog likes the rabbit. The mouse does not chase the rabbit. The mouse is big. The mouse is blue. The mouse is green. The mouse likes the rabbit. The mouse sees the dog. The rabbit chases the dog. If someone is big then they like the rabbit. If the mouse is nice and the mouse does not like the rabbit then the rabbit chases the dog.
The rabbit sees the dog.
@0: The dog chases the mouse.[(triple1)] The dog does not like the mouse.[(triple4)] The dog is blue.[(triple2)] The dog is nice.[(triple3)] The dog likes the rabbit.[(triple5)] The mouse does not chase the rabbit.[(triple6)] The mouse is big.[(triple7)] The mouse is blue.[(triple8)] The mouse is green.[(triple9)] The mouse likes the rabbit.[(triple10 OR ((triple7) -> rule1))] The mouse sees the dog.[(triple11)] The rabbit chases the dog.[(triple12)]