The bear does not see the rabbit. The mouse likes the rabbit. The rabbit is green. The rabbit is not round. The rabbit does not like the mouse. The rabbit likes the tiger. The rabbit needs the mouse. The tiger is nice. The tiger likes the bear. The tiger likes the mouse. The tiger does not see the bear. The tiger sees the mouse. If something is round and it does not see the mouse then the mouse needs the bear. If something likes the rabbit and it is nice then the rabbit is not blue. If something likes the tiger then it sees the bear. If something needs the tiger then it sees the bear. If something likes the rabbit and it is green then the rabbit does not see the tiger. Green, blue things are young. If something sees the rabbit and it needs the rabbit then it does not like the bear. If something sees the bear then it likes the rabbit.
The tiger sees the tiger.
@0: The bear does not see the rabbit.[(triple1)] The mouse likes the rabbit.[(triple2)] The rabbit does not like the mouse.[(triple5)] The rabbit is green.[(triple3)] The rabbit is not round.[(triple4)] The rabbit likes the tiger.[(triple6)] The rabbit needs the mouse.[(triple7)] The tiger does not see the bear.[(triple11)] The tiger is nice.[(triple8)] The tiger likes the bear.[(triple9)] The tiger likes the mouse.[(triple10)] The tiger sees the mouse.[(triple12)] @1: The rabbit sees the bear.[(((triple6) -> rule3))] @2: The rabbit likes the rabbit.[(((((triple6) -> rule3)) -> rule8))] @3: The rabbit does not see the tiger.[(((((((triple6) -> rule3)) -> rule8) triple3) -> rule5))]