「もし仮に御頼みしないがしかし薬臭いなら程遠い」物はある
fact1: この第二十一議会が程遠いしまた粗いなら「それは短い」ということは間違っていない fact2: 「御頼みするししかも薬臭いとすれば程遠い」物はある fact3: 仮になにがしかのものが御頼みするし加えて薬臭いならば「それは程遠い」ということは確かである fact4: あるものは御頼みしないが薬臭いとしたらそれは程遠い fact5: 「もし「伝わり難くないけど粗い」ということは成り立てばアッピールする」ものはある fact6: もし仮にこの第二十一議会が程遠くない一方でそれが恨めしいならばそれは再上映である
fact4 -> int1: もしもこの第二十一議会が御頼みしないけれどそれは薬臭いならば「程遠い」ということは本当だ; int1 -> hypothesis;
$facts$ = fact1: この第二十一議会が程遠いしまた粗いなら「それは短い」ということは間違っていない fact2: 「御頼みするししかも薬臭いとすれば程遠い」物はある fact3: 仮になにがしかのものが御頼みするし加えて薬臭いならば「それは程遠い」ということは確かである fact4: あるものは御頼みしないが薬臭いとしたらそれは程遠い fact5: 「もし「伝わり難くないけど粗い」ということは成り立てばアッピールする」ものはある fact6: もし仮にこの第二十一議会が程遠くない一方でそれが恨めしいならばそれは再上映である ; $hypothesis$ = 「もし仮に御頼みしないがしかし薬臭いなら程遠い」物はある ; $proof$ = 
fact4 -> int1: もしもこの第二十一議会が御頼みしないけれどそれは薬臭いならば「程遠い」ということは本当だ; int1 -> hypothesis; __PROVED__
事実1: この第二十一議会が程遠いしまた粗いなら「それは短い」ということは間違っていない
事実2: 「御頼みするししかも薬臭いとすれば程遠い」物はある
事実3: 仮になにがしかのものが御頼みするし加えて薬臭いならば「それは程遠い」ということは確かである
事実4: あるものは御頼みしないが薬臭いとしたらそれは程遠い
事実5: 「もし「伝わり難くないけど粗い」ということは成り立てばアッピールする」ものはある
事実6: もし仮にこの第二十一議会が程遠くない一方でそれが恨めしいならばそれは再上映である

仮説: 「もし仮に御頼みしないがしかし薬臭いなら程遠い」物はある
1. 事実4から、推論1: "もしもこの第二十一議会が御頼みしないけれどそれは薬臭いならば「程遠い」ということは本当だ"が導かれる
2. 推論1から、仮説が導かれる

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