The cow chases the mouse. The cow chases the tiger. The cow is cold. The cow sees the mouse. The cow sees the tiger. The cow visits the mouse. The cow visits the tiger. The mouse chases the cow. The mouse is cold. The mouse is young. The mouse sees the cow. The mouse sees the tiger. The mouse visits the cow. The tiger sees the cow. The tiger sees the mouse. If someone is kind and cold then they see the tiger. If someone is young and kind then they see the tiger. If someone visits the mouse then the mouse is kind. If someone is young then they see the tiger. If someone sees the cow then the cow sees the mouse. If someone chases the cow then the cow sees the tiger. If someone sees the mouse and they see the cow then they are kind. If someone is nice then they chase the tiger.
The tiger sees the mouse.
@0: The cow chases the mouse.[(triple1)] The cow chases the tiger.[(triple2)] The cow is cold.[(triple3)] The cow sees the mouse.[(triple4 OR ((triple11) -> rule5) OR ((triple14) -> rule5))] The cow sees the tiger.[(triple5 OR ((triple8) -> rule6))] The cow visits the mouse.[(triple6)] The cow visits the tiger.[(triple7)] The mouse chases the cow.[(triple8)] The mouse is cold.[(triple9)] The mouse is young.[(triple10)] The mouse sees the cow.[(triple11)] The mouse sees the tiger.[(triple12 OR ((triple10) -> rule4) OR ((triple10 ((triple6) -> rule3)) -> rule2) OR ((((triple6) -> rule3) triple9) -> rule1))] The mouse visits the cow.[(triple13)] The tiger sees the cow.[(triple14)] The tiger sees the mouse.[(triple15)] @1: The mouse is kind.[(((triple6) -> rule3))] The tiger is kind.[(((triple15 triple14) -> rule7))]