The cow is nice. The cow is rough. The mouse eats the rabbit. The mouse is nice. The mouse is red. The mouse is rough. The mouse needs the cow. The mouse sees the rabbit. The rabbit is red. The rabbit needs the squirrel. The rabbit sees the cow. The rabbit sees the mouse. The squirrel is cold. The squirrel is young. The squirrel needs the rabbit. The squirrel sees the cow. If someone eats the rabbit and the rabbit sees the mouse then the rabbit is nice. If the cow needs the squirrel and the squirrel needs the cow then the squirrel needs the mouse. If someone sees the squirrel then the squirrel is rough. All red people are young. If someone eats the mouse then they are rough. If someone sees the mouse and the mouse is cold then they are young.
The squirrel sees the squirrel.
@0: The cow is nice.[(triple1)] The cow is rough.[(triple2)] The mouse eats the rabbit.[(triple3)] The mouse is nice.[(triple4)] The mouse is red.[(triple5)] The mouse is rough.[(triple6)] The mouse needs the cow.[(triple7)] The mouse sees the rabbit.[(triple8)] The rabbit is red.[(triple9)] The rabbit needs the squirrel.[(triple10)] The rabbit sees the cow.[(triple11)] The rabbit sees the mouse.[(triple12)] The squirrel is cold.[(triple13)] The squirrel is young.[(triple14)] The squirrel needs the rabbit.[(triple15)] The squirrel sees the cow.[(triple16)] @1: The mouse is young.[(((triple5) -> rule4))] The rabbit is nice.[(((triple3 triple12) -> rule1))] The rabbit is young.[(((triple9) -> rule4))]