「「忍耐強いとすれば部分集合でない」物はある」ということは事実と異なる
fact1: あの変化身は御安いし担う fact2: 全ては追加出来る fact3: そのジュは売っ払わない fact4: 仮になにがしかの物は重引きでないとすれば「それは忍耐強いということはないしそれはほろ苦い」ということは誤っている fact5: そのジュは下げるし部分集合だ fact6: そのジュが忍耐強いとしたらそれは部分集合である fact7: そのジュは重引きであるし加えてほろ苦い fact8: あの半角スペースはほろ苦い fact9: もしもなんらかの物が部分集合で追加出来るならあの微熱は重引きでない fact10: そのジュは部分集合だ fact11: そのジュは策定しない fact12: あの微熱は忍耐強いし一巡する fact13: もしもそのジュは重引きであるし更に忍耐強いならばそれは部分集合である fact14: もしそのジュが重引きで忍耐強いとすれば部分集合でない fact15: 全ての物は部分集合だ fact16: そのジュはほろ苦い fact17: あの物全てはほろ苦い fact18: 「そのジュは喪である」ということは真実である fact19: そのジュは減量出来る fact20: 「忍耐強いならば「部分集合である」ということは成り立つ」ものはある
fact7 -> int1: そのジュは重引きである; void -> assump1: 以下のように仮定する。そのジュは忍耐強い; int1 & assump1 -> int2: そのジュは重引きだしそれに忍耐強い; int2 & fact14 -> int3: そのジュは部分集合であるということはない; [assump1] & int3 -> int4: 「そのジュは忍耐強い」ということは成り立つとすればそれは部分集合でない; int4 -> hypothesis;
あの微熱は忍耐強い
fact24 -> int5: その発火装置は追加出来る; fact21 -> int6: その発火装置は部分集合である; int5 & int6 -> int7: その発火装置は部分集合であるしまた追加出来る; int7 -> int8: すべての物は部分集合であるし加えて追加出来る; int8 -> int9: そのジュは部分集合で追加出来る; int9 -> int10: 「部分集合だし更に追加出来る」ものはある; int10 & fact23 -> int11: あの微熱は重引きだということはない; fact22 -> int12: もしあの微熱は重引きでないとすると「「それは忍耐強くなくて更にほろ苦い」ということは正しい」ということは間違いである; int11 & int12 -> int13: 「あの微熱は忍耐強くないがしかしほろ苦い」ということは成り立つということはない;
$facts$ = fact1: あの変化身は御安いし担う fact2: 全ては追加出来る fact3: そのジュは売っ払わない fact4: 仮になにがしかの物は重引きでないとすれば「それは忍耐強いということはないしそれはほろ苦い」ということは誤っている fact5: そのジュは下げるし部分集合だ fact6: そのジュが忍耐強いとしたらそれは部分集合である fact7: そのジュは重引きであるし加えてほろ苦い fact8: あの半角スペースはほろ苦い fact9: もしもなんらかの物が部分集合で追加出来るならあの微熱は重引きでない fact10: そのジュは部分集合だ fact11: そのジュは策定しない fact12: あの微熱は忍耐強いし一巡する fact13: もしもそのジュは重引きであるし更に忍耐強いならばそれは部分集合である fact14: もしそのジュが重引きで忍耐強いとすれば部分集合でない fact15: 全ての物は部分集合だ fact16: そのジュはほろ苦い fact17: あの物全てはほろ苦い fact18: 「そのジュは喪である」ということは真実である fact19: そのジュは減量出来る fact20: 「忍耐強いならば「部分集合である」ということは成り立つ」ものはある ; $hypothesis$ = 「「忍耐強いとすれば部分集合でない」物はある」ということは事実と異なる ; $proof$ = 
fact7 -> int1: そのジュは重引きである; void -> assump1: 以下のように仮定する。そのジュは忍耐強い; int1 & assump1 -> int2: そのジュは重引きだしそれに忍耐強い; int2 & fact14 -> int3: そのジュは部分集合であるということはない; [assump1] & int3 -> int4: 「そのジュは忍耐強い」ということは成り立つとすればそれは部分集合でない; int4 -> hypothesis; __DISPROVED__
事実1: あの変化身は御安いし担う
事実2: 全ては追加出来る
事実3: そのジュは売っ払わない
事実4: 仮になにがしかの物は重引きでないとすれば「それは忍耐強いということはないしそれはほろ苦い」ということは誤っている
事実5: そのジュは下げるし部分集合だ
事実6: そのジュが忍耐強いとしたらそれは部分集合である
事実7: そのジュは重引きであるし加えてほろ苦い
事実8: あの半角スペースはほろ苦い
事実9: もしもなんらかの物が部分集合で追加出来るならあの微熱は重引きでない
事実10: そのジュは部分集合だ
事実11: そのジュは策定しない
事実12: あの微熱は忍耐強いし一巡する
事実13: もしもそのジュは重引きであるし更に忍耐強いならばそれは部分集合である
事実14: もしそのジュが重引きで忍耐強いとすれば部分集合でない
事実15: 全ての物は部分集合だ
事実16: そのジュはほろ苦い
事実17: あの物全てはほろ苦い
事実18: 「そのジュは喪である」ということは真実である
事実19: そのジュは減量出来る
事実20: 「忍耐強いならば「部分集合である」ということは成り立つ」ものはある

仮説: 「「忍耐強いとすれば部分集合でない」物はある」ということは事実と異なる
1. 事実7から、推論1: "そのジュは重引きである"が導かれる
2. 仮定1: 以下のように仮定する。そのジュは忍耐強い
3. 推論1と仮定1から、推論2: "そのジュは重引きだしそれに忍耐強い"が導かれる
4. 推論2と事実14から、推論3: "そのジュは部分集合であるということはない"が導かれる
5. [仮定1]と推論3から、推論4: "「そのジュは忍耐強い」ということは成り立つとすればそれは部分集合でない"が導かれる
6. 推論4から、仮説が否定される

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