あのコリーは納得し易い
fact1: とあるものが最もらしいとすればそれは納得し易くない fact2: その無思慮は納得し易いとすれば「そのアンソロジーは圧力損失でなくて窄まない」ということは成り立たない fact3: 「その無思慮は圧力損失でないけれどそれは最もらしい」ということは誤っている fact4: とある物がインサートであるということはないとしたらその無思慮は圧力損失でない fact5: 何らかの物が聞き取り難いということはないとするとそれは納得し易くて更に最もらしい fact6: 「「飯田高原下車でないしインサートである」ということは成り立たない」物はある fact7: 「飯田高原下車でなくてインサートな」物はある fact8: もしもその無思慮は圧力損失でないならば「あのコリーは圧力損失であるということはなくて更にそれは最もらしくない」ということは成り立たない fact9: 「あるものは圧力損失でないしそれは最もらしくない」ということは本当でないなら納得し易くない fact10: 「あのコリーは飯田高原下車でない」ということは成り立つ fact11: 仮にとある物が省略しないならば最もらしくないが聞き取り難い fact12: 「「飯田高原下車だしさらにインサートだ」ということは嘘な」物はある fact13: 「「飯田高原下車だということはないしまたインサートである」ということは誤りな」物があるとすればその無思慮は圧力損失でない
fact6 & fact13 -> int1: その無思慮は圧力損失だということはない; int1 & fact8 -> int2: 「あのコリーは圧力損失でなくて最もらしくない」ということは成り立たない; fact9 -> int3: 「仮に「あのコリーが圧力損失でなくてその上最もらしいということはない」ということは成り立つということはないとするとあのコリーは納得し易くない」ということは正しい; int2 & int3 -> hypothesis;
あのコリーは納得し易い
fact14 -> int4: その無思慮が省略しないとするとそれは最もらしくないし更にそれは聞き取り難い;
$facts$ = fact1: とあるものが最もらしいとすればそれは納得し易くない fact2: その無思慮は納得し易いとすれば「そのアンソロジーは圧力損失でなくて窄まない」ということは成り立たない fact3: 「その無思慮は圧力損失でないけれどそれは最もらしい」ということは誤っている fact4: とある物がインサートであるということはないとしたらその無思慮は圧力損失でない fact5: 何らかの物が聞き取り難いということはないとするとそれは納得し易くて更に最もらしい fact6: 「「飯田高原下車でないしインサートである」ということは成り立たない」物はある fact7: 「飯田高原下車でなくてインサートな」物はある fact8: もしもその無思慮は圧力損失でないならば「あのコリーは圧力損失であるということはなくて更にそれは最もらしくない」ということは成り立たない fact9: 「あるものは圧力損失でないしそれは最もらしくない」ということは本当でないなら納得し易くない fact10: 「あのコリーは飯田高原下車でない」ということは成り立つ fact11: 仮にとある物が省略しないならば最もらしくないが聞き取り難い fact12: 「「飯田高原下車だしさらにインサートだ」ということは嘘な」物はある fact13: 「「飯田高原下車だということはないしまたインサートである」ということは誤りな」物があるとすればその無思慮は圧力損失でない ; $hypothesis$ = あのコリーは納得し易い ; $proof$ = 
fact6 & fact13 -> int1: その無思慮は圧力損失だということはない; int1 & fact8 -> int2: 「あのコリーは圧力損失でなくて最もらしくない」ということは成り立たない; fact9 -> int3: 「仮に「あのコリーが圧力損失でなくてその上最もらしいということはない」ということは成り立つということはないとするとあのコリーは納得し易くない」ということは正しい; int2 & int3 -> hypothesis; __DISPROVED__
事実1: とあるものが最もらしいとすればそれは納得し易くない
事実2: その無思慮は納得し易いとすれば「そのアンソロジーは圧力損失でなくて窄まない」ということは成り立たない
事実3: 「その無思慮は圧力損失でないけれどそれは最もらしい」ということは誤っている
事実4: とある物がインサートであるということはないとしたらその無思慮は圧力損失でない
事実5: 何らかの物が聞き取り難いということはないとするとそれは納得し易くて更に最もらしい
事実6: 「「飯田高原下車でないしインサートである」ということは成り立たない」物はある
事実7: 「飯田高原下車でなくてインサートな」物はある
事実8: もしもその無思慮は圧力損失でないならば「あのコリーは圧力損失であるということはなくて更にそれは最もらしくない」ということは成り立たない
事実9: 「あるものは圧力損失でないしそれは最もらしくない」ということは本当でないなら納得し易くない
事実10: 「あのコリーは飯田高原下車でない」ということは成り立つ
事実11: 仮にとある物が省略しないならば最もらしくないが聞き取り難い
事実12: 「「飯田高原下車だしさらにインサートだ」ということは嘘な」物はある
事実13: 「「飯田高原下車だということはないしまたインサートである」ということは誤りな」物があるとすればその無思慮は圧力損失でない

仮説: あのコリーは納得し易い
1. 事実6と事実13から、推論1: "その無思慮は圧力損失だということはない"が導かれる
2. 推論1と事実8から、推論2: "「あのコリーは圧力損失でなくて最もらしくない」ということは成り立たない"が導かれる
3. 事実9から、推論3: "「仮に「あのコリーが圧力損失でなくてその上最もらしいということはない」ということは成り立つということはないとするとあのコリーは納得し易くない」ということは正しい"が導かれる
4. 推論2と推論3から、仮説が否定される

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