この推奨値は御忙しいかまたは学習出来ないかあるいは両方だ
fact1: もしもその待ち合わせスポットは御忙しくないならば「この推奨値は御忙しいかまたはそれは学習出来ない」ということは誤りである fact2: もし仮に「その待ち合わせスポットは判断し難い」ということは本当ならば失脚しない fact3: 「その待ち合わせスポットは判断し難くて実体化する」ということは成り立たない fact4: 「その待ち合わせスポットは判断し難くないけれど実体化する」ということは間違っている fact5: 「その待ち合わせスポットは判断し難くないが実体化する」ということは本当でないとしたら失脚しない fact6: もし仮にとある物は御忙しくないとすれば「それは判断し難いかもしくは打数でない」ということは間違っている fact7: もしあるものが失脚しないとしたらそれは御忙しいかもしくはそれは学習出来ないかあるいはどちらもだ fact8: 「この推奨値は御忙しい」ということは成り立たない fact9: もしも何かは失脚しないとしたら御忙しいということはない fact10: もし仮に「「御忙しいししかも失脚する」ということは成り立たない」ものがあるとするとあの楽譜は御忙しくない fact11: なんらかの物は県境でないなら「送達すしおまけに失脚する」ということは真実でない fact12: 「「この第二大隊は御忙しいかあるいは住み替えない」ということは成り立たない」ということは確かだ fact13: このハースト・キャッスルはネガレジストでない fact14: 仮になにがしかのものは学習出来ないとすれば「それは御忙しいししかも失脚する」ということは間違っている fact15: もしその待ち合わせスポットが御忙しくないならばこの推奨値は御忙しくない
fact5 & fact4 -> int1: その待ち合わせスポットは失脚しない; fact9 -> int2: もし仮に「その待ち合わせスポットは失脚するということはない」ということは成り立つとするとそれは御忙しいということはない; int1 & int2 -> int3: その待ち合わせスポットは御忙しくない; int3 & fact1 -> hypothesis;
「あの楽譜は判断し難いかもしくは打数でないか両方だ」ということは間違っている
fact18 -> int4: あの楽譜は御忙しくないとしたら「それは判断し難いかもしくは打数でないかまたは両方だ」ということは間違いである; fact17 -> int5: もしその待ち合わせスポットは学習出来ないとすれば「「それは御忙しくてまたそれは失脚する」ということは本当だ」ということは間違いである;
$facts$ = fact1: もしもその待ち合わせスポットは御忙しくないならば「この推奨値は御忙しいかまたはそれは学習出来ない」ということは誤りである fact2: もし仮に「その待ち合わせスポットは判断し難い」ということは本当ならば失脚しない fact3: 「その待ち合わせスポットは判断し難くて実体化する」ということは成り立たない fact4: 「その待ち合わせスポットは判断し難くないけれど実体化する」ということは間違っている fact5: 「その待ち合わせスポットは判断し難くないが実体化する」ということは本当でないとしたら失脚しない fact6: もし仮にとある物は御忙しくないとすれば「それは判断し難いかもしくは打数でない」ということは間違っている fact7: もしあるものが失脚しないとしたらそれは御忙しいかもしくはそれは学習出来ないかあるいはどちらもだ fact8: 「この推奨値は御忙しい」ということは成り立たない fact9: もしも何かは失脚しないとしたら御忙しいということはない fact10: もし仮に「「御忙しいししかも失脚する」ということは成り立たない」ものがあるとするとあの楽譜は御忙しくない fact11: なんらかの物は県境でないなら「送達すしおまけに失脚する」ということは真実でない fact12: 「「この第二大隊は御忙しいかあるいは住み替えない」ということは成り立たない」ということは確かだ fact13: このハースト・キャッスルはネガレジストでない fact14: 仮になにがしかのものは学習出来ないとすれば「それは御忙しいししかも失脚する」ということは間違っている fact15: もしその待ち合わせスポットが御忙しくないならばこの推奨値は御忙しくない ; $hypothesis$ = この推奨値は御忙しいかまたは学習出来ないかあるいは両方だ ; $proof$ = 
fact5 & fact4 -> int1: その待ち合わせスポットは失脚しない; fact9 -> int2: もし仮に「その待ち合わせスポットは失脚するということはない」ということは成り立つとするとそれは御忙しいということはない; int1 & int2 -> int3: その待ち合わせスポットは御忙しくない; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもその待ち合わせスポットは御忙しくないならば「この推奨値は御忙しいかまたはそれは学習出来ない」ということは誤りである
事実2: もし仮に「その待ち合わせスポットは判断し難い」ということは本当ならば失脚しない
事実3: 「その待ち合わせスポットは判断し難くて実体化する」ということは成り立たない
事実4: 「その待ち合わせスポットは判断し難くないけれど実体化する」ということは間違っている
事実5: 「その待ち合わせスポットは判断し難くないが実体化する」ということは本当でないとしたら失脚しない
事実6: もし仮にとある物は御忙しくないとすれば「それは判断し難いかもしくは打数でない」ということは間違っている
事実7: もしあるものが失脚しないとしたらそれは御忙しいかもしくはそれは学習出来ないかあるいはどちらもだ
事実8: 「この推奨値は御忙しい」ということは成り立たない
事実9: もしも何かは失脚しないとしたら御忙しいということはない
事実10: もし仮に「「御忙しいししかも失脚する」ということは成り立たない」ものがあるとするとあの楽譜は御忙しくない
事実11: なんらかの物は県境でないなら「送達すしおまけに失脚する」ということは真実でない
事実12: 「「この第二大隊は御忙しいかあるいは住み替えない」ということは成り立たない」ということは確かだ
事実13: このハースト・キャッスルはネガレジストでない
事実14: 仮になにがしかのものは学習出来ないとすれば「それは御忙しいししかも失脚する」ということは間違っている
事実15: もしその待ち合わせスポットが御忙しくないならばこの推奨値は御忙しくない

仮説: この推奨値は御忙しいかまたは学習出来ないかあるいは両方だ
1. 事実5と事実4から、推論1: "その待ち合わせスポットは失脚しない"が導かれる
2. 事実9から、推論2: "もし仮に「その待ち合わせスポットは失脚するということはない」ということは成り立つとするとそれは御忙しいということはない"が導かれる
3. 推論1と推論2から、推論3: "その待ち合わせスポットは御忙しくない"が導かれる
4. 推論3と事実1から、仮説が否定される

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