The dog likes the rabbit. The dog likes the tiger. The dog sees the tiger. The mouse chases the tiger. The mouse sees the dog. The mouse sees the rabbit. The rabbit likes the dog. The rabbit sees the tiger. The tiger is green. The tiger likes the mouse. If someone chases the mouse and the mouse sees the rabbit then the rabbit is rough. If someone is rough and they like the dog then they are blue. If someone chases the mouse then the mouse is green. If the mouse chases the dog and the mouse sees the dog then the dog sees the mouse. If someone sees the tiger and they are blue then they see the mouse. If someone is green and they chase the rabbit then they chase the dog. If someone likes the tiger then they chase the mouse. If someone sees the dog then they chase the rabbit.
The dog does not chase the rabbit.
@0: The dog likes the rabbit.[(triple1)] The dog likes the tiger.[(triple2)] The dog sees the tiger.[(triple3)] The mouse chases the tiger.[(triple4)] The mouse sees the dog.[(triple5)] The mouse sees the rabbit.[(triple6)] The rabbit likes the dog.[(triple7)] The rabbit sees the tiger.[(triple8)] The tiger is green.[(triple9)] The tiger likes the mouse.[(triple10)] @1: The dog chases the mouse.[(((triple2) -> rule7))] The mouse chases the rabbit.[(((triple5) -> rule8))] @2: The mouse is green.[(((((triple2) -> rule7)) -> rule3))] The rabbit is rough.[(((((triple2) -> rule7) triple6) -> rule1))] @3: The mouse chases the dog.[(((((((triple2) -> rule7)) -> rule3) ((triple5) -> rule8)) -> rule6))] The rabbit is blue.[(((((((triple2) -> rule7) triple6) -> rule1) triple7) -> rule2))] @4: The dog sees the mouse.[(((((((((triple2) -> rule7)) -> rule3) ((triple5) -> rule8)) -> rule6) triple5) -> rule4))] The rabbit sees the mouse.[(((triple8 ((((((triple2) -> rule7) triple6) -> rule1) triple7) -> rule2)) -> rule5))]