The cow is blue. The cow is nice. The cow is young. The cow does not like the mouse. The cow needs the squirrel. The cow sees the mouse. The cow sees the squirrel. The mouse is blue. The mouse is cold. The mouse is young. The mouse sees the cow. The mouse sees the squirrel. The squirrel is kind. The squirrel is nice. The squirrel does not see the cow. The squirrel sees the mouse. If someone likes the cow and they like the mouse then the mouse is not cold. If someone is cold and they do not like the cow then they see the mouse. If someone sees the squirrel then the squirrel is not young. If the cow needs the squirrel and the squirrel needs the mouse then the cow likes the mouse. Nice people are kind. If someone needs the mouse then the mouse needs the cow. If someone needs the squirrel and they see the cow then the cow needs the mouse. If someone is blue then they need the squirrel.
The mouse needs the cow.
@0: The cow does not like the mouse.[(triple4)] The cow is blue.[(triple1)] The cow is nice.[(triple2)] The cow is young.[(triple3)] The cow needs the squirrel.[(triple5 OR ((triple1) -> rule8))] The cow sees the mouse.[(triple6)] The cow sees the squirrel.[(triple7)] The mouse is blue.[(triple8)] The mouse is cold.[(triple9)] The mouse is young.[(triple10)] The mouse sees the cow.[(triple11)] The mouse sees the squirrel.[(triple12)] The squirrel does not see the cow.[(triple15)] The squirrel is kind.[(triple13 OR ((triple14) -> rule5))] The squirrel is nice.[(triple14)] The squirrel sees the mouse.[(triple16)] @1: The cow is kind.[(((triple2) -> rule5))] The mouse needs the squirrel.[(((triple8) -> rule8))] The squirrel is not young.[(((triple12) -> rule3) OR ((triple7) -> rule3))] @2: The cow needs the mouse.[(((((triple8) -> rule8) triple11) -> rule7))] @3: The mouse needs the cow.[(((((((triple8) -> rule8) triple11) -> rule7)) -> rule6))]