「この粘着テープは麗人でない」ということは本当である
fact1: 仮にそのアドレス欄が小気味良いとするとこの粘着テープは麗人でない fact2: 仮に「その密閉性は社隊企業でないけどそれは避け難い」ということは本当だということはないならあの制限税率は尽くし難くない fact3: 「そのアドレス欄は小気味良くて更に社隊企業だ」ということは間違いだ fact4: 仮に「「そのアドレス欄は小気味良くない一方で社隊企業だ」ということは事実と異なる」ということは成り立つとするとこの粘着テープは麗人でない fact5: もしもあの制限税率が訝しくないならこの粘着テープは手堅いし尽くし難い fact6: もし仮に「あの制限税率は避け難くて加えて手堅い」ということは成り立たないとすれば「麗人でない」ということは本当だ fact7: 「あの制限税率は避け難い」ということは成り立つ fact8: 訝しくないものは尽くし難くない fact9: 仮にあの制限税率は手堅いということはないとすれば「その密閉性は訝しくてかつそれは手堅い」ということは間違いである fact10: 仮にあの制限税率は社隊企業でないとすると「そのアドレス欄は小気味良くないがしかし社隊企業だ」ということは誤りだ fact11: その砂漠は麗人でない fact12: もしもあるものは社隊企業でないとすると避け難くて麗人である fact13: その密閉性は尽くし難い fact14: 「あるものは訝しいし手堅い」ということは間違っているとすればそれは尽くし難くない fact15: 仮にあの制限税率が避け難い社隊企業なら手堅くない fact16: もし仮にあの制限税率が尽くし難くて加えてそれが社隊企業だとすると避け難くない
void -> assump1: 以下のように仮定する。あの制限税率は社隊企業である; fact7 & assump1 -> int1: あの制限税率は避け難いししかも社隊企業だ; int1 & fact15 -> int2: 「あの制限税率は手堅くない」ということは確かである; int2 & fact9 -> int3: 「その密閉性は訝しくて更に手堅い」ということは間違っている; fact14 -> int4: 「もし仮に「その密閉性は訝しくてまたそれは手堅い」ということは嘘だとしたらその密閉性は尽くし難くない」ということは事実だ; int3 & int4 -> int5: その密閉性は尽くし難くない; int5 & fact13 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの制限税率は社隊企業でない; int7 & fact10 -> int8: 「そのアドレス欄は小気味良くない一方で社隊企業である」ということは事実と異なる; int8 & fact4 -> hypothesis;
この粘着テープは麗人だ
fact17 -> int9: 「もしこの粘着テープが社隊企業でないとしたらこの粘着テープは避け難いしさらに麗人だ」ということは成り立つ;
$facts$ = fact1: 仮にそのアドレス欄が小気味良いとするとこの粘着テープは麗人でない fact2: 仮に「その密閉性は社隊企業でないけどそれは避け難い」ということは本当だということはないならあの制限税率は尽くし難くない fact3: 「そのアドレス欄は小気味良くて更に社隊企業だ」ということは間違いだ fact4: 仮に「「そのアドレス欄は小気味良くない一方で社隊企業だ」ということは事実と異なる」ということは成り立つとするとこの粘着テープは麗人でない fact5: もしもあの制限税率が訝しくないならこの粘着テープは手堅いし尽くし難い fact6: もし仮に「あの制限税率は避け難くて加えて手堅い」ということは成り立たないとすれば「麗人でない」ということは本当だ fact7: 「あの制限税率は避け難い」ということは成り立つ fact8: 訝しくないものは尽くし難くない fact9: 仮にあの制限税率は手堅いということはないとすれば「その密閉性は訝しくてかつそれは手堅い」ということは間違いである fact10: 仮にあの制限税率は社隊企業でないとすると「そのアドレス欄は小気味良くないがしかし社隊企業だ」ということは誤りだ fact11: その砂漠は麗人でない fact12: もしもあるものは社隊企業でないとすると避け難くて麗人である fact13: その密閉性は尽くし難い fact14: 「あるものは訝しいし手堅い」ということは間違っているとすればそれは尽くし難くない fact15: 仮にあの制限税率が避け難い社隊企業なら手堅くない fact16: もし仮にあの制限税率が尽くし難くて加えてそれが社隊企業だとすると避け難くない ; $hypothesis$ = 「この粘着テープは麗人でない」ということは本当である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの制限税率は社隊企業である; fact7 & assump1 -> int1: あの制限税率は避け難いししかも社隊企業だ; int1 & fact15 -> int2: 「あの制限税率は手堅くない」ということは確かである; int2 & fact9 -> int3: 「その密閉性は訝しくて更に手堅い」ということは間違っている; fact14 -> int4: 「もし仮に「その密閉性は訝しくてまたそれは手堅い」ということは嘘だとしたらその密閉性は尽くし難くない」ということは事実だ; int3 & int4 -> int5: その密閉性は尽くし難くない; int5 & fact13 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの制限税率は社隊企業でない; int7 & fact10 -> int8: 「そのアドレス欄は小気味良くない一方で社隊企業である」ということは事実と異なる; int8 & fact4 -> hypothesis; __PROVED__
事実1: 仮にそのアドレス欄が小気味良いとするとこの粘着テープは麗人でない
事実2: 仮に「その密閉性は社隊企業でないけどそれは避け難い」ということは本当だということはないならあの制限税率は尽くし難くない
事実3: 「そのアドレス欄は小気味良くて更に社隊企業だ」ということは間違いだ
事実4: 仮に「「そのアドレス欄は小気味良くない一方で社隊企業だ」ということは事実と異なる」ということは成り立つとするとこの粘着テープは麗人でない
事実5: もしもあの制限税率が訝しくないならこの粘着テープは手堅いし尽くし難い
事実6: もし仮に「あの制限税率は避け難くて加えて手堅い」ということは成り立たないとすれば「麗人でない」ということは本当だ
事実7: 「あの制限税率は避け難い」ということは成り立つ
事実8: 訝しくないものは尽くし難くない
事実9: 仮にあの制限税率は手堅いということはないとすれば「その密閉性は訝しくてかつそれは手堅い」ということは間違いである
事実10: 仮にあの制限税率は社隊企業でないとすると「そのアドレス欄は小気味良くないがしかし社隊企業だ」ということは誤りだ
事実11: その砂漠は麗人でない
事実12: もしもあるものは社隊企業でないとすると避け難くて麗人である
事実13: その密閉性は尽くし難い
事実14: 「あるものは訝しいし手堅い」ということは間違っているとすればそれは尽くし難くない
事実15: 仮にあの制限税率が避け難い社隊企業なら手堅くない
事実16: もし仮にあの制限税率が尽くし難くて加えてそれが社隊企業だとすると避け難くない

仮説: 「この粘着テープは麗人でない」ということは本当である
1. 仮定1: 以下のように仮定する。あの制限税率は社隊企業である
2. 事実7と仮定1から、推論1: "あの制限税率は避け難いししかも社隊企業だ"が導かれる
3. 推論1と事実15から、推論2: "「あの制限税率は手堅くない」ということは確かである"が導かれる
4. 推論2と事実9から、推論3: "「その密閉性は訝しくて更に手堅い」ということは間違っている"が導かれる
5. 事実14から、推論4: "「もし仮に「その密閉性は訝しくてまたそれは手堅い」ということは嘘だとしたらその密閉性は尽くし難くない」ということは事実だ"が導かれる
6. 推論3と推論4から、推論5: "その密閉性は尽くし難くない"が導かれる
7. 推論5と事実13から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの制限税率は社隊企業でない"が導かれる
9. 推論7と事実10から、推論8: "「そのアドレス欄は小気味良くない一方で社隊企業である」ということは事実と異なる"が導かれる
10. 推論8と事実4から、仮説が導かれる

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