The mouse is not kind. The mouse likes the squirrel. The mouse needs the rabbit. The mouse does not need the squirrel. The mouse visits the rabbit. The mouse does not visit the squirrel. The rabbit is cold. The rabbit does not need the mouse. The rabbit visits the mouse. The squirrel is red. The squirrel is rough. The squirrel likes the mouse. The squirrel does not like the rabbit. The squirrel needs the rabbit. The squirrel visits the mouse. The squirrel does not visit the rabbit. If someone visits the mouse and the mouse is kind then the mouse does not visit the squirrel. If someone visits the mouse and the mouse is blue then they are red. If someone is blue and they like the rabbit then the rabbit does not like the mouse. If someone is cold then they are blue. If the rabbit is red and the rabbit likes the mouse then the rabbit needs the squirrel. All blue people are kind.
The squirrel visits the squirrel.
@0: The mouse does not need the squirrel.[(triple4)] The mouse does not visit the squirrel.[(triple6)] The mouse is not kind.[(triple1)] The mouse likes the squirrel.[(triple2)] The mouse needs the rabbit.[(triple3)] The mouse visits the rabbit.[(triple5)] The rabbit does not need the mouse.[(triple8)] The rabbit is cold.[(triple7)] The rabbit visits the mouse.[(triple9)] The squirrel does not like the rabbit.[(triple13)] The squirrel does not visit the rabbit.[(triple16)] The squirrel is red.[(triple10)] The squirrel is rough.[(triple11)] The squirrel likes the mouse.[(triple12)] The squirrel needs the rabbit.[(triple14)] The squirrel visits the mouse.[(triple15)] @1: The rabbit is blue.[(((triple7) -> rule4))] @2: The rabbit is kind.[(((((triple7) -> rule4)) -> rule6))]