この木橋が封印しないならばあの機動力野球は小指だしさらにそれは行き戻りである
fact1: 「この木橋は固い」ということは真実だ fact2: この乱開発が固くないならこの保存先指定ボタンは涙脆いかまたは艶めかしいかあるいは両方ともである fact3: もし仮に「この乱開発は艶めかしくないけれど涙脆い」ということは成り立たないならこの保存先指定ボタンは涙脆い fact4: この保存先指定ボタンは小指であるかあるいは固い fact5: 仮にこの乱開発が涙脆いとすればその機動力野球は小指である fact6: この木橋は密売する fact7: もしこの乱開発は小難しいとしたら「その機動力野球は小指だ」ということは成り立つ fact8: もし仮に「この保存先指定ボタンは行き戻りであるということはない」ということは成り立つとするとその機動力野球は封印するし加えて艶めかしい fact9: もしこの木橋が封印しないとすればあの乱開発は小難しいかもしくはそれは涙脆いか両方ともである fact10: この乱開発は艶めかしいとしたら「それは行き戻りだし小難しい」ということは正しくない fact11: もしも「この保存先指定ボタンは固くないがしかし行き戻りである」ということは間違いであるとすればその機動力野球は行き戻りである fact12: もし仮にこの乱開発が固いならこの保存先指定ボタンは涙脆い fact13: もし「この保存先指定ボタンは固くない」ということは真実でないとすればその機動力野球は行き戻りだ fact14: 「この保存先指定ボタンは行き戻りでないがしかし小難しい」ということは偽だ fact15: その人事関係は固くない fact16: この保存先指定ボタンは艶めかしい fact17: この上述は精神健康維持であるし銛だ fact18: 仮にこの保存先指定ボタンが行き戻りでないとすればあの乱開発は涙脆くてそれに艶めかしい fact19: その機動力野球は小難しい fact20: あの答弁書は小難しくない fact21: この乱開発が封印するとしたらこの木橋は小難しい fact22: その機動力野球は涙脆いということはない fact23: この木橋は小指だ fact24: 「この木橋は封印するししかも固い」ということは間違いである fact25: もし仮に「この保存先指定ボタンは艶めかしい」ということは真実ならば「固くないしおまけにそれは行き戻りだ」ということは成り立たない fact26: 仮にこの保存先指定ボタンは封印するなら「それは艶めかしいしまたそれは行き戻りである」ということは嘘だ
void -> assump1: 以下のように仮定する。この木橋は封印しない; fact9 & assump1 -> int1: この乱開発は小難しいかもしくは涙脆いか両方ともである; int1 & fact7 & fact5 -> int2: その機動力野球は小指である; fact25 & fact16 -> int3: 「この保存先指定ボタンは固くないがしかしそれは行き戻りだ」ということは事実でない; int3 & fact11 -> int4: その機動力野球は行き戻りだ; int2 & int4 -> int5: その機動力野球は小指であるし行き戻りだ; [assump1] & int5 -> hypothesis;
$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: 「この木橋は封印するししかも固い」ということは間違いである fact25: もし仮に「この保存先指定ボタンは艶めかしい」ということは真実ならば「固くないしおまけにそれは行き戻りだ」ということは成り立たない fact26: 仮にこの保存先指定ボタンは封印するなら「それは艶めかしいしまたそれは行き戻りである」ということは嘘だ ; $hypothesis$ = この木橋が封印しないならばあの機動力野球は小指だしさらにそれは行き戻りである ; $proof$ = 
void -> assump1: 以下のように仮定する。この木橋は封印しない; fact9 & assump1 -> int1: この乱開発は小難しいかもしくは涙脆いか両方ともである; int1 & fact7 & fact5 -> int2: その機動力野球は小指である; fact25 & fact16 -> int3: 「この保存先指定ボタンは固くないがしかしそれは行き戻りだ」ということは事実でない; int3 & fact11 -> int4: その機動力野球は行き戻りだ; int2 & int4 -> int5: その機動力野球は小指であるし行き戻りだ; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 「この木橋は固い」ということは真実だ
事実2: この乱開発が固くないならこの保存先指定ボタンは涙脆いかまたは艶めかしいかあるいは両方ともである
事実3: もし仮に「この乱開発は艶めかしくないけれど涙脆い」ということは成り立たないならこの保存先指定ボタンは涙脆い
事実4: この保存先指定ボタンは小指であるかあるいは固い
事実5: 仮にこの乱開発が涙脆いとすればその機動力野球は小指である
事実6: この木橋は密売する
事実7: もしこの乱開発は小難しいとしたら「その機動力野球は小指だ」ということは成り立つ
事実8: もし仮に「この保存先指定ボタンは行き戻りであるということはない」ということは成り立つとするとその機動力野球は封印するし加えて艶めかしい
事実9: もしこの木橋が封印しないとすればあの乱開発は小難しいかもしくはそれは涙脆いか両方ともである
事実10: この乱開発は艶めかしいとしたら「それは行き戻りだし小難しい」ということは正しくない
事実11: もしも「この保存先指定ボタンは固くないがしかし行き戻りである」ということは間違いであるとすればその機動力野球は行き戻りである
事実12: もし仮にこの乱開発が固いならこの保存先指定ボタンは涙脆い
事実13: もし「この保存先指定ボタンは固くない」ということは真実でないとすればその機動力野球は行き戻りだ
事実14: 「この保存先指定ボタンは行き戻りでないがしかし小難しい」ということは偽だ
事実15: その人事関係は固くない
事実16: この保存先指定ボタンは艶めかしい
事実17: この上述は精神健康維持であるし銛だ
事実18: 仮にこの保存先指定ボタンが行き戻りでないとすればあの乱開発は涙脆くてそれに艶めかしい
事実19: その機動力野球は小難しい
事実20: あの答弁書は小難しくない
事実21: この乱開発が封印するとしたらこの木橋は小難しい
事実22: その機動力野球は涙脆いということはない
事実23: この木橋は小指だ
事実24: 「この木橋は封印するししかも固い」ということは間違いである
事実25: もし仮に「この保存先指定ボタンは艶めかしい」ということは真実ならば「固くないしおまけにそれは行き戻りだ」ということは成り立たない
事実26: 仮にこの保存先指定ボタンは封印するなら「それは艶めかしいしまたそれは行き戻りである」ということは嘘だ

仮説: この木橋が封印しないならばあの機動力野球は小指だしさらにそれは行き戻りである
1. 仮定1: 以下のように仮定する。この木橋は封印しない
2. 事実9と仮定1から、推論1: "この乱開発は小難しいかもしくは涙脆いか両方ともである"が導かれる
3. 推論1と事実7と事実5から、推論2: "その機動力野球は小指である"が導かれる
4. 事実25と事実16から、推論3: "「この保存先指定ボタンは固くないがしかしそれは行き戻りだ」ということは事実でない"が導かれる
5. 推論3と事実11から、推論4: "その機動力野球は行き戻りだ"が導かれる
6. 推論2と推論4から、推論5: "その機動力野球は小指であるし行き戻りだ"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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