The dog is red. The dog likes the mouse. The dog visits the tiger. The lion visits the dog. The lion visits the tiger. The mouse chases the tiger. The mouse is green. The mouse visits the dog. The tiger chases the lion. The tiger is nice. The tiger visits the dog. If something chases the dog then it visits the lion. If the dog is cold then the dog likes the tiger. If something likes the tiger then the tiger likes the mouse. If something is nice then it visits the tiger. If something likes the lion and the lion is green then it is blue. If something is cold then it likes the lion. If something visits the tiger then it visits the mouse. If something visits the tiger then the tiger chases the mouse. If something likes the mouse then it is cold.
The mouse does not visit the tiger.
@0: The dog is red.[(triple1)] The dog likes the mouse.[(triple2)] The dog visits the tiger.[(triple3)] The lion visits the dog.[(triple4)] The lion visits the tiger.[(triple5)] The mouse chases the tiger.[(triple6)] The mouse is green.[(triple7)] The mouse visits the dog.[(triple8)] The tiger chases the lion.[(triple9)] The tiger is nice.[(triple10)] The tiger visits the dog.[(triple11)] @1: The dog is cold.[(((triple2) -> rule9))] The dog visits the mouse.[(((triple3) -> rule7))] The lion visits the mouse.[(((triple5) -> rule7))] The tiger chases the mouse.[(((triple3) -> rule8) OR ((triple5) -> rule8) OR ((((triple10) -> rule4)) -> rule8))] The tiger visits the tiger.[(((triple10) -> rule4))] @2: The dog likes the lion.[(((((triple2) -> rule9)) -> rule6))] The dog likes the tiger.[(((((triple2) -> rule9)) -> rule2))] The tiger visits the mouse.[(((((triple10) -> rule4)) -> rule7))] @3: The tiger likes the mouse.[(((((((triple2) -> rule9)) -> rule2)) -> rule3))] @4: The tiger is cold.[(((((((((triple2) -> rule9)) -> rule2)) -> rule3)) -> rule9))] @5: The tiger likes the lion.[(((((((((((triple2) -> rule9)) -> rule2)) -> rule3)) -> rule9)) -> rule6))]