その書院番・小姓組番はちっこくない
fact1: もしもその研修内容は調度でないとすれば「その書院番・小姓組番はちっこいがそれは柊でない」ということは本当でない fact2: もし仮になにかは共鳴し易くないかまたは遭難しないかもしくは両方であるとしたらこの四書五経は調度だ fact3: その研修内容は共鳴し易い fact4: 地所は彫刻する fact5: もしもこの四書五経が調度ならその書院番・小姓組番は煮過ぎる fact6: もしもなにかは煮過ぎるとすればそれはちっこい fact7: もし仮にこの四書五経が寝転ぶし煮過ぎればその研修内容は煮過ぎない fact8: このアメリカ論が彫刻するとすればあの四書五経は寝転ぶ fact9: 仮にこのアメリカ論が寝転ばないがしかし彫刻すればその研修内容は柊である fact10: もし「とある物はちっこいがしかし柊でない」ということは偽であるならばそれはちっこくない fact11: このアメリカ論は寝転ばないが彫刻する fact12: 「その研修内容は共鳴し易いということはないかもしくは遭難しないかもしくはどちらもだ」ということは偽であるとすれば柊だということはない fact13: その研修内容は共鳴し易いかそれは遭難しないかあるいはどちらもである
void -> assump1: 以下のように仮定する。「その研修内容は共鳴し易くないかあるいは遭難するということはないかまたはどちらもだ」ということは誤りである; fact12 & assump1 -> int1: その研修内容は柊でない; fact11 & fact9 -> int2: その研修内容は柊だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その研修内容は共鳴し易くないかもしくは遭難するということはない; int4 -> int5: 何らかの物は共鳴し易くないかまたは遭難しないかもしくは両方だ; int5 & fact2 -> int6: この四書五経は調度である; int6 & fact5 -> int7: その書院番・小姓組番は煮過ぎる; fact6 -> int8: もし仮にその書院番・小姓組番が煮過ぎるとするとちっこい; int7 & int8 -> hypothesis;
その書院番・小姓組番はちっこくない
fact15 -> int9: 仮に「その書院番・小姓組番はちっこいけど柊でない」ということは事実と異なるとしたらちっこくない; fact14 -> int10: 仮にこのアメリカ論は地所であるならばそれは彫刻する;
$facts$ = fact1: もしもその研修内容は調度でないとすれば「その書院番・小姓組番はちっこいがそれは柊でない」ということは本当でない fact2: もし仮になにかは共鳴し易くないかまたは遭難しないかもしくは両方であるとしたらこの四書五経は調度だ fact3: その研修内容は共鳴し易い fact4: 地所は彫刻する fact5: もしもこの四書五経が調度ならその書院番・小姓組番は煮過ぎる fact6: もしもなにかは煮過ぎるとすればそれはちっこい fact7: もし仮にこの四書五経が寝転ぶし煮過ぎればその研修内容は煮過ぎない fact8: このアメリカ論が彫刻するとすればあの四書五経は寝転ぶ fact9: 仮にこのアメリカ論が寝転ばないがしかし彫刻すればその研修内容は柊である fact10: もし「とある物はちっこいがしかし柊でない」ということは偽であるならばそれはちっこくない fact11: このアメリカ論は寝転ばないが彫刻する fact12: 「その研修内容は共鳴し易いということはないかもしくは遭難しないかもしくはどちらもだ」ということは偽であるとすれば柊だということはない fact13: その研修内容は共鳴し易いかそれは遭難しないかあるいはどちらもである ; $hypothesis$ = その書院番・小姓組番はちっこくない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その研修内容は共鳴し易くないかあるいは遭難するということはないかまたはどちらもだ」ということは誤りである; fact12 & assump1 -> int1: その研修内容は柊でない; fact11 & fact9 -> int2: その研修内容は柊だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その研修内容は共鳴し易くないかもしくは遭難するということはない; int4 -> int5: 何らかの物は共鳴し易くないかまたは遭難しないかもしくは両方だ; int5 & fact2 -> int6: この四書五経は調度である; int6 & fact5 -> int7: その書院番・小姓組番は煮過ぎる; fact6 -> int8: もし仮にその書院番・小姓組番が煮過ぎるとするとちっこい; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もしもその研修内容は調度でないとすれば「その書院番・小姓組番はちっこいがそれは柊でない」ということは本当でない
事実2: もし仮になにかは共鳴し易くないかまたは遭難しないかもしくは両方であるとしたらこの四書五経は調度だ
事実3: その研修内容は共鳴し易い
事実4: 地所は彫刻する
事実5: もしもこの四書五経が調度ならその書院番・小姓組番は煮過ぎる
事実6: もしもなにかは煮過ぎるとすればそれはちっこい
事実7: もし仮にこの四書五経が寝転ぶし煮過ぎればその研修内容は煮過ぎない
事実8: このアメリカ論が彫刻するとすればあの四書五経は寝転ぶ
事実9: 仮にこのアメリカ論が寝転ばないがしかし彫刻すればその研修内容は柊である
事実10: もし「とある物はちっこいがしかし柊でない」ということは偽であるならばそれはちっこくない
事実11: このアメリカ論は寝転ばないが彫刻する
事実12: 「その研修内容は共鳴し易いということはないかもしくは遭難しないかもしくはどちらもだ」ということは偽であるとすれば柊だということはない
事実13: その研修内容は共鳴し易いかそれは遭難しないかあるいはどちらもである

仮説: その書院番・小姓組番はちっこくない
1. 仮定1: 以下のように仮定する。「その研修内容は共鳴し易くないかあるいは遭難するということはないかまたはどちらもだ」ということは誤りである
2. 事実12と仮定1から、推論1: "その研修内容は柊でない"が導かれる
3. 事実11と事実9から、推論2: "その研修内容は柊だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その研修内容は共鳴し易くないかもしくは遭難するということはない"が導かれる
6. 推論4から、推論5: "何らかの物は共鳴し易くないかまたは遭難しないかもしくは両方だ"が導かれる
7. 推論5と事実2から、推論6: "この四書五経は調度である"が導かれる
8. 推論6と事実5から、推論7: "その書院番・小姓組番は煮過ぎる"が導かれる
9. 事実6から、推論8: "もし仮にその書院番・小姓組番が煮過ぎるとするとちっこい"が導かれる
10. 推論7と推論8から、仮説が否定される

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