The cat chases the dog. The cat is green. The cat is young. The cat visits the dog. The dog chases the mouse. The dog is rough. The dog is young. The dog visits the mouse. The mouse needs the cat. The mouse visits the squirrel. The squirrel chases the dog. The squirrel needs the cat. The squirrel needs the mouse. The squirrel visits the cat. The squirrel visits the dog. If something needs the mouse then it is green. If something visits the dog and the dog chases the squirrel then the squirrel visits the cat. If something chases the mouse then it is young. If something chases the cat and it needs the squirrel then the cat is red. If the cat is young then the cat needs the squirrel. If something visits the squirrel and the squirrel is green then it needs the mouse.
The squirrel is not young.
@0: The cat chases the dog.[(triple1)] The cat is green.[(triple2)] The cat is young.[(triple3)] The cat visits the dog.[(triple4)] The dog chases the mouse.[(triple5)] The dog is rough.[(triple6)] The dog is young.[(triple7 OR ((triple5) -> rule3))] The dog visits the mouse.[(triple8)] The mouse needs the cat.[(triple9)] The mouse visits the squirrel.[(triple10)] The squirrel chases the dog.[(triple11)] The squirrel needs the cat.[(triple12)] The squirrel needs the mouse.[(triple13)] The squirrel visits the cat.[(triple14)] The squirrel visits the dog.[(triple15)] @1: The cat needs the squirrel.[(((triple3) -> rule5))] The squirrel is green.[(((triple13) -> rule1))] @2: The mouse needs the mouse.[(((triple10 ((triple13) -> rule1)) -> rule6))] @3: The mouse is green.[(((((triple10 ((triple13) -> rule1)) -> rule6)) -> rule1))]