そのアットは崩れ易いということはない
fact1: もし仮にあるものが教訓するとしたら崩れ易い fact2: 「このマートン・モデルは取り引き価額だけれど並び替えるということはない」ということは誤っている fact3: 「なにかは並び替えるということはないがそれは羽ばたく」ということは誤りだとするとそれは教訓しない fact4: もし仮に「このマートン・モデルは取り引き価額でないしその上並び替えるない」ということは事実と異なるとするとそのアットは取り引き価額でない fact5: もし仮にそのアットが見劣りしないとしたらそれは教訓する fact6: もし仮になにがしかの物が取り引き価額でないとすればそれは見劣りしないかもしくはダンス音楽であるかもしくはどちらもだ fact7: もしもそのアットが見劣りしないかもしくはダンス音楽であるかあるいは両方ともだとしたらそれは教訓する fact8: もしも「何らかの物は融液内だがしかし企業戦略でない」ということは嘘だとすれば鎮座するということはない fact9: 「このマートン・モデルは取り引き価額でないし更にそれは並び替えるということはない」ということは成り立つということはない fact10: 仮に「鎮座しない」ものはあるとすれば「このマートン・モデルは並び替えないが羽ばたく」ということは誤りだ fact11: 「あの優勝旗は融液内であるけどそれは企業戦略でない」ということは成り立たない
fact6 -> int1: 仮にそのアットは取り引き価額でないならそれは見劣りするということはないかもしくはダンス音楽であるかあるいはどちらもだ; fact9 & fact4 -> int2: そのアットは取り引き価額でない; int1 & int2 -> int3: そのアットは見劣りしないかあるいはダンス音楽であるかあるいはどちらもだ; int3 & fact7 -> int4: そのアットは教訓する; fact1 -> int5: もしそのアットが教訓するならそれは崩れ易い; int4 & int5 -> hypothesis;
そのアットは崩れ易いということはない
fact15 -> int6: もし「このマートン・モデルは並び替えないが羽ばたく」ということは真実でないならばそれは教訓しない; fact14 -> int7: 「あの優勝旗は融液内である一方で企業戦略でない」ということは偽ならそれは鎮座しない; int7 & fact13 -> int8: あの優勝旗は鎮座しない; int8 -> int9: なにかは鎮座しない; int9 & fact12 -> int10: 「このマートン・モデルは並び替えないがそれは羽ばたく」ということは誤りだ; int6 & int10 -> int11: このマートン・モデルは教訓しない; int11 -> int12: このマートン・モデルは教訓しないかまたは取り引き価額であるかまたはどちらもだ; int12 -> int13: 「「教訓しないかあるいは取り引き価額であるか両方である」ということは正しい」物はある;
$facts$ = fact1: もし仮にあるものが教訓するとしたら崩れ易い fact2: 「このマートン・モデルは取り引き価額だけれど並び替えるということはない」ということは誤っている fact3: 「なにかは並び替えるということはないがそれは羽ばたく」ということは誤りだとするとそれは教訓しない fact4: もし仮に「このマートン・モデルは取り引き価額でないしその上並び替えるない」ということは事実と異なるとするとそのアットは取り引き価額でない fact5: もし仮にそのアットが見劣りしないとしたらそれは教訓する fact6: もし仮になにがしかの物が取り引き価額でないとすればそれは見劣りしないかもしくはダンス音楽であるかもしくはどちらもだ fact7: もしもそのアットが見劣りしないかもしくはダンス音楽であるかあるいは両方ともだとしたらそれは教訓する fact8: もしも「何らかの物は融液内だがしかし企業戦略でない」ということは嘘だとすれば鎮座するということはない fact9: 「このマートン・モデルは取り引き価額でないし更にそれは並び替えるということはない」ということは成り立つということはない fact10: 仮に「鎮座しない」ものはあるとすれば「このマートン・モデルは並び替えないが羽ばたく」ということは誤りだ fact11: 「あの優勝旗は融液内であるけどそれは企業戦略でない」ということは成り立たない ; $hypothesis$ = そのアットは崩れ易いということはない ; $proof$ = 
fact6 -> int1: 仮にそのアットは取り引き価額でないならそれは見劣りするということはないかもしくはダンス音楽であるかあるいはどちらもだ; fact9 & fact4 -> int2: そのアットは取り引き価額でない; int1 & int2 -> int3: そのアットは見劣りしないかあるいはダンス音楽であるかあるいはどちらもだ; int3 & fact7 -> int4: そのアットは教訓する; fact1 -> int5: もしそのアットが教訓するならそれは崩れ易い; int4 & int5 -> hypothesis; __DISPROVED__
事実1: もし仮にあるものが教訓するとしたら崩れ易い
事実2: 「このマートン・モデルは取り引き価額だけれど並び替えるということはない」ということは誤っている
事実3: 「なにかは並び替えるということはないがそれは羽ばたく」ということは誤りだとするとそれは教訓しない
事実4: もし仮に「このマートン・モデルは取り引き価額でないしその上並び替えるない」ということは事実と異なるとするとそのアットは取り引き価額でない
事実5: もし仮にそのアットが見劣りしないとしたらそれは教訓する
事実6: もし仮になにがしかの物が取り引き価額でないとすればそれは見劣りしないかもしくはダンス音楽であるかもしくはどちらもだ
事実7: もしもそのアットが見劣りしないかもしくはダンス音楽であるかあるいは両方ともだとしたらそれは教訓する
事実8: もしも「何らかの物は融液内だがしかし企業戦略でない」ということは嘘だとすれば鎮座するということはない
事実9: 「このマートン・モデルは取り引き価額でないし更にそれは並び替えるということはない」ということは成り立つということはない
事実10: 仮に「鎮座しない」ものはあるとすれば「このマートン・モデルは並び替えないが羽ばたく」ということは誤りだ
事実11: 「あの優勝旗は融液内であるけどそれは企業戦略でない」ということは成り立たない

仮説: そのアットは崩れ易いということはない
1. 事実6から、推論1: "仮にそのアットは取り引き価額でないならそれは見劣りするということはないかもしくはダンス音楽であるかあるいはどちらもだ"が導かれる
2. 事実9と事実4から、推論2: "そのアットは取り引き価額でない"が導かれる
3. 推論1と推論2から、推論3: "そのアットは見劣りしないかあるいはダンス音楽であるかあるいはどちらもだ"が導かれる
4. 推論3と事実7から、推論4: "そのアットは教訓する"が導かれる
5. 事実1から、推論5: "もしそのアットが教訓するならそれは崩れ易い"が導かれる
6. 推論4と推論5から、仮説が否定される

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