「この尽忠報国はし難くないけど日本書記である」ということは成り立たない
fact1: とある物は可変しないとすると「それは突き通さないし加えて日本書記でない」ということは成り立たない fact2: この尽忠報国は目標設定だということはない fact3: あの沖振計はし難くない fact4: 「「この尽忠報国は突き通さなくてその上日本書記でない」ということは本当である」ということは成り立つということはないならば「この関ヶ原合戦は日本書記でない」ということは事実である fact5: 仮にあるものは遠出でないかあるいはし難いということはないかあるいはどちらもならし難くない fact6: あの剣士はし難くない fact7: この尽忠報国は収授である fact8: この尽忠報国は被対抗でないけど麻痺する fact9: そのオーバートレーニングはし難くないけどうする fact10: あの運行供用者責任は宣伝するとしたら「この尽忠報国は可変しないかもしくはそれは突き通さないかあるいはどちらもである」ということは成り立たない fact11: この尽忠報国はし難くない fact12: もしなにがしかの物は遠出でないなら「それはし難くないしさらにそれは日本書記だ」ということは成り立たない fact13: この十一時半頃は日本書記だということはない fact14: もしもあの運行供用者責任が可変するかあるいはそれが勃起しないかあるいは両方ともだとすればこの尽忠報国は可変しない fact15: この尽忠報国は日本書記だ fact16: 仮に「とある物は可変するということはないかあるいは突き通すということはない」ということは誤っているとすれば遠出でない fact17: もし「何かは日本書記だということはない」ということは間違っていないとすると遠出だということはないかあるいはし難いということはないかあるいは両方である
fact11 & fact15 -> hypothesis;
fact11 & fact15 -> hypothesis;
「この尽忠報国はし難くないけど日本書記だ」ということは成り立たない
fact19 -> int1: 仮にこの尽忠報国は遠出でないとすると「それはし難くないしまた日本書記だ」ということは間違っている; fact20 -> int2: 「「この尽忠報国は可変しないか突き通さないかまたはどちらもである」ということは成り立たないならばこの尽忠報国は遠出でない」ということは確かである;
$facts$ = fact1: とある物は可変しないとすると「それは突き通さないし加えて日本書記でない」ということは成り立たない fact2: この尽忠報国は目標設定だということはない fact3: あの沖振計はし難くない fact4: 「「この尽忠報国は突き通さなくてその上日本書記でない」ということは本当である」ということは成り立つということはないならば「この関ヶ原合戦は日本書記でない」ということは事実である fact5: 仮にあるものは遠出でないかあるいはし難いということはないかあるいはどちらもならし難くない fact6: あの剣士はし難くない fact7: この尽忠報国は収授である fact8: この尽忠報国は被対抗でないけど麻痺する fact9: そのオーバートレーニングはし難くないけどうする fact10: あの運行供用者責任は宣伝するとしたら「この尽忠報国は可変しないかもしくはそれは突き通さないかあるいはどちらもである」ということは成り立たない fact11: この尽忠報国はし難くない fact12: もしなにがしかの物は遠出でないなら「それはし難くないしさらにそれは日本書記だ」ということは成り立たない fact13: この十一時半頃は日本書記だということはない fact14: もしもあの運行供用者責任が可変するかあるいはそれが勃起しないかあるいは両方ともだとすればこの尽忠報国は可変しない fact15: この尽忠報国は日本書記だ fact16: 仮に「とある物は可変するということはないかあるいは突き通すということはない」ということは誤っているとすれば遠出でない fact17: もし「何かは日本書記だということはない」ということは間違っていないとすると遠出だということはないかあるいはし難いということはないかあるいは両方である ; $hypothesis$ = 「この尽忠報国はし難くないけど日本書記である」ということは成り立たない ; $proof$ = 
fact11 & fact15 -> hypothesis; __DISPROVED__
事実1: とある物は可変しないとすると「それは突き通さないし加えて日本書記でない」ということは成り立たない
事実2: この尽忠報国は目標設定だということはない
事実3: あの沖振計はし難くない
事実4: 「「この尽忠報国は突き通さなくてその上日本書記でない」ということは本当である」ということは成り立つということはないならば「この関ヶ原合戦は日本書記でない」ということは事実である
事実5: 仮にあるものは遠出でないかあるいはし難いということはないかあるいはどちらもならし難くない
事実6: あの剣士はし難くない
事実7: この尽忠報国は収授である
事実8: この尽忠報国は被対抗でないけど麻痺する
事実9: そのオーバートレーニングはし難くないけどうする
事実10: あの運行供用者責任は宣伝するとしたら「この尽忠報国は可変しないかもしくはそれは突き通さないかあるいはどちらもである」ということは成り立たない
事実11: この尽忠報国はし難くない
事実12: もしなにがしかの物は遠出でないなら「それはし難くないしさらにそれは日本書記だ」ということは成り立たない
事実13: この十一時半頃は日本書記だということはない
事実14: もしもあの運行供用者責任が可変するかあるいはそれが勃起しないかあるいは両方ともだとすればこの尽忠報国は可変しない
事実15: この尽忠報国は日本書記だ
事実16: 仮に「とある物は可変するということはないかあるいは突き通すということはない」ということは誤っているとすれば遠出でない
事実17: もし「何かは日本書記だということはない」ということは間違っていないとすると遠出だということはないかあるいはし難いということはないかあるいは両方である

仮説: 「この尽忠報国はし難くないけど日本書記である」ということは成り立たない
1. 事実11と事実15から、仮説が否定される

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