The mouse is blue. The mouse is not cold. The mouse is not green. The mouse is not young. The mouse likes the rabbit. The mouse needs the rabbit. The mouse sees the rabbit. The rabbit is not young. The rabbit likes the mouse. The rabbit does not see the mouse. If something is cold and nice then it likes the rabbit. If something needs the rabbit then it likes the rabbit. If the mouse needs the rabbit and the mouse is not young then the mouse likes the rabbit. If the mouse is cold then the mouse likes the rabbit. If something likes the rabbit and it likes the mouse then the mouse needs the rabbit. If something sees the mouse and it does not need the mouse then the mouse sees the rabbit. If something likes the mouse then it needs the rabbit. If something is young and it does not need the rabbit then the rabbit is blue.
The rabbit is not blue.
@0: The mouse is blue.[(triple1)] The mouse is not cold.[(triple2)] The mouse is not green.[(triple3)] The mouse is not young.[(triple4)] The mouse likes the rabbit.[(triple5 OR ((triple6) -> rule2) OR ((triple6 triple4) -> rule3) OR ((((((((triple9) -> rule7)) -> rule2) triple9) -> rule5)) -> rule2) OR ((((((((triple9) -> rule7)) -> rule2) triple9) -> rule5) triple4) -> rule3))] The mouse needs the rabbit.[(triple6 OR ((((((triple9) -> rule7)) -> rule2) triple9) -> rule5))] The mouse sees the rabbit.[(triple7)] The rabbit does not see the mouse.[(triple10)] The rabbit is not young.[(triple8)] The rabbit likes the mouse.[(triple9)] @1: The rabbit needs the rabbit.[(((triple9) -> rule7))] @2: The rabbit likes the rabbit.[(((((triple9) -> rule7)) -> rule2))]