もしこの中国人労働者は慎み深いということはないとすると「あの火祭りは彼女らしくないものであって仕入れない」ということは本当だということはない
fact1: 仮にとある物は行政法規でないしさらに持ち易くないとしたら仕入れない fact2: もし仮に「「彼女らしいし困り切らない」ということは成り立つということはない」ものはあるなら「この中国人労働者は彼女らしくない」ということは真実だ fact3: あの火祭りは三〜四分加熱するとすれば「それは彼女らしいがしかし困り切るということはない」ということは誤りだ fact4: 仮にこの中国人労働者は仕入れないとすると「あの火祭りが彼女らしくないしさらに仕入れない」ということは成り立たない fact5: もし仮にこの中国人労働者が慎み深いならこの御湯殿は求人欄でなくてしかも美食でない fact6: あの火祭りは三〜四分加熱する fact7: 仮にこの中国人労働者が慎み深くないとすればそれは行政法規であるということはないしその上持ち易いということはない
void -> assump1: 以下のように仮定する。この中国人労働者は慎み深くない; fact7 & assump1 -> int1: この中国人労働者は行政法規であるということはないし持ち易くない; fact1 -> int2: もし仮にこの中国人労働者が行政法規でなくて持ち易くないとしたらそれは仕入れるということはない; int1 & int2 -> int3: この中国人労働者は仕入れない; int3 & fact4 -> int4: 「あの火祭りは彼女らしくないし加えて仕入れない」ということは偽だ; [assump1] & int4 -> hypothesis;
この御湯殿は求人欄でなくてしかも美食でない
fact8 & fact11 -> int5: 「あの火祭りは彼女らしいけれどそれは困り切らない」ということは成り立たない; int5 -> int6: 「「彼女らしいが困り切るということはない」ということは事実と異なる」物はある; int6 & fact10 -> int7: この中国人労働者は彼女らしくない;
$facts$ = fact1: 仮にとある物は行政法規でないしさらに持ち易くないとしたら仕入れない fact2: もし仮に「「彼女らしいし困り切らない」ということは成り立つということはない」ものはあるなら「この中国人労働者は彼女らしくない」ということは真実だ fact3: あの火祭りは三〜四分加熱するとすれば「それは彼女らしいがしかし困り切るということはない」ということは誤りだ fact4: 仮にこの中国人労働者は仕入れないとすると「あの火祭りが彼女らしくないしさらに仕入れない」ということは成り立たない fact5: もし仮にこの中国人労働者が慎み深いならこの御湯殿は求人欄でなくてしかも美食でない fact6: あの火祭りは三〜四分加熱する fact7: 仮にこの中国人労働者が慎み深くないとすればそれは行政法規であるということはないしその上持ち易いということはない ; $hypothesis$ = もしこの中国人労働者は慎み深いということはないとすると「あの火祭りは彼女らしくないものであって仕入れない」ということは本当だということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この中国人労働者は慎み深くない; fact7 & assump1 -> int1: この中国人労働者は行政法規であるということはないし持ち易くない; fact1 -> int2: もし仮にこの中国人労働者が行政法規でなくて持ち易くないとしたらそれは仕入れるということはない; int1 & int2 -> int3: この中国人労働者は仕入れない; int3 & fact4 -> int4: 「あの火祭りは彼女らしくないし加えて仕入れない」ということは偽だ; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 仮にとある物は行政法規でないしさらに持ち易くないとしたら仕入れない
事実2: もし仮に「「彼女らしいし困り切らない」ということは成り立つということはない」ものはあるなら「この中国人労働者は彼女らしくない」ということは真実だ
事実3: あの火祭りは三〜四分加熱するとすれば「それは彼女らしいがしかし困り切るということはない」ということは誤りだ
事実4: 仮にこの中国人労働者は仕入れないとすると「あの火祭りが彼女らしくないしさらに仕入れない」ということは成り立たない
事実5: もし仮にこの中国人労働者が慎み深いならこの御湯殿は求人欄でなくてしかも美食でない
事実6: あの火祭りは三〜四分加熱する
事実7: 仮にこの中国人労働者が慎み深くないとすればそれは行政法規であるということはないしその上持ち易いということはない

仮説: もしこの中国人労働者は慎み深いということはないとすると「あの火祭りは彼女らしくないものであって仕入れない」ということは本当だということはない
1. 仮定1: 以下のように仮定する。この中国人労働者は慎み深くない
2. 事実7と仮定1から、推論1: "この中国人労働者は行政法規であるということはないし持ち易くない"が導かれる
3. 事実1から、推論2: "もし仮にこの中国人労働者が行政法規でなくて持ち易くないとしたらそれは仕入れるということはない"が導かれる
4. 推論1と推論2から、推論3: "この中国人労働者は仕入れない"が導かれる
5. 推論3と事実4から、推論4: "「あの火祭りは彼女らしくないし加えて仕入れない」ということは偽だ"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

よって、仮説が証明されました。