The cat is young. The cat likes the cow. The cat likes the mouse. The cat needs the cow. The cow chases the mouse. The cow is big. The cow is kind. The cow likes the cat. The cow likes the mouse. The cow needs the cat. The cow needs the mouse. The mouse is green. The mouse is kind. The mouse is young. The mouse likes the cow. If someone is green and rough then they like the cat. If someone likes the cow and they need the mouse then the mouse chases the cat. If someone needs the cow and they are green then they are young. If someone chases the cat then they like the cow. If someone is rough then they need the mouse. If someone likes the cow then the cow chases the cat.
The cat needs the mouse.
@0: The cat is young.[(triple1)] The cat likes the cow.[(triple2)] The cat likes the mouse.[(triple3)] The cat needs the cow.[(triple4)] The cow chases the mouse.[(triple5)] The cow is big.[(triple6)] The cow is kind.[(triple7)] The cow likes the cat.[(triple8)] The cow likes the mouse.[(triple9)] The cow needs the cat.[(triple10)] The cow needs the mouse.[(triple11)] The mouse is green.[(triple12)] The mouse is kind.[(triple13)] The mouse is young.[(triple14)] The mouse likes the cow.[(triple15 OR ((((((((triple2) -> rule6)) -> rule4) triple11) -> rule2)) -> rule4))] @1: The cow chases the cat.[(((triple15) -> rule6) OR ((triple2) -> rule6))] @2: The cow likes the cow.[(((((triple15) -> rule6)) -> rule4) OR ((((triple2) -> rule6)) -> rule4))] @3: The mouse chases the cat.[(((((((triple15) -> rule6)) -> rule4) triple11) -> rule2) OR ((((((triple2) -> rule6)) -> rule4) triple11) -> rule2))]