あの年寄りは読み難くない
fact1: 「その研修会は塩茹でするしおまけにそれは阿呆らしい」ということは事実と異なる fact2: 仮に何らかの物が戻るとしたらそれは悶え苦しむ fact3: もし仮にあの年寄りが賦課するということはないとすれば自転車通勤だ fact4: その研修会はＲＡＷ＿データフォルダであるしそれにそれは培う fact5: もし「あるものは培う」ということは成り立つとすると「それは塩茹でするしさらに阿呆らしい」ということは成り立たない fact6: もし「何らかの物は賦課しない」ということは正しいとすれば自転車通勤である fact7: あの年寄りは自転車通勤である fact8: あの年寄りは下茹でするしまたＲＡＷ＿データフォルダである fact9: 「その研修会は戻る」ということは本当であるならそれは悶え苦しむ fact10: もし仮に「その研修会は大量摂取するかあるいは悶え苦しむかどちらもである」ということは嘘であるならあの年寄りは賦課しない fact11: 「その研修会は大量摂取するかまたは悶え苦しまないか両方ともである」ということは偽であるとしたらあの年寄りは賦課しない fact12: 「その研修会は悶え苦しむ」ということは真実である fact13: その研修会は御叱るししかもそれは支度する fact14: もしも「なんらかの物は塩茹でするがしかしそれは阿呆らしくない」ということは成り立たないとすればそれは開き過ぎる fact15: もしもなんらかの物が培うということはないならばそれがＲＡＷ＿データフォルダだししかもそれは読み難くない fact16: 仮になんらかのものが開き過ぎれば戻る fact17: 「阿呆らしいものは開き過ぎる」ということは正しい fact18: 仮に「なんらかの物は培う」ということは確かだとしたら「それは塩茹でするがしかし阿呆らしくない」ということは誤りだ fact19: もしあるものが賦課しないならば自転車通勤だしそれに読み難い fact20: その研修会はＲＡＷ＿データフォルダだ fact21: 「その研修会は阿呆らしい」ということは成り立つとすると開き過ぎる fact22: 「もしもその研修会は培えば「その研修会は塩茹でするし阿呆らしい」ということは偽だ」ということは成り立つ fact23: もし仮になんらかのものは戻るなら「それは大量摂取するかそれは悶え苦しまないかまたはどちらもだ」ということは成り立たない
fact4 -> int1: その研修会は培う; fact18 -> int2: もしもその研修会は培うとすると「塩茹でするしそれにそれは阿呆らしくない」ということは間違いだ; int1 & int2 -> int3: 「その研修会は塩茹でするが阿呆らしくない」ということは嘘である; fact14 -> int4: もし仮に「その研修会は塩茹でするがしかし阿呆らしくない」ということは間違いであるなら開き過ぎる; int3 & int4 -> int5: 「その研修会は開き過ぎる」ということは成り立つ; fact16 -> int6: その研修会が開き過ぎればそれは戻る; int5 & int6 -> int7: その研修会は戻る; fact23 -> int8: もしその研修会は戻るとすれば「大量摂取するかあるいは悶え苦しむということはない」ということは誤っている; int7 & int8 -> int9: 「「その研修会は大量摂取するかまたはそれは悶え苦しまないかあるいはどちらもだ」ということは間違いである」ということは事実だ; int9 & fact11 -> int10: あの年寄りは賦課しない; fact19 -> int11: もし仮にあの年寄りが賦課しないならばそれが自転車通勤だしまた読み難い; int10 & int11 -> int12: あの年寄りは自転車通勤であるしそれに読み難い; int12 -> hypothesis;
あの年寄りは読み難くない
fact24 -> int13: もし「あの年寄りは培わない」ということは成り立つとすればそれがＲＡＷ＿データフォルダだしそれは読み難くない;
$facts$ = fact1: 「その研修会は塩茹でするしおまけにそれは阿呆らしい」ということは事実と異なる fact2: 仮に何らかの物が戻るとしたらそれは悶え苦しむ fact3: もし仮にあの年寄りが賦課するということはないとすれば自転車通勤だ fact4: その研修会はＲＡＷ＿データフォルダであるしそれにそれは培う fact5: もし「あるものは培う」ということは成り立つとすると「それは塩茹でするしさらに阿呆らしい」ということは成り立たない fact6: もし「何らかの物は賦課しない」ということは正しいとすれば自転車通勤である fact7: あの年寄りは自転車通勤である fact8: あの年寄りは下茹でするしまたＲＡＷ＿データフォルダである fact9: 「その研修会は戻る」ということは本当であるならそれは悶え苦しむ fact10: もし仮に「その研修会は大量摂取するかあるいは悶え苦しむかどちらもである」ということは嘘であるならあの年寄りは賦課しない fact11: 「その研修会は大量摂取するかまたは悶え苦しまないか両方ともである」ということは偽であるとしたらあの年寄りは賦課しない fact12: 「その研修会は悶え苦しむ」ということは真実である fact13: その研修会は御叱るししかもそれは支度する fact14: もしも「なんらかの物は塩茹でするがしかしそれは阿呆らしくない」ということは成り立たないとすればそれは開き過ぎる fact15: もしもなんらかの物が培うということはないならばそれがＲＡＷ＿データフォルダだししかもそれは読み難くない fact16: 仮になんらかのものが開き過ぎれば戻る fact17: 「阿呆らしいものは開き過ぎる」ということは正しい fact18: 仮に「なんらかの物は培う」ということは確かだとしたら「それは塩茹でするがしかし阿呆らしくない」ということは誤りだ fact19: もしあるものが賦課しないならば自転車通勤だしそれに読み難い fact20: その研修会はＲＡＷ＿データフォルダだ fact21: 「その研修会は阿呆らしい」ということは成り立つとすると開き過ぎる fact22: 「もしもその研修会は培えば「その研修会は塩茹でするし阿呆らしい」ということは偽だ」ということは成り立つ fact23: もし仮になんらかのものは戻るなら「それは大量摂取するかそれは悶え苦しまないかまたはどちらもだ」ということは成り立たない ; $hypothesis$ = あの年寄りは読み難くない ; $proof$ = 
fact4 -> int1: その研修会は培う; fact18 -> int2: もしもその研修会は培うとすると「塩茹でするしそれにそれは阿呆らしくない」ということは間違いだ; int1 & int2 -> int3: 「その研修会は塩茹でするが阿呆らしくない」ということは嘘である; fact14 -> int4: もし仮に「その研修会は塩茹でするがしかし阿呆らしくない」ということは間違いであるなら開き過ぎる; int3 & int4 -> int5: 「その研修会は開き過ぎる」ということは成り立つ; fact16 -> int6: その研修会が開き過ぎればそれは戻る; int5 & int6 -> int7: その研修会は戻る; fact23 -> int8: もしその研修会は戻るとすれば「大量摂取するかあるいは悶え苦しむということはない」ということは誤っている; int7 & int8 -> int9: 「「その研修会は大量摂取するかまたはそれは悶え苦しまないかあるいはどちらもだ」ということは間違いである」ということは事実だ; int9 & fact11 -> int10: あの年寄りは賦課しない; fact19 -> int11: もし仮にあの年寄りが賦課しないならばそれが自転車通勤だしまた読み難い; int10 & int11 -> int12: あの年寄りは自転車通勤であるしそれに読み難い; int12 -> hypothesis; __DISPROVED__
事実1: 「その研修会は塩茹でするしおまけにそれは阿呆らしい」ということは事実と異なる
事実2: 仮に何らかの物が戻るとしたらそれは悶え苦しむ
事実3: もし仮にあの年寄りが賦課するということはないとすれば自転車通勤だ
事実4: その研修会はＲＡＷ＿データフォルダであるしそれにそれは培う
事実5: もし「あるものは培う」ということは成り立つとすると「それは塩茹でするしさらに阿呆らしい」ということは成り立たない
事実6: もし「何らかの物は賦課しない」ということは正しいとすれば自転車通勤である
事実7: あの年寄りは自転車通勤である
事実8: あの年寄りは下茹でするしまたＲＡＷ＿データフォルダである
事実9: 「その研修会は戻る」ということは本当であるならそれは悶え苦しむ
事実10: もし仮に「その研修会は大量摂取するかあるいは悶え苦しむかどちらもである」ということは嘘であるならあの年寄りは賦課しない
事実11: 「その研修会は大量摂取するかまたは悶え苦しまないか両方ともである」ということは偽であるとしたらあの年寄りは賦課しない
事実12: 「その研修会は悶え苦しむ」ということは真実である
事実13: その研修会は御叱るししかもそれは支度する
事実14: もしも「なんらかの物は塩茹でするがしかしそれは阿呆らしくない」ということは成り立たないとすればそれは開き過ぎる
事実15: もしもなんらかの物が培うということはないならばそれがＲＡＷ＿データフォルダだししかもそれは読み難くない
事実16: 仮になんらかのものが開き過ぎれば戻る
事実17: 「阿呆らしいものは開き過ぎる」ということは正しい
事実18: 仮に「なんらかの物は培う」ということは確かだとしたら「それは塩茹でするがしかし阿呆らしくない」ということは誤りだ
事実19: もしあるものが賦課しないならば自転車通勤だしそれに読み難い
事実20: その研修会はＲＡＷ＿データフォルダだ
事実21: 「その研修会は阿呆らしい」ということは成り立つとすると開き過ぎる
事実22: 「もしもその研修会は培えば「その研修会は塩茹でするし阿呆らしい」ということは偽だ」ということは成り立つ
事実23: もし仮になんらかのものは戻るなら「それは大量摂取するかそれは悶え苦しまないかまたはどちらもだ」ということは成り立たない

仮説: あの年寄りは読み難くない
1. 事実4から、推論1: "その研修会は培う"が導かれる
2. 事実18から、推論2: "もしもその研修会は培うとすると「塩茹でするしそれにそれは阿呆らしくない」ということは間違いだ"が導かれる
3. 推論1と推論2から、推論3: "「その研修会は塩茹でするが阿呆らしくない」ということは嘘である"が導かれる
4. 事実14から、推論4: "もし仮に「その研修会は塩茹でするがしかし阿呆らしくない」ということは間違いであるなら開き過ぎる"が導かれる
5. 推論3と推論4から、推論5: "「その研修会は開き過ぎる」ということは成り立つ"が導かれる
6. 事実16から、推論6: "その研修会が開き過ぎればそれは戻る"が導かれる
7. 推論5と推論6から、推論7: "その研修会は戻る"が導かれる
8. 事実23から、推論8: "もしその研修会は戻るとすれば「大量摂取するかあるいは悶え苦しむということはない」ということは誤っている"が導かれる
9. 推論7と推論8から、推論9: "「「その研修会は大量摂取するかまたはそれは悶え苦しまないかあるいはどちらもだ」ということは間違いである」ということは事実だ"が導かれる
10. 推論9と事実11から、推論10: "あの年寄りは賦課しない"が導かれる
11. 事実19から、推論11: "もし仮にあの年寄りが賦課しないならばそれが自転車通勤だしまた読み難い"が導かれる
12. 推論10と推論11から、推論12: "あの年寄りは自転車通勤であるしそれに読み難い"が導かれる
13. 推論12から、仮説が否定される

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