The mouse is not green. The mouse likes the rabbit. The mouse likes the squirrel. The rabbit likes the mouse. The rabbit likes the squirrel. The rabbit does not like the tiger. The rabbit sees the mouse. The rabbit sees the tiger. The squirrel is cold. The squirrel sees the mouse. The tiger is cold. The tiger is nice. The tiger likes the rabbit. The tiger likes the squirrel. The tiger sees the mouse. The tiger sees the squirrel. If something likes the mouse then the mouse is not kind. If something sees the tiger and it is not cold then it does not see the mouse. If something is green and kind then it sees the mouse. If something is green and it likes the squirrel then it is not kind. If something likes the tiger then it does not see the rabbit. If something sees the mouse then it is green. If the tiger is not kind then the tiger is not blue. If the rabbit is green and the rabbit does not see the mouse then the mouse eats the squirrel.
The tiger is blue.
@0: The mouse is not green.[(triple1)] The mouse likes the rabbit.[(triple2)] The mouse likes the squirrel.[(triple3)] The rabbit does not like the tiger.[(triple6)] The rabbit likes the mouse.[(triple4)] The rabbit likes the squirrel.[(triple5)] The rabbit sees the mouse.[(triple7)] The rabbit sees the tiger.[(triple8)] The squirrel is cold.[(triple9)] The squirrel sees the mouse.[(triple10)] The tiger is cold.[(triple11)] The tiger is nice.[(triple12)] The tiger likes the rabbit.[(triple13)] The tiger likes the squirrel.[(triple14)] The tiger sees the mouse.[(triple15)] The tiger sees the squirrel.[(triple16)] @1: The mouse is not kind.[(((triple4) -> rule1))] The rabbit is green.[(((triple7) -> rule6))] The squirrel is green.[(((triple10) -> rule6))] The tiger is green.[(((triple15) -> rule6))] @2: The rabbit is not kind.[(((((triple7) -> rule6) triple5) -> rule4))] The tiger is not kind.[(((((triple15) -> rule6) triple14) -> rule4))] @3: The tiger is not blue.[(((((((triple15) -> rule6) triple14) -> rule4)) -> rule7))]