その吸引管がぱくるとしたらその帰順は御問い合わせ下さる
fact1: その吸引管が第一部だとすればその帰順は御問い合わせ下さる fact2: もしもその吸引管がぱくるとしたらその帰順は第一部である fact3: 仮にその帰順がぱくるとするとその吸引管は御問い合わせ下さる fact4: この寝袋は御問い合わせ下さる fact5: その帰順は第一部である fact6: 知り難しものは青っぽい一方で第一部でない fact7: もしもその吸引管がぱくるとすればそれは第一部である fact8: その帰順は判別し難い
void -> assump1: 以下のように仮定する。その吸引管はぱくる; fact7 & assump1 -> int1: その吸引管は第一部だ; int1 & fact1 -> int2: 「その帰順は御問い合わせ下さる」ということは確かだ; [assump1] & int2 -> hypothesis;
この蚕は御問い合わせ下さる
fact9 -> int3: その吸引管が知り難しとしたらそれは青っぽくてかつそれは第一部でない;
$facts$ = fact1: その吸引管が第一部だとすればその帰順は御問い合わせ下さる fact2: もしもその吸引管がぱくるとしたらその帰順は第一部である fact3: 仮にその帰順がぱくるとするとその吸引管は御問い合わせ下さる fact4: この寝袋は御問い合わせ下さる fact5: その帰順は第一部である fact6: 知り難しものは青っぽい一方で第一部でない fact7: もしもその吸引管がぱくるとすればそれは第一部である fact8: その帰順は判別し難い ; $hypothesis$ = その吸引管がぱくるとしたらその帰順は御問い合わせ下さる ; $proof$ = 
void -> assump1: 以下のように仮定する。その吸引管はぱくる; fact7 & assump1 -> int1: その吸引管は第一部だ; int1 & fact1 -> int2: 「その帰順は御問い合わせ下さる」ということは確かだ; [assump1] & int2 -> hypothesis; __PROVED__
事実1: その吸引管が第一部だとすればその帰順は御問い合わせ下さる
事実2: もしもその吸引管がぱくるとしたらその帰順は第一部である
事実3: 仮にその帰順がぱくるとするとその吸引管は御問い合わせ下さる
事実4: この寝袋は御問い合わせ下さる
事実5: その帰順は第一部である
事実6: 知り難しものは青っぽい一方で第一部でない
事実7: もしもその吸引管がぱくるとすればそれは第一部である
事実8: その帰順は判別し難い

仮説: その吸引管がぱくるとしたらその帰順は御問い合わせ下さる
1. 仮定1: 以下のように仮定する。その吸引管はぱくる
2. 事実7と仮定1から、推論1: "その吸引管は第一部だ"が導かれる
3. 推論1と事実1から、推論2: "「その帰順は御問い合わせ下さる」ということは確かだ"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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