The cat chases the cow. The cat is red. The cat does not visit the cow. The cat visits the mouse. The cow chases the mouse. The cow is blue. The cow is not red. The cow likes the dog. The cow visits the cat. The dog is rough. The mouse does not chase the cow. The mouse is red. The mouse likes the cow. The mouse likes the dog. The mouse visits the dog. If something is red and it chases the cow then the cow is green. If something likes the cat then it likes the mouse. If the cat is green then the cat is blue. If the cat visits the dog and the dog chases the cat then the dog chases the mouse. If something is green then it likes the cat. If something likes the mouse and it is not green then it likes the dog.
The cow is not green.
@0: The cat chases the cow.[(triple1)] The cat does not visit the cow.[(triple3)] The cat is red.[(triple2)] The cat visits the mouse.[(triple4)] The cow chases the mouse.[(triple5)] The cow is blue.[(triple6)] The cow is not red.[(triple7)] The cow likes the dog.[(triple8)] The cow visits the cat.[(triple9)] The dog is rough.[(triple10)] The mouse does not chase the cow.[(triple11)] The mouse is red.[(triple12)] The mouse likes the cow.[(triple13)] The mouse likes the dog.[(triple14)] The mouse visits the dog.[(triple15)] @1: The cow is green.[(((triple2 triple1) -> rule1))] @2: The cow likes the cat.[(((((triple2 triple1) -> rule1)) -> rule5))] @3: The cow likes the mouse.[(((((((triple2 triple1) -> rule1)) -> rule5)) -> rule2))]