The cow chases the mouse. The cow is young. The cow likes the mouse. The cow likes the rabbit. The cow likes the tiger. The cow needs the mouse. The mouse chases the cow. The mouse chases the rabbit. The mouse is blue. The mouse is kind. The mouse is young. The mouse likes the cow. The mouse needs the cow. The rabbit is blue. The tiger likes the rabbit. If the mouse is young and the mouse likes the rabbit then the rabbit chases the mouse. If something chases the tiger and the tiger is cold then the tiger is blue. If something likes the tiger then it needs the mouse. If the cow is cold then the cow chases the mouse. If the mouse is kind and the mouse likes the rabbit then the mouse likes the tiger. If something needs the cow then it likes the rabbit. If the tiger chases the cow and the cow likes the tiger then the tiger likes the cow. If something chases the tiger then the tiger likes the mouse.
The tiger likes the mouse.
@0: The cow chases the mouse.[(triple1)] The cow is young.[(triple2)] The cow likes the mouse.[(triple3)] The cow likes the rabbit.[(triple4)] The cow likes the tiger.[(triple5)] The cow needs the mouse.[(triple6 OR ((triple5) -> rule3))] The mouse chases the cow.[(triple7)] The mouse chases the rabbit.[(triple8)] The mouse is blue.[(triple9)] The mouse is kind.[(triple10)] The mouse is young.[(triple11)] The mouse likes the cow.[(triple12)] The mouse needs the cow.[(triple13)] The rabbit is blue.[(triple14)] The tiger likes the rabbit.[(triple15)] @1: The mouse likes the rabbit.[(((triple13) -> rule6))] @2: The mouse likes the tiger.[(((triple10 ((triple13) -> rule6)) -> rule5))] The rabbit chases the mouse.[(((triple11 ((triple13) -> rule6)) -> rule1))] @3: The mouse needs the mouse.[(((((triple10 ((triple13) -> rule6)) -> rule5)) -> rule3))]