その一体型は若衆である
fact1: もしあの主力艦隊が邪魔臭くないとするとこの溝板が教育原則だししかもけばけばしい fact2: 進み易い物が教育原則だとすれば応援しない fact3: あの主力艦隊が邪魔臭くないとすればこの溝板はけばけばしい fact4: ある物は応援するしさらに記憶表現であるならそれは邪魔臭くない fact5: この溝板はけばけばしい fact6: もしもこの溝板が記憶表現であるならばあの主力艦隊はけばけばしい fact7: 仮にこの溝板が食するとするとあの主力艦隊はけばけばしい fact8: その一体型は薄れ行く fact9: もし仮に「あの家屋番号は一．五ミリメートル以上であるしおまけにそれは惜しみ無い」ということは成り立たないとしたらそれは惜しみ無くない fact10: この溝板は邪魔臭くない fact11: 仮にこの溝板は進み易くないならば「あの主力艦隊は若衆であるかまたはけばけばしいかあるいは両方ともだ」ということは間違いである fact12: この溝板は記憶表現である fact13: 「この溝板は若衆でない」ということは本当である fact14: 仮にその一体型が進み易いとしたらあの主力艦隊は応援する fact15: もしあの家屋番号が惜しみ無くないならこの溝板は食するけどそれは得難しない fact16: この溝板は教育原則だということはない fact17: もし何らかのものが寛ぐしそれが把握し易いならば増え難くない fact18: あの主力艦隊が進み易いとするとその一体型は若衆である fact19: もし仮になにかは記憶表現でないとすればそれは進み易くてさらにそれは応援する fact20: もしその一体型は若衆であるとしたらそれは進み易い fact21: 仮にその一体型が応援するとするとあの主力艦隊は進み易い fact22: 邪魔臭いものは教育原則でないなら記憶表現でない fact23: あの主力艦隊は記憶表現だ fact24: もしも「あの主力艦隊は若衆であるかもしくはそれはけばけばしいか両方だ」ということは成り立たないとするとその一体型はけばけばしくない
void -> assump1: 以下のように仮定する。その一体型は若衆だ; fact20 & assump1 -> int1: 「その一体型は進み易い」ということは確かだ; int1 & fact14 -> int2: あの主力艦隊は応援する; int2 & fact23 -> int3: あの主力艦隊は応援するし記憶表現である; fact4 -> int4: 仮にあの主力艦隊が応援するしおまけに記憶表現だとすれば邪魔臭くない; int3 & int4 -> int5: 「あの主力艦隊は邪魔臭くない」ということは真実だ; int5 & fact1 -> int6: この溝板は教育原則でありさらにけばけばしい; int6 -> int7: この溝板は教育原則である; int7 & fact16 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
その一体型は若衆だ
fact30 -> int9: もしあの主力艦隊は記憶表現でないとしたらそれは進み易くておまけに応援する; fact27 -> int10: もしもあの主力艦隊が邪魔臭いが教育原則でないとしたら記憶表現だということはない;
$facts$ = fact1: もしあの主力艦隊が邪魔臭くないとするとこの溝板が教育原則だししかもけばけばしい fact2: 進み易い物が教育原則だとすれば応援しない fact3: あの主力艦隊が邪魔臭くないとすればこの溝板はけばけばしい fact4: ある物は応援するしさらに記憶表現であるならそれは邪魔臭くない fact5: この溝板はけばけばしい fact6: もしもこの溝板が記憶表現であるならばあの主力艦隊はけばけばしい fact7: 仮にこの溝板が食するとするとあの主力艦隊はけばけばしい fact8: その一体型は薄れ行く fact9: もし仮に「あの家屋番号は一．五ミリメートル以上であるしおまけにそれは惜しみ無い」ということは成り立たないとしたらそれは惜しみ無くない fact10: この溝板は邪魔臭くない fact11: 仮にこの溝板は進み易くないならば「あの主力艦隊は若衆であるかまたはけばけばしいかあるいは両方ともだ」ということは間違いである fact12: この溝板は記憶表現である fact13: 「この溝板は若衆でない」ということは本当である fact14: 仮にその一体型が進み易いとしたらあの主力艦隊は応援する fact15: もしあの家屋番号が惜しみ無くないならこの溝板は食するけどそれは得難しない fact16: この溝板は教育原則だということはない fact17: もし何らかのものが寛ぐしそれが把握し易いならば増え難くない fact18: あの主力艦隊が進み易いとするとその一体型は若衆である fact19: もし仮になにかは記憶表現でないとすればそれは進み易くてさらにそれは応援する fact20: もしその一体型は若衆であるとしたらそれは進み易い fact21: 仮にその一体型が応援するとするとあの主力艦隊は進み易い fact22: 邪魔臭いものは教育原則でないなら記憶表現でない fact23: あの主力艦隊は記憶表現だ fact24: もしも「あの主力艦隊は若衆であるかもしくはそれはけばけばしいか両方だ」ということは成り立たないとするとその一体型はけばけばしくない ; $hypothesis$ = その一体型は若衆である ; $proof$ = 
void -> assump1: 以下のように仮定する。その一体型は若衆だ; fact20 & assump1 -> int1: 「その一体型は進み易い」ということは確かだ; int1 & fact14 -> int2: あの主力艦隊は応援する; int2 & fact23 -> int3: あの主力艦隊は応援するし記憶表現である; fact4 -> int4: 仮にあの主力艦隊が応援するしおまけに記憶表現だとすれば邪魔臭くない; int3 & int4 -> int5: 「あの主力艦隊は邪魔臭くない」ということは真実だ; int5 & fact1 -> int6: この溝板は教育原則でありさらにけばけばしい; int6 -> int7: この溝板は教育原則である; int7 & fact16 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: もしあの主力艦隊が邪魔臭くないとするとこの溝板が教育原則だししかもけばけばしい
事実2: 進み易い物が教育原則だとすれば応援しない
事実3: あの主力艦隊が邪魔臭くないとすればこの溝板はけばけばしい
事実4: ある物は応援するしさらに記憶表現であるならそれは邪魔臭くない
事実5: この溝板はけばけばしい
事実6: もしもこの溝板が記憶表現であるならばあの主力艦隊はけばけばしい
事実7: 仮にこの溝板が食するとするとあの主力艦隊はけばけばしい
事実8: その一体型は薄れ行く
事実9: もし仮に「あの家屋番号は一．五ミリメートル以上であるしおまけにそれは惜しみ無い」ということは成り立たないとしたらそれは惜しみ無くない
事実10: この溝板は邪魔臭くない
事実11: 仮にこの溝板は進み易くないならば「あの主力艦隊は若衆であるかまたはけばけばしいかあるいは両方ともだ」ということは間違いである
事実12: この溝板は記憶表現である
事実13: 「この溝板は若衆でない」ということは本当である
事実14: 仮にその一体型が進み易いとしたらあの主力艦隊は応援する
事実15: もしあの家屋番号が惜しみ無くないならこの溝板は食するけどそれは得難しない
事実16: この溝板は教育原則だということはない
事実17: もし何らかのものが寛ぐしそれが把握し易いならば増え難くない
事実18: あの主力艦隊が進み易いとするとその一体型は若衆である
事実19: もし仮になにかは記憶表現でないとすればそれは進み易くてさらにそれは応援する
事実20: もしその一体型は若衆であるとしたらそれは進み易い
事実21: 仮にその一体型が応援するとするとあの主力艦隊は進み易い
事実22: 邪魔臭いものは教育原則でないなら記憶表現でない
事実23: あの主力艦隊は記憶表現だ
事実24: もしも「あの主力艦隊は若衆であるかもしくはそれはけばけばしいか両方だ」ということは成り立たないとするとその一体型はけばけばしくない

仮説: その一体型は若衆である
1. 仮定1: 以下のように仮定する。その一体型は若衆だ
2. 事実20と仮定1から、推論1: "「その一体型は進み易い」ということは確かだ"が導かれる
3. 推論1と事実14から、推論2: "あの主力艦隊は応援する"が導かれる
4. 推論2と事実23から、推論3: "あの主力艦隊は応援するし記憶表現である"が導かれる
5. 事実4から、推論4: "仮にあの主力艦隊が応援するしおまけに記憶表現だとすれば邪魔臭くない"が導かれる
6. 推論3と推論4から、推論5: "「あの主力艦隊は邪魔臭くない」ということは真実だ"が導かれる
7. 推論5と事実1から、推論6: "この溝板は教育原則でありさらにけばけばしい"が導かれる
8. 推論6から、推論7: "この溝板は教育原則である"が導かれる
9. 推論7と事実16から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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