The cow is blue. The cow likes the dog. The dog chases the cow. The dog chases the mouse. The dog is big. The dog is kind. The dog likes the cow. The mouse chases the cow. The mouse chases the dog. The mouse is blue. The mouse does not like the dog. The mouse sees the cow. If something likes the dog and the dog is not kind then the dog is young. If the dog is kind and the dog sees the mouse then the mouse chases the cow. All kind things are big. If something is green and it chases the cow then the cow does not chase the mouse. If something likes the mouse then the mouse is big. If something chases the mouse and the mouse chases the cow then the mouse is kind.
The mouse is not blue.
@0: The cow is blue.[(triple1)] The cow likes the dog.[(triple2)] The dog chases the cow.[(triple3)] The dog chases the mouse.[(triple4)] The dog is big.[(triple5 OR ((triple6) -> rule3))] The dog is kind.[(triple6)] The dog likes the cow.[(triple7)] The mouse chases the cow.[(triple8)] The mouse chases the dog.[(triple9)] The mouse does not like the dog.[(triple11)] The mouse is blue.[(triple10)] The mouse sees the cow.[(triple12)] @1: The mouse is kind.[(((triple4 triple8) -> rule6))] @2: The mouse is big.[(((((triple4 triple8) -> rule6)) -> rule3))]