The dog chases the mouse. The dog chases the rabbit. The dog is green. The dog is rough. The dog visits the mouse. The mouse is cold. The rabbit chases the dog. The rabbit chases the mouse. The rabbit is blue. The rabbit is rough. The rabbit needs the mouse. The rabbit visits the mouse. If something is cold and it needs the rabbit then it chases the rabbit. If something is kind and cold then it chases the dog. If something needs the rabbit then it is green. If something chases the rabbit then the rabbit needs the dog. If something needs the dog then the dog needs the mouse. If something visits the mouse and it chases the mouse then the mouse is blue. If something needs the mouse then it is green. If the dog needs the mouse then the dog is kind.
The dog is not green.
@0: The dog chases the mouse.[(triple1)] The dog chases the rabbit.[(triple2)] The dog is green.[(triple3 OR ((((((triple2) -> rule4)) -> rule5)) -> rule7))] The dog is rough.[(triple4)] The dog visits the mouse.[(triple5)] The mouse is cold.[(triple6)] The rabbit chases the dog.[(triple7)] The rabbit chases the mouse.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is rough.[(triple10)] The rabbit needs the mouse.[(triple11)] The rabbit visits the mouse.[(triple12)] @1: The mouse is blue.[(((triple12 triple8) -> rule6) OR ((triple5 triple1) -> rule6))] The rabbit is green.[(((triple11) -> rule7))] The rabbit needs the dog.[(((triple2) -> rule4))] @2: The dog needs the mouse.[(((((triple2) -> rule4)) -> rule5))] @3: The dog is kind.[(((((((triple2) -> rule4)) -> rule5)) -> rule8))]