あの主行動サンプリングはビネガーでない
fact1: もし仮にあの主行動サンプリングが経済危機だということはないとしたらそれは執念深くてさらに乗り難い fact2: もしも何かは羽ばたけないとすると経済危機でないしその上裂け谷である fact3: 仮に「同等以上でない」ものがあればそのグリーティングカードは羽ばたけない fact4: あのパネルヒーターは同等以上でない fact5: もし仮に何かはビネガーなら「それは女の子らしい一方で成膜しない」ということは嘘である fact6: もしもそのグリーティングカードが経済危機でないけどそれが裂け谷だとしたらあの主行動サンプリングは経済危機でない fact7: 「あの道具的条件付けは友人同士であるがそれはオンライントレードでない」ということは成り立たない fact8: 仮に「「友人同士でかつオンライントレードであるということはない」ということは事実と異なる」物があるとしたらあの主行動サンプリングはビネガーでない
fact7 -> int1: 「「友人同士だしオンライントレードでない」ということは嘘な」物はある; int1 & fact8 -> hypothesis;
fact7 -> int1: (Ex): ¬({AA}x & ¬{AB}x); int1 & fact8 -> hypothesis;
「あの飛行機は女の子らしいがしかし成膜しない」ということは事実と異なる
fact11 -> int2: 仮にあの飛行機はビネガーならば「それは女の子らしいししかも成膜しない」ということは誤りだ; fact14 -> int3: そのグリーティングカードが羽ばたけないとするとそれは経済危機でないし裂け谷である; fact13 -> int4: 「同等以上だということはない」ものはある; int4 & fact9 -> int5: 「そのグリーティングカードは羽ばたけない」ということは間違いであるということはない; int3 & int5 -> int6: そのグリーティングカードは経済危機でないけれどそれは裂け谷だ; fact10 & int6 -> int7: あの主行動サンプリングは経済危機でない; fact12 & int7 -> int8: あの主行動サンプリングは執念深いししかもそれは乗り難い; int8 -> int9: あの主行動サンプリングは執念深い; int9 -> int10: 「執念深い」物はある;
$facts$ = fact1: もし仮にあの主行動サンプリングが経済危機だということはないとしたらそれは執念深くてさらに乗り難い fact2: もしも何かは羽ばたけないとすると経済危機でないしその上裂け谷である fact3: 仮に「同等以上でない」ものがあればそのグリーティングカードは羽ばたけない fact4: あのパネルヒーターは同等以上でない fact5: もし仮に何かはビネガーなら「それは女の子らしい一方で成膜しない」ということは嘘である fact6: もしもそのグリーティングカードが経済危機でないけどそれが裂け谷だとしたらあの主行動サンプリングは経済危機でない fact7: 「あの道具的条件付けは友人同士であるがそれはオンライントレードでない」ということは成り立たない fact8: 仮に「「友人同士でかつオンライントレードであるということはない」ということは事実と異なる」物があるとしたらあの主行動サンプリングはビネガーでない ; $hypothesis$ = あの主行動サンプリングはビネガーでない ; $proof$ = 
fact7 -> int1: 「「友人同士だしオンライントレードでない」ということは嘘な」物はある; int1 & fact8 -> hypothesis; __PROVED__
事実1: もし仮にあの主行動サンプリングが経済危機だということはないとしたらそれは執念深くてさらに乗り難い
事実2: もしも何かは羽ばたけないとすると経済危機でないしその上裂け谷である
事実3: 仮に「同等以上でない」ものがあればそのグリーティングカードは羽ばたけない
事実4: あのパネルヒーターは同等以上でない
事実5: もし仮に何かはビネガーなら「それは女の子らしい一方で成膜しない」ということは嘘である
事実6: もしもそのグリーティングカードが経済危機でないけどそれが裂け谷だとしたらあの主行動サンプリングは経済危機でない
事実7: 「あの道具的条件付けは友人同士であるがそれはオンライントレードでない」ということは成り立たない
事実8: 仮に「「友人同士でかつオンライントレードであるということはない」ということは事実と異なる」物があるとしたらあの主行動サンプリングはビネガーでない

仮説: あの主行動サンプリングはビネガーでない
1. 事実7から、推論1: "「「友人同士だしオンライントレードでない」ということは嘘な」物はある"が導かれる
2. 推論1と事実8から、仮説が導かれる

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