The cat likes the mouse. The cat sees the cow. The cow is nice. The cow likes the cat. The cow sees the mouse. The mouse likes the cow. The mouse needs the cow. The mouse sees the cow. The tiger is big. The tiger is cold. The tiger needs the cat. The tiger sees the cat. If someone sees the cat then the cat needs the cow. If someone sees the cow and the cow needs the cat then the cow likes the tiger. If someone likes the cat and the cat needs the mouse then the cat likes the cow. If someone needs the tiger and the tiger likes the mouse then the tiger is big. If the cow sees the cat and the cow sees the tiger then the cat sees the tiger. If someone sees the tiger and they like the cat then the cat is nice. If someone is young then they see the cow. If someone is nice and they like the cat then they see the tiger.
The cow needs the mouse.
@0: The cat likes the mouse.[(triple1)] The cat sees the cow.[(triple2)] The cow is nice.[(triple3)] The cow likes the cat.[(triple4)] The cow sees the mouse.[(triple5)] The mouse likes the cow.[(triple6)] The mouse needs the cow.[(triple7)] The mouse sees the cow.[(triple8)] The tiger is big.[(triple9)] The tiger is cold.[(triple10)] The tiger needs the cat.[(triple11)] The tiger sees the cat.[(triple12)] @1: The cat needs the cow.[(((triple12) -> rule1))] The cow sees the tiger.[(((triple3 triple4) -> rule8))] @2: The cat is nice.[(((((triple3 triple4) -> rule8) triple4) -> rule6))]