The cow chases the mouse. The cow does not eat the mouse. The cow is nice. The cow is rough. The cow sees the tiger. The mouse chases the cow. The mouse chases the tiger. The mouse eats the cow. The mouse does not eat the tiger. The mouse is cold. The mouse is kind. The mouse is rough. The mouse sees the cow. The tiger is big. The tiger is kind. If the tiger chases the mouse and the tiger sees the cow then the mouse does not eat the cow. If someone sees the cow and they are nice then they are not rough. All kind people are cold.
The mouse is cold.
@0: The cow chases the mouse.[(triple1)] The cow does not eat the mouse.[(triple2)] The cow is nice.[(triple3)] The cow is rough.[(triple4)] The cow sees the tiger.[(triple5)] The mouse chases the cow.[(triple6)] The mouse chases the tiger.[(triple7)] The mouse does not eat the tiger.[(triple9)] The mouse eats the cow.[(triple8)] The mouse is cold.[(triple10 OR ((triple11) -> rule3))] The mouse is kind.[(triple11)] The mouse is rough.[(triple12)] The mouse sees the cow.[(triple13)] The tiger is big.[(triple14)] The tiger is kind.[(triple15)] @1: The tiger is cold.[(((triple15) -> rule3))]