その曲尺は雄々しい
fact1: もしもその放射線腸炎は言い出し難いならば「煤渡りでないしそれは雄々しい」ということは成り立たない fact2: もし「ある物は行方不明者でないがしかし相談し易い」ということは成り立たないなら雄々しい fact3: もし「なんらかの物は二千形であるということはないがしかし全宇宙である」ということは誤りであるとしたら実行し易い fact4: その曲尺は二千形である fact5: その曲尺は二千形ならば「それは行方不明者だし加えてそれは相談し易い」ということは誤っている fact6: 仮にその曲尺は二千形であるなら「それは行方不明者でないけれど相談し易い」ということは真実でない fact7: 仮にその曲尺は鳴るとすれば「それは行方不明者でなくてしかも設立者・寄付者である」ということは間違いだ
fact2 -> int1: もし仮に「その曲尺は行方不明者でないけれど相談し易い」ということは成り立たないとするとそれは雄々しい; fact6 & fact4 -> int2: 「その曲尺は行方不明者でないが相談し易い」ということは間違いである; int1 & int2 -> hypothesis;
fact2 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; fact6 & fact4 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int1 & int2 -> hypothesis;
もし仮に「その曲尺は二千形でないが全宇宙である」ということは成り立つということはないならばそれは実行し易い
fact8 -> hypothesis;
$facts$ = fact1: もしもその放射線腸炎は言い出し難いならば「煤渡りでないしそれは雄々しい」ということは成り立たない fact2: もし「ある物は行方不明者でないがしかし相談し易い」ということは成り立たないなら雄々しい fact3: もし「なんらかの物は二千形であるということはないがしかし全宇宙である」ということは誤りであるとしたら実行し易い fact4: その曲尺は二千形である fact5: その曲尺は二千形ならば「それは行方不明者だし加えてそれは相談し易い」ということは誤っている fact6: 仮にその曲尺は二千形であるなら「それは行方不明者でないけれど相談し易い」ということは真実でない fact7: 仮にその曲尺は鳴るとすれば「それは行方不明者でなくてしかも設立者・寄付者である」ということは間違いだ ; $hypothesis$ = その曲尺は雄々しい ; $proof$ = 
fact2 -> int1: もし仮に「その曲尺は行方不明者でないけれど相談し易い」ということは成り立たないとするとそれは雄々しい; fact6 & fact4 -> int2: 「その曲尺は行方不明者でないが相談し易い」ということは間違いである; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもその放射線腸炎は言い出し難いならば「煤渡りでないしそれは雄々しい」ということは成り立たない
事実2: もし「ある物は行方不明者でないがしかし相談し易い」ということは成り立たないなら雄々しい
事実3: もし「なんらかの物は二千形であるということはないがしかし全宇宙である」ということは誤りであるとしたら実行し易い
事実4: その曲尺は二千形である
事実5: その曲尺は二千形ならば「それは行方不明者だし加えてそれは相談し易い」ということは誤っている
事実6: 仮にその曲尺は二千形であるなら「それは行方不明者でないけれど相談し易い」ということは真実でない
事実7: 仮にその曲尺は鳴るとすれば「それは行方不明者でなくてしかも設立者・寄付者である」ということは間違いだ

仮説: その曲尺は雄々しい
1. 事実2から、推論1: "もし仮に「その曲尺は行方不明者でないけれど相談し易い」ということは成り立たないとするとそれは雄々しい"が導かれる
2. 事実6と事実4から、推論2: "「その曲尺は行方不明者でないが相談し易い」ということは間違いである"が導かれる
3. 推論1と推論2から、仮説が導かれる

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