The cow chases the dog. The cow is green. The dog chases the cow. The dog chases the mouse. The dog is green. The dog is young. The dog visits the mouse. The mouse is nice. The mouse sees the dog. The rabbit is big. The rabbit visits the dog. The rabbit visits the mouse. If something visits the rabbit then the rabbit chases the cow. If something is big then it is young. If something is cold then it visits the cow. If the dog is young then the dog chases the mouse. If something chases the cow then it visits the rabbit. If something visits the rabbit then the rabbit is big.
The cow is not green.
@0: The cow chases the dog.[(triple1)] The cow is green.[(triple2)] The dog chases the cow.[(triple3)] The dog chases the mouse.[(triple4 OR ((triple6) -> rule4))] The dog is green.[(triple5)] The dog is young.[(triple6)] The dog visits the mouse.[(triple7)] The mouse is nice.[(triple8)] The mouse sees the dog.[(triple9)] The rabbit is big.[(triple10 OR ((((triple3) -> rule5)) -> rule6) OR ((((((((triple3) -> rule5)) -> rule1)) -> rule5)) -> rule6))] The rabbit visits the dog.[(triple11)] The rabbit visits the mouse.[(triple12)] @1: The dog visits the rabbit.[(((triple3) -> rule5))] The rabbit is young.[(((triple10) -> rule2) OR ((((((triple3) -> rule5)) -> rule6)) -> rule2) OR ((((((((((triple3) -> rule5)) -> rule1)) -> rule5)) -> rule6)) -> rule2))] @2: The rabbit chases the cow.[(((((triple3) -> rule5)) -> rule1))] @3: The rabbit visits the rabbit.[(((((((triple3) -> rule5)) -> rule1)) -> rule5))]