もしその覇者がぱらつくとしたらこの顔見世は出掛ける
fact1: もしもその覇者が出掛けるということはないならばこの宝石は医療レーザー治療でない fact2: もしその覇者がぱらつくとしたら選好する fact3: その覇者は我慢しない fact4: もしもなんらかの物が出掛けないしおまけに増悪しないならあの奇襲戦法は医療レーザー治療でない fact5: もしも「「その硝酸塩標準溶液は増悪するが打っ飛ばすということはない」ということは嘘だ」ということは真実であるとすると「その覇者は医療レーザー治療でない」ということは確かである fact6: もし仮にその覇者が我慢しないならばそれは打っ飛ばすしそれは大型ヘッドだ fact7: 仮に「ある物は打っ飛ばす」ということは成り立てばそれは出掛けないし増悪しない fact8: 「その硝酸塩標準溶液は増悪するが打っ飛ばさない」ということは間違っている fact9: その覇者が選好する一方で医療レーザー治療だということはないならこの顔見世は出掛ける fact10: もしも何らかのものはぱらつくとすると「それは予測結果であるし重畳しない」ということは事実と異なる fact11: その硝酸塩標準溶液は出掛ける
void -> assump1: 以下のように仮定する。その覇者はぱらつく; fact2 & assump1 -> int1: その覇者は選好する; fact8 & fact5 -> int2: その覇者は医療レーザー治療でない; int1 & int2 -> int3: その覇者は選好するけど医療レーザー治療であるということはない; int3 & fact9 -> int4: この顔見世は出掛ける; [assump1] & int4 -> hypothesis;
あの奇襲戦法はぱらつく
fact15 -> int5: もし仮にその覇者が打っ飛ばせば出掛けないしその上それは増悪しない; fact14 & fact12 -> int6: その覇者は打っ飛ばすしその上大型ヘッドである; int6 -> int7: その覇者は打っ飛ばす; int5 & int7 -> int8: その覇者は出掛けないし更に増悪しない; int8 -> int9: 「出掛けないしさらに増悪しない」物はある; int9 & fact13 -> int10: あの奇襲戦法は医療レーザー治療でない;
$facts$ = fact1: もしもその覇者が出掛けるということはないならばこの宝石は医療レーザー治療でない fact2: もしその覇者がぱらつくとしたら選好する fact3: その覇者は我慢しない fact4: もしもなんらかの物が出掛けないしおまけに増悪しないならあの奇襲戦法は医療レーザー治療でない fact5: もしも「「その硝酸塩標準溶液は増悪するが打っ飛ばすということはない」ということは嘘だ」ということは真実であるとすると「その覇者は医療レーザー治療でない」ということは確かである fact6: もし仮にその覇者が我慢しないならばそれは打っ飛ばすしそれは大型ヘッドだ fact7: 仮に「ある物は打っ飛ばす」ということは成り立てばそれは出掛けないし増悪しない fact8: 「その硝酸塩標準溶液は増悪するが打っ飛ばさない」ということは間違っている fact9: その覇者が選好する一方で医療レーザー治療だということはないならこの顔見世は出掛ける fact10: もしも何らかのものはぱらつくとすると「それは予測結果であるし重畳しない」ということは事実と異なる fact11: その硝酸塩標準溶液は出掛ける ; $hypothesis$ = もしその覇者がぱらつくとしたらこの顔見世は出掛ける ; $proof$ = 
void -> assump1: 以下のように仮定する。その覇者はぱらつく; fact2 & assump1 -> int1: その覇者は選好する; fact8 & fact5 -> int2: その覇者は医療レーザー治療でない; int1 & int2 -> int3: その覇者は選好するけど医療レーザー治療であるということはない; int3 & fact9 -> int4: この顔見世は出掛ける; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしもその覇者が出掛けるということはないならばこの宝石は医療レーザー治療でない
事実2: もしその覇者がぱらつくとしたら選好する
事実3: その覇者は我慢しない
事実4: もしもなんらかの物が出掛けないしおまけに増悪しないならあの奇襲戦法は医療レーザー治療でない
事実5: もしも「「その硝酸塩標準溶液は増悪するが打っ飛ばすということはない」ということは嘘だ」ということは真実であるとすると「その覇者は医療レーザー治療でない」ということは確かである
事実6: もし仮にその覇者が我慢しないならばそれは打っ飛ばすしそれは大型ヘッドだ
事実7: 仮に「ある物は打っ飛ばす」ということは成り立てばそれは出掛けないし増悪しない
事実8: 「その硝酸塩標準溶液は増悪するが打っ飛ばさない」ということは間違っている
事実9: その覇者が選好する一方で医療レーザー治療だということはないならこの顔見世は出掛ける
事実10: もしも何らかのものはぱらつくとすると「それは予測結果であるし重畳しない」ということは事実と異なる
事実11: その硝酸塩標準溶液は出掛ける

仮説: もしその覇者がぱらつくとしたらこの顔見世は出掛ける
1. 仮定1: 以下のように仮定する。その覇者はぱらつく
2. 事実2と仮定1から、推論1: "その覇者は選好する"が導かれる
3. 事実8と事実5から、推論2: "その覇者は医療レーザー治療でない"が導かれる
4. 推論1と推論2から、推論3: "その覇者は選好するけど医療レーザー治療であるということはない"が導かれる
5. 推論3と事実9から、推論4: "この顔見世は出掛ける"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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