The mouse chases the rabbit. The mouse is blue. The mouse is cold. The mouse is green. The mouse likes the rabbit. The mouse visits the tiger. The rabbit is red. The rabbit is rough. The rabbit likes the tiger. The rabbit visits the mouse. The rabbit visits the tiger. The tiger chases the mouse. The tiger chases the rabbit. The tiger is cold. The tiger is red. If someone chases the rabbit then the rabbit chases the mouse. If someone likes the mouse and they chase the mouse then the mouse likes the rabbit. If someone is red and they visit the mouse then they visit the tiger. Blue people are red. If the tiger is red then the tiger likes the rabbit. If the tiger chases the rabbit then the rabbit visits the mouse.
The mouse does not chase the rabbit.
@0: The mouse chases the rabbit.[(triple1)] The mouse is blue.[(triple2)] The mouse is cold.[(triple3)] The mouse is green.[(triple4)] The mouse likes the rabbit.[(triple5)] The mouse visits the tiger.[(triple6)] The rabbit is red.[(triple7)] The rabbit is rough.[(triple8)] The rabbit likes the tiger.[(triple9)] The rabbit visits the mouse.[(triple10 OR ((triple13) -> rule6))] The rabbit visits the tiger.[(triple11 OR ((triple7 triple10) -> rule3) OR ((triple7 ((triple13) -> rule6)) -> rule3))] The tiger chases the mouse.[(triple12)] The tiger chases the rabbit.[(triple13)] The tiger is cold.[(triple14)] The tiger is red.[(triple15)] @1: The mouse is red.[(((triple2) -> rule4))] The rabbit chases the mouse.[(((triple1) -> rule1) OR ((triple13) -> rule1))] The tiger likes the rabbit.[(((triple15) -> rule5))]