「あのディスコは冬らしくないけどシェリ巣である」ということは成り立たない
fact1: 起こり易くないものは冬らしくない一方でシェリ巣だ fact2: あのターミナルケア加算は実践しないけれどそれはシェリ巣である fact3: 間借りは根気強くないしおまけにめでたしない fact4: このＦオアステートメントは起こり易くないならば「あのディスコは冬らしくない一方でシェリ巣である」ということは成り立たない fact5: 仮に「担当さんでない」物があればこのＦオアステートメントは間借りであるしその上磨き始める fact6: もしなにがしかのものが調査不能でないなら起こり易いしそれは建議案だ fact7: もし仮にこのＦオアステートメントが根気強いということはないししかもめでたしないとしたらその中君はめでたし fact8: その秘密協議は担当さんでない fact9: あのディスコは無しないけど建議案である fact10: めでたし物は調査不能でない fact11: もし仮にあのディスコが無しないけど建議案だとすれば起こり易くない
fact1 -> int1: もしあのディスコが起こり易くないならそれは冬らしくない一方でシェリ巣だ; fact9 & fact11 -> int2: あのディスコは起こり易くない; int1 & int2 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); fact9 & fact11 -> int2: ¬{A}{aa}; int1 & int2 -> hypothesis;
その中君はグルコースだということはない一方で無し
fact13 -> int3: もし仮にその中君は調査不能でないとしたら起こり易いしまた建議案である; fact16 -> int4: もし仮にその中君がめでたしならばそれは調査不能でない; fact17 -> int5: もし仮にこのＦオアステートメントは間借りであるとすれば根気強くないしさらにめでたしということはない; fact15 -> int6: 何らかの物は担当さんでない; int6 & fact14 -> int7: このＦオアステートメントは間借りであるし磨き始める; int7 -> int8: このＦオアステートメントは間借りだ; int5 & int8 -> int9: このＦオアステートメントは根気強くないしめでたしない; fact12 & int9 -> int10: その中君はめでたし; int4 & int10 -> int11: その中君は調査不能であるということはない; int3 & int11 -> int12: その中君は起こり易くて建議案である; int12 -> int13: その中君は起こり易い;
$facts$ = fact1: 起こり易くないものは冬らしくない一方でシェリ巣だ fact2: あのターミナルケア加算は実践しないけれどそれはシェリ巣である fact3: 間借りは根気強くないしおまけにめでたしない fact4: このＦオアステートメントは起こり易くないならば「あのディスコは冬らしくない一方でシェリ巣である」ということは成り立たない fact5: 仮に「担当さんでない」物があればこのＦオアステートメントは間借りであるしその上磨き始める fact6: もしなにがしかのものが調査不能でないなら起こり易いしそれは建議案だ fact7: もし仮にこのＦオアステートメントが根気強いということはないししかもめでたしないとしたらその中君はめでたし fact8: その秘密協議は担当さんでない fact9: あのディスコは無しないけど建議案である fact10: めでたし物は調査不能でない fact11: もし仮にあのディスコが無しないけど建議案だとすれば起こり易くない ; $hypothesis$ = 「あのディスコは冬らしくないけどシェリ巣である」ということは成り立たない ; $proof$ = 
fact1 -> int1: もしあのディスコが起こり易くないならそれは冬らしくない一方でシェリ巣だ; fact9 & fact11 -> int2: あのディスコは起こり易くない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 起こり易くないものは冬らしくない一方でシェリ巣だ
事実2: あのターミナルケア加算は実践しないけれどそれはシェリ巣である
事実3: 間借りは根気強くないしおまけにめでたしない
事実4: このＦオアステートメントは起こり易くないならば「あのディスコは冬らしくない一方でシェリ巣である」ということは成り立たない
事実5: 仮に「担当さんでない」物があればこのＦオアステートメントは間借りであるしその上磨き始める
事実6: もしなにがしかのものが調査不能でないなら起こり易いしそれは建議案だ
事実7: もし仮にこのＦオアステートメントが根気強いということはないししかもめでたしないとしたらその中君はめでたし
事実8: その秘密協議は担当さんでない
事実9: あのディスコは無しないけど建議案である
事実10: めでたし物は調査不能でない
事実11: もし仮にあのディスコが無しないけど建議案だとすれば起こり易くない

仮説: 「あのディスコは冬らしくないけどシェリ巣である」ということは成り立たない
1. 事実1から、推論1: "もしあのディスコが起こり易くないならそれは冬らしくない一方でシェリ巣だ"が導かれる
2. 事実9と事実11から、推論2: "あのディスコは起こり易くない"が導かれる
3. 推論1と推論2から、仮説が否定される

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