The cow chases the tiger. The cow is blue. The cow is kind. The cow needs the mouse. The mouse chases the tiger. The mouse is kind. The mouse is red. The mouse needs the cow. The mouse sees the cow. The mouse sees the tiger. The tiger chases the mouse. The tiger is kind. The tiger is red. The tiger is young. The tiger sees the mouse. If someone needs the tiger then the tiger is blue. If someone needs the tiger and they chase the cow then the cow needs the tiger. If someone needs the mouse then they need the tiger.
The mouse is red.
@0: The cow chases the tiger.[(triple1)] The cow is blue.[(triple2)] The cow is kind.[(triple3)] The cow needs the mouse.[(triple4)] The mouse chases the tiger.[(triple5)] The mouse is kind.[(triple6)] The mouse is red.[(triple7)] The mouse needs the cow.[(triple8)] The mouse sees the cow.[(triple9)] The mouse sees the tiger.[(triple10)] The tiger chases the mouse.[(triple11)] The tiger is kind.[(triple12)] The tiger is red.[(triple13)] The tiger is young.[(triple14)] The tiger sees the mouse.[(triple15)] @1: The cow needs the tiger.[(((triple4) -> rule3))] @2: The tiger is blue.[(((((triple4) -> rule3)) -> rule1))]