The cat is nice. The cat is young. The cat needs the cow. The cat sees the mouse. The cow is red. The cow likes the mouse. The cow needs the cat. The cow needs the mouse. The cow sees the squirrel. The mouse likes the cat. The mouse likes the cow. The squirrel is kind. The squirrel is round. The squirrel needs the cat. The squirrel sees the cat. The squirrel sees the mouse. If someone likes the cow and they are red then they like the cat. Young, red people are round. If someone is nice and round then they need the squirrel. If someone needs the cow then they like the mouse. If the squirrel likes the cow then the cow needs the cat. If someone likes the mouse and they see the cow then the cow sees the cat.
The squirrel needs the cow.
@0: The cat is nice.[(triple1)] The cat is young.[(triple2)] The cat needs the cow.[(triple3)] The cat sees the mouse.[(triple4)] The cow is red.[(triple5)] The cow likes the mouse.[(triple6)] The cow needs the cat.[(triple7)] The cow needs the mouse.[(triple8)] The cow sees the squirrel.[(triple9)] The mouse likes the cat.[(triple10)] The mouse likes the cow.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is round.[(triple13)] The squirrel needs the cat.[(triple14)] The squirrel sees the cat.[(triple15)] The squirrel sees the mouse.[(triple16)] @1: The cat likes the mouse.[(((triple3) -> rule4))]