The cow chases the mouse. The cow chases the tiger. The cow is nice. The dog is big. The dog needs the mouse. The mouse chases the dog. The mouse chases the tiger. The tiger chases the dog. The tiger is nice. The tiger needs the mouse. If something needs the dog and it is nice then the dog is nice. If something is nice then it chases the cow. If something chases the mouse then it is big. If something chases the cow then it needs the dog. If something chases the cow then the cow is rough. If the mouse visits the dog and the dog visits the mouse then the mouse visits the tiger. If something chases the cow and it is big then it does not chase the dog. If something visits the cow and it needs the dog then the dog needs the mouse. If something needs the mouse and it chases the tiger then the mouse is rough.
The tiger does not chase the cow.
@0: The cow chases the mouse.[(triple1)] The cow chases the tiger.[(triple2)] The cow is nice.[(triple3)] The dog is big.[(triple4)] The dog needs the mouse.[(triple5)] The mouse chases the dog.[(triple6)] The mouse chases the tiger.[(triple7)] The tiger chases the dog.[(triple8)] The tiger is nice.[(triple9)] The tiger needs the mouse.[(triple10)] @1: The cow chases the cow.[(((triple3) -> rule2))] The cow is big.[(((triple1) -> rule3))] The tiger chases the cow.[(((triple9) -> rule2))] @2: The cow does not chase the dog.[(((((triple3) -> rule2) ((triple1) -> rule3)) -> rule7))] The cow is rough.[(((((triple3) -> rule2)) -> rule5) OR ((((triple9) -> rule2)) -> rule5) OR ((((((((((triple3) -> rule2)) -> rule4) triple3) -> rule1)) -> rule2)) -> rule5) OR ((((((((((triple9) -> rule2)) -> rule4) triple9) -> rule1)) -> rule2)) -> rule5))] The cow needs the dog.[(((((triple3) -> rule2)) -> rule4))] The tiger needs the dog.[(((((triple9) -> rule2)) -> rule4))] @3: The dog is nice.[(((((((triple3) -> rule2)) -> rule4) triple3) -> rule1) OR ((((((triple9) -> rule2)) -> rule4) triple9) -> rule1))] @4: The dog chases the cow.[(((((((((triple3) -> rule2)) -> rule4) triple3) -> rule1)) -> rule2) OR ((((((((triple9) -> rule2)) -> rule4) triple9) -> rule1)) -> rule2))] @5: The dog does not chase the dog.[(((((((((((triple3) -> rule2)) -> rule4) triple3) -> rule1)) -> rule2) triple4) -> rule7) OR ((((((((((triple9) -> rule2)) -> rule4) triple9) -> rule1)) -> rule2) triple4) -> rule7))] The dog needs the dog.[(((((((((((triple3) -> rule2)) -> rule4) triple3) -> rule1)) -> rule2)) -> rule4) OR ((((((((((triple9) -> rule2)) -> rule4) triple9) -> rule1)) -> rule2)) -> rule4))]