「このモーニング・コールは伝わり難いが羨ましくない」ということは事実と異なる
fact1: 「その次世代カートは形容し難いということはない一方で婿取りだ」ということは成り立たない fact2: このモーニング・コールはサーフィンでない fact3: もし「このモーニング・コールは婿取りでないけど形容し難い」ということは成り立たないとすればあの次世代カートは伝わり難くない fact4: もしもその次世代カートが伝わり難いとしたらこのモーニング・コールは形容し難くない fact5: この南西方位は羨ましいということはない fact6: もし「このモーニング・コールは婿取りでないけれど伝わり難い」ということは嘘であるとしたら「その次世代カートは形容し難いということはない」ということは成り立つ fact7: もし「その次世代カートは形容し難くないけど婿取りである」ということは成り立たないとしたらこのプログラミング言語は入力端子でない fact8: 「その次世代カートは婿取りでおまけに入力端子だ」ということは成り立たない fact9: 「このモーニング・コールは入力端子でない一方で伝わり難い」ということは成り立たない fact10: 「もし仮になんらかの物は入力端子であるということはないなら「それは伝わり難いがしかし羨ましくない」ということは成り立たない」ということは成り立つ fact11: 仮にこのプログラミング言語が入力端子でないならこのモーニング・コールは伝わり難いけれど羨ましくない fact12: 「このプログラミング言語は形容し難くて入力端子である」ということは成り立たない fact13: もしその次世代カートが入力端子であるとするとこのプログラミング言語は婿取りでない fact14: 「もしもその次世代カートが入力端子でないとしたらこのモーニング・コールは形容し難いけどそれは伝わり難いということはない」ということは成り立つ fact15: もしもその次世代カートが羨ましくないならばあのモーニング・コールは伝わり難いがそれは婿取りでない fact16: このモーニング・コールは貫くけれど尤もらしくない fact17: 「このモーニング・コールは伝わり難くないけれど形容し難い」ということは成り立たないならばあの次世代カートは婿取りでない fact18: 「このモーニング・コールは羨ましくないが形容し難い」ということは成り立たない fact19: 「このモーニング・コールは婿取りでないけど伝わり難い」ということは成り立つということはない
fact7 & fact1 -> int1: このプログラミング言語は入力端子であるということはない; int1 & fact11 -> hypothesis;
fact7 & fact1 -> int1: ¬{B}{b}; int1 & fact11 -> hypothesis;
「このモーニング・コールは伝わり難いがしかし羨ましくない」ということは成り立たない
fact20 -> int2: このモーニング・コールは入力端子でないとしたら「それは伝わり難い一方で羨ましくない」ということは本当でない;
$facts$ = fact1: 「その次世代カートは形容し難いということはない一方で婿取りだ」ということは成り立たない fact2: このモーニング・コールはサーフィンでない fact3: もし「このモーニング・コールは婿取りでないけど形容し難い」ということは成り立たないとすればあの次世代カートは伝わり難くない fact4: もしもその次世代カートが伝わり難いとしたらこのモーニング・コールは形容し難くない fact5: この南西方位は羨ましいということはない fact6: もし「このモーニング・コールは婿取りでないけれど伝わり難い」ということは嘘であるとしたら「その次世代カートは形容し難いということはない」ということは成り立つ fact7: もし「その次世代カートは形容し難くないけど婿取りである」ということは成り立たないとしたらこのプログラミング言語は入力端子でない fact8: 「その次世代カートは婿取りでおまけに入力端子だ」ということは成り立たない fact9: 「このモーニング・コールは入力端子でない一方で伝わり難い」ということは成り立たない fact10: 「もし仮になんらかの物は入力端子であるということはないなら「それは伝わり難いがしかし羨ましくない」ということは成り立たない」ということは成り立つ fact11: 仮にこのプログラミング言語が入力端子でないならこのモーニング・コールは伝わり難いけれど羨ましくない fact12: 「このプログラミング言語は形容し難くて入力端子である」ということは成り立たない fact13: もしその次世代カートが入力端子であるとするとこのプログラミング言語は婿取りでない fact14: 「もしもその次世代カートが入力端子でないとしたらこのモーニング・コールは形容し難いけどそれは伝わり難いということはない」ということは成り立つ fact15: もしもその次世代カートが羨ましくないならばあのモーニング・コールは伝わり難いがそれは婿取りでない fact16: このモーニング・コールは貫くけれど尤もらしくない fact17: 「このモーニング・コールは伝わり難くないけれど形容し難い」ということは成り立たないならばあの次世代カートは婿取りでない fact18: 「このモーニング・コールは羨ましくないが形容し難い」ということは成り立たない fact19: 「このモーニング・コールは婿取りでないけど伝わり難い」ということは成り立つということはない ; $hypothesis$ = 「このモーニング・コールは伝わり難いが羨ましくない」ということは事実と異なる ; $proof$ = 
fact7 & fact1 -> int1: このプログラミング言語は入力端子であるということはない; int1 & fact11 -> hypothesis; __DISPROVED__
事実1: 「その次世代カートは形容し難いということはない一方で婿取りだ」ということは成り立たない
事実2: このモーニング・コールはサーフィンでない
事実3: もし「このモーニング・コールは婿取りでないけど形容し難い」ということは成り立たないとすればあの次世代カートは伝わり難くない
事実4: もしもその次世代カートが伝わり難いとしたらこのモーニング・コールは形容し難くない
事実5: この南西方位は羨ましいということはない
事実6: もし「このモーニング・コールは婿取りでないけれど伝わり難い」ということは嘘であるとしたら「その次世代カートは形容し難いということはない」ということは成り立つ
事実7: もし「その次世代カートは形容し難くないけど婿取りである」ということは成り立たないとしたらこのプログラミング言語は入力端子でない
事実8: 「その次世代カートは婿取りでおまけに入力端子だ」ということは成り立たない
事実9: 「このモーニング・コールは入力端子でない一方で伝わり難い」ということは成り立たない
事実10: 「もし仮になんらかの物は入力端子であるということはないなら「それは伝わり難いがしかし羨ましくない」ということは成り立たない」ということは成り立つ
事実11: 仮にこのプログラミング言語が入力端子でないならこのモーニング・コールは伝わり難いけれど羨ましくない
事実12: 「このプログラミング言語は形容し難くて入力端子である」ということは成り立たない
事実13: もしその次世代カートが入力端子であるとするとこのプログラミング言語は婿取りでない
事実14: 「もしもその次世代カートが入力端子でないとしたらこのモーニング・コールは形容し難いけどそれは伝わり難いということはない」ということは成り立つ
事実15: もしもその次世代カートが羨ましくないならばあのモーニング・コールは伝わり難いがそれは婿取りでない
事実16: このモーニング・コールは貫くけれど尤もらしくない
事実17: 「このモーニング・コールは伝わり難くないけれど形容し難い」ということは成り立たないならばあの次世代カートは婿取りでない
事実18: 「このモーニング・コールは羨ましくないが形容し難い」ということは成り立たない
事実19: 「このモーニング・コールは婿取りでないけど伝わり難い」ということは成り立つということはない

仮説: 「このモーニング・コールは伝わり難いが羨ましくない」ということは事実と異なる
1. 事実7と事実1から、推論1: "このプログラミング言語は入力端子であるということはない"が導かれる
2. 推論1と事実11から、仮説が否定される

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