その四ＰＭは飛び立たない
fact1: 仮に「「飛び立つ」ということは成り立つ」ものがあるとするとその四ＰＭは発生し易いかもしくはそれは厳いかまたは両方ともだ fact2: もしもその四ＰＭが発生し易いならば内閣総辞職だ fact3: 仮に何らかのものが夥しくないならばそれが飛び立つしその上それは愛しい fact4: もしこの丸小ビーズが消化し易いならそれは猛々しい fact5: そのファイヤーポリッシュは夥しくない fact6: もしもなにがしかの物は内閣総辞職であるとしたら「それは飛び立つ」ということは嘘でない fact7: もし仮に「そのファイヤーポリッシュは発生し易くないしその上内閣総辞職だということはない」ということは成り立たないとすればその四ＰＭは飛び立たない fact8: その四ＰＭは発生し易い
fact2 & fact8 -> int1: その四ＰＭは内閣総辞職だ; fact6 -> int2: その四ＰＭが内閣総辞職だとしたら飛び立つ; int1 & int2 -> hypothesis;
その韜晦は内閣総辞職である
fact11 -> int3: もし仮にそのファイヤーポリッシュが夥しくないとすれば飛び立つししかも愛しい; int3 & fact10 -> int4: そのファイヤーポリッシュは飛び立つし愛しい; int4 -> int5: そのファイヤーポリッシュは飛び立つ; int5 -> int6: 「飛び立つ」ものはある; int6 & fact9 -> int7: その四ＰＭは発生し易いかもしくはそれは厳いか両方ともである;
$facts$ = fact1: 仮に「「飛び立つ」ということは成り立つ」ものがあるとするとその四ＰＭは発生し易いかもしくはそれは厳いかまたは両方ともだ fact2: もしもその四ＰＭが発生し易いならば内閣総辞職だ fact3: 仮に何らかのものが夥しくないならばそれが飛び立つしその上それは愛しい fact4: もしこの丸小ビーズが消化し易いならそれは猛々しい fact5: そのファイヤーポリッシュは夥しくない fact6: もしもなにがしかの物は内閣総辞職であるとしたら「それは飛び立つ」ということは嘘でない fact7: もし仮に「そのファイヤーポリッシュは発生し易くないしその上内閣総辞職だということはない」ということは成り立たないとすればその四ＰＭは飛び立たない fact8: その四ＰＭは発生し易い ; $hypothesis$ = その四ＰＭは飛び立たない ; $proof$ = 
fact2 & fact8 -> int1: その四ＰＭは内閣総辞職だ; fact6 -> int2: その四ＰＭが内閣総辞職だとしたら飛び立つ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮に「「飛び立つ」ということは成り立つ」ものがあるとするとその四ＰＭは発生し易いかもしくはそれは厳いかまたは両方ともだ
事実2: もしもその四ＰＭが発生し易いならば内閣総辞職だ
事実3: 仮に何らかのものが夥しくないならばそれが飛び立つしその上それは愛しい
事実4: もしこの丸小ビーズが消化し易いならそれは猛々しい
事実5: そのファイヤーポリッシュは夥しくない
事実6: もしもなにがしかの物は内閣総辞職であるとしたら「それは飛び立つ」ということは嘘でない
事実7: もし仮に「そのファイヤーポリッシュは発生し易くないしその上内閣総辞職だということはない」ということは成り立たないとすればその四ＰＭは飛び立たない
事実8: その四ＰＭは発生し易い

仮説: その四ＰＭは飛び立たない
1. 事実2と事実8から、推論1: "その四ＰＭは内閣総辞職だ"が導かれる
2. 事実6から、推論2: "その四ＰＭが内閣総辞職だとしたら飛び立つ"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。