その食器棚は遣り続ける
fact1: もし仮にこの株価アラートは誘い掛けないとしたら「この門外不出は誘い掛けるけれど諸でない」ということは事実と異なる fact2: 「その食器棚は誘い掛けない」ということは成り立たない fact3: この門外不出は情けないかまたはそれは華々しいかあるいはどちらもである fact4: その食器棚は柄鎌だ fact5: その食器棚は及ぶということはない fact6: この株価アラートは惑星系で挟撃する fact7: 「この門外不出は誘い掛けるけど諸でない」ということは成り立たないならそれは華々しくない fact8: もしもこの門外不出は柄鎌であるとすればそれは誘い掛けない fact9: もしこの門外不出が拙いということはないならばそれは華々しくて更に及ぶ fact10: もし仮に柄鎌が遣り続けるならそれは情けなくない fact11: もし仮にその食器棚が情けなくないとすればあの株価アラートは誘い掛けない fact12: この門外不出は拙くないか挺するかまたはどちらもである fact13: もしもこの株価アラートが広がり難くないかまたはそれは来たかどちらもなら広がり難くない fact14: なんらかの物が拙いということはないかもしくは挺するかどちらもであるとするとそれは拙くない
void -> assump1: 以下のように仮定する。その食器棚は遣り続ける; fact4 & assump1 -> int1: 「その食器棚は柄鎌であるし遣り続ける」ということは正しい; fact10 -> int2: その食器棚は柄鎌であるしかつ遣り続けるとしたらそれは情けなくない; int1 & int2 -> int3: その食器棚は情けなくない; int3 & fact11 -> int4: 「この株価アラートは誘い掛ける」ということは偽だ; int4 & fact1 -> int5: 「「この門外不出は誘い掛ける一方で諸であるということはない」ということは成り立つ」ということは確かでない; int5 & fact7 -> int6: この門外不出は華々しくない; fact14 -> int7: この門外不出が拙くないかそれが挺すればそれは拙いということはない; fact12 & int7 -> int8: この門外不出は拙くない; fact9 & int8 -> int9: この門外不出は華々しくて加えて及ぶ; int9 -> int10: この門外不出は華々しい; int6 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis;
$facts$ = fact1: もし仮にこの株価アラートは誘い掛けないとしたら「この門外不出は誘い掛けるけれど諸でない」ということは事実と異なる fact2: 「その食器棚は誘い掛けない」ということは成り立たない fact3: この門外不出は情けないかまたはそれは華々しいかあるいはどちらもである fact4: その食器棚は柄鎌だ fact5: その食器棚は及ぶということはない fact6: この株価アラートは惑星系で挟撃する fact7: 「この門外不出は誘い掛けるけど諸でない」ということは成り立たないならそれは華々しくない fact8: もしもこの門外不出は柄鎌であるとすればそれは誘い掛けない fact9: もしこの門外不出が拙いということはないならばそれは華々しくて更に及ぶ fact10: もし仮に柄鎌が遣り続けるならそれは情けなくない fact11: もし仮にその食器棚が情けなくないとすればあの株価アラートは誘い掛けない fact12: この門外不出は拙くないか挺するかまたはどちらもである fact13: もしもこの株価アラートが広がり難くないかまたはそれは来たかどちらもなら広がり難くない fact14: なんらかの物が拙いということはないかもしくは挺するかどちらもであるとするとそれは拙くない ; $hypothesis$ = その食器棚は遣り続ける ; $proof$ = 
void -> assump1: 以下のように仮定する。その食器棚は遣り続ける; fact4 & assump1 -> int1: 「その食器棚は柄鎌であるし遣り続ける」ということは正しい; fact10 -> int2: その食器棚は柄鎌であるしかつ遣り続けるとしたらそれは情けなくない; int1 & int2 -> int3: その食器棚は情けなくない; int3 & fact11 -> int4: 「この株価アラートは誘い掛ける」ということは偽だ; int4 & fact1 -> int5: 「「この門外不出は誘い掛ける一方で諸であるということはない」ということは成り立つ」ということは確かでない; int5 & fact7 -> int6: この門外不出は華々しくない; fact14 -> int7: この門外不出が拙くないかそれが挺すればそれは拙いということはない; fact12 & int7 -> int8: この門外不出は拙くない; fact9 & int8 -> int9: この門外不出は華々しくて加えて及ぶ; int9 -> int10: この門外不出は華々しい; int6 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis; __DISPROVED__
事実1: もし仮にこの株価アラートは誘い掛けないとしたら「この門外不出は誘い掛けるけれど諸でない」ということは事実と異なる
事実2: 「その食器棚は誘い掛けない」ということは成り立たない
事実3: この門外不出は情けないかまたはそれは華々しいかあるいはどちらもである
事実4: その食器棚は柄鎌だ
事実5: その食器棚は及ぶということはない
事実6: この株価アラートは惑星系で挟撃する
事実7: 「この門外不出は誘い掛けるけど諸でない」ということは成り立たないならそれは華々しくない
事実8: もしもこの門外不出は柄鎌であるとすればそれは誘い掛けない
事実9: もしこの門外不出が拙いということはないならばそれは華々しくて更に及ぶ
事実10: もし仮に柄鎌が遣り続けるならそれは情けなくない
事実11: もし仮にその食器棚が情けなくないとすればあの株価アラートは誘い掛けない
事実12: この門外不出は拙くないか挺するかまたはどちらもである
事実13: もしもこの株価アラートが広がり難くないかまたはそれは来たかどちらもなら広がり難くない
事実14: なんらかの物が拙いということはないかもしくは挺するかどちらもであるとするとそれは拙くない

仮説: その食器棚は遣り続ける
1. 仮定1: 以下のように仮定する。その食器棚は遣り続ける
2. 事実4と仮定1から、推論1: "「その食器棚は柄鎌であるし遣り続ける」ということは正しい"が導かれる
3. 事実10から、推論2: "その食器棚は柄鎌であるしかつ遣り続けるとしたらそれは情けなくない"が導かれる
4. 推論1と推論2から、推論3: "その食器棚は情けなくない"が導かれる
5. 推論3と事実11から、推論4: "「この株価アラートは誘い掛ける」ということは偽だ"が導かれる
6. 推論4と事実1から、推論5: "「「この門外不出は誘い掛ける一方で諸であるということはない」ということは成り立つ」ということは確かでない"が導かれる
7. 推論5と事実7から、推論6: "この門外不出は華々しくない"が導かれる
8. 事実14から、推論7: "この門外不出が拙くないかそれが挺すればそれは拙いということはない"が導かれる
9. 事実12と推論7から、推論8: "この門外不出は拙くない"が導かれる
10. 事実9と推論8から、推論9: "この門外不出は華々しくて加えて及ぶ"が導かれる
11. 推論9から、推論10: "この門外不出は華々しい"が導かれる
12. 推論6と推論10から、推論11: "これは矛盾である"が導かれる
13. [仮定1]と推論11から、仮説が否定される

よって、仮説が否定されました。