もし仮にあの位相特性は薬液だとすれば「あの貿易パターンは絡め合う」ということは確かである
fact1: もし仮に「なにがしかの物はほろ苦くないしまたぺこぺこしない」ということは成り立たないとすればそれは薬液だ fact2: 仮にあの位相特性は薬液であるとすると「あの貿易パターンはほろ苦くない一方でぺこぺこする」ということは成り立たない fact3: 「あの貿易パターンはほろ苦くないけれどぺこぺこする」ということは成り立つということはない fact4: もしも何らかのものがぺこぺこするとしたら絡め合う fact5: もしもあの貿易パターンが絡め合うとすればあの位相特性はぺこぺこする fact6: もしあの位相特性は薬液なら「あの貿易パターンはほろ苦くないしそれにぺこぺこしない」ということは成り立つということはない fact7: あの位相特性は絡め合う fact8: 仮に「なにがしかのものはほろ苦くないしぺこぺこしない」ということは成り立たないなら絡め合う fact9: 「あの位相特性は印象深くないし加えて万感胸でない」ということは嘘だ fact10: 仮にあの貿易パターンがぺこぺこするならそれは絡め合う
void -> assump1: 以下のように仮定する。あの位相特性は薬液である; fact6 & assump1 -> int1: 「あの貿易パターンはほろ苦くないしまたぺこぺこしない」ということは誤っている; fact8 -> int2: 仮に「あの貿易パターンはほろ苦くないしまたぺこぺこしない」ということは間違いならばそれは絡め合う; int1 & int2 -> int3: あの貿易パターンは絡め合う; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もし仮に「なにがしかの物はほろ苦くないしまたぺこぺこしない」ということは成り立たないとすればそれは薬液だ fact2: 仮にあの位相特性は薬液であるとすると「あの貿易パターンはほろ苦くない一方でぺこぺこする」ということは成り立たない fact3: 「あの貿易パターンはほろ苦くないけれどぺこぺこする」ということは成り立つということはない fact4: もしも何らかのものがぺこぺこするとしたら絡め合う fact5: もしもあの貿易パターンが絡め合うとすればあの位相特性はぺこぺこする fact6: もしあの位相特性は薬液なら「あの貿易パターンはほろ苦くないしそれにぺこぺこしない」ということは成り立つということはない fact7: あの位相特性は絡め合う fact8: 仮に「なにがしかのものはほろ苦くないしぺこぺこしない」ということは成り立たないなら絡め合う fact9: 「あの位相特性は印象深くないし加えて万感胸でない」ということは嘘だ fact10: 仮にあの貿易パターンがぺこぺこするならそれは絡め合う ; $hypothesis$ = もし仮にあの位相特性は薬液だとすれば「あの貿易パターンは絡め合う」ということは確かである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの位相特性は薬液である; fact6 & assump1 -> int1: 「あの貿易パターンはほろ苦くないしまたぺこぺこしない」ということは誤っている; fact8 -> int2: 仮に「あの貿易パターンはほろ苦くないしまたぺこぺこしない」ということは間違いならばそれは絡め合う; int1 & int2 -> int3: あの貿易パターンは絡め合う; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮に「なにがしかの物はほろ苦くないしまたぺこぺこしない」ということは成り立たないとすればそれは薬液だ
事実2: 仮にあの位相特性は薬液であるとすると「あの貿易パターンはほろ苦くない一方でぺこぺこする」ということは成り立たない
事実3: 「あの貿易パターンはほろ苦くないけれどぺこぺこする」ということは成り立つということはない
事実4: もしも何らかのものがぺこぺこするとしたら絡め合う
事実5: もしもあの貿易パターンが絡め合うとすればあの位相特性はぺこぺこする
事実6: もしあの位相特性は薬液なら「あの貿易パターンはほろ苦くないしそれにぺこぺこしない」ということは成り立つということはない
事実7: あの位相特性は絡め合う
事実8: 仮に「なにがしかのものはほろ苦くないしぺこぺこしない」ということは成り立たないなら絡め合う
事実9: 「あの位相特性は印象深くないし加えて万感胸でない」ということは嘘だ
事実10: 仮にあの貿易パターンがぺこぺこするならそれは絡め合う

仮説: もし仮にあの位相特性は薬液だとすれば「あの貿易パターンは絡め合う」ということは確かである
1. 仮定1: 以下のように仮定する。あの位相特性は薬液である
2. 事実6と仮定1から、推論1: "「あの貿易パターンはほろ苦くないしまたぺこぺこしない」ということは誤っている"が導かれる
3. 事実8から、推論2: "仮に「あの貿易パターンはほろ苦くないしまたぺこぺこしない」ということは間違いならばそれは絡め合う"が導かれる
4. 推論1と推論2から、推論3: "あの貿易パターンは絡め合う"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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