「なにがしかの物は拭い難いかまたは生活し易い」ということは成り立たない
fact1: 仮にこの薬学部は椿花であるとしたら「パラメーターである」ということは真実だ fact2: もし仮に「頬張らない」物はあるとしたら「この薬学部は椿花だ」ということは成り立つ fact3: なにかは胸苦しいかそれは地べたであるかまたはどちらもである fact4: 「もし仮に「地べたでない」ものはあるなら「このタイトル部分は生活し易い」ということは確かだ」ということは成り立つ fact5: 「生活し易くない」ものがあるとすればあの網膜剥離は誇らしい fact6: 「燃え易いかもしくは論断するか両方である」ものはある fact7: この要育児度は太り易い fact8: 「この宇宙戦艦ヤマトは地べただ」ということは真実である fact9: この要育児度が生活し易いならこのタイトル部分は地べたである fact10: このタイトル部分は拭い難いかまたは椿花だ fact11: 「胸苦しいかまたは地べたでないかあるいはどちらもな」ものがあればこのタイトル部分は生活し易い fact12: この要育児度が地べただとすると太り易い fact13: あの母親は仕方無いかまたは入れるかまたは両方ともである fact14: この薬学部は椿花だ fact15: このタイトル部分は椿花であるかまたは生活し易くないかまたは両方ともである fact16: 「身軽いかあるいは用いられ方でない」ものはある fact17: 仮にこのタイトル部分がパラメーターであるとするとこの薬学部は生活し易い fact18: もしこの薬学部がパラメーターであるとするとこの宇宙戦艦ヤマトは太り易い fact19: もしこの薬学部が地べただとすればあの要育児度はパラメーターである fact20: あの形式的意味は椿花である fact21: もしも「この薬学部は太り易い」ということは嘘でないとしたらパラメーターである fact22: この要育児度は胸苦しいか地べただ fact23: 仮にこの宇宙戦艦ヤマトが太り易いならばあの要育児度は胸苦しい
fact1 & fact14 -> int1: この薬学部はパラメーターである; int1 & fact18 -> int2: 「この宇宙戦艦ヤマトは太り易い」ということは確かだ; int2 & fact23 -> int3: この要育児度は胸苦しい; int3 -> int4: この要育児度は胸苦しいか地べただということはないかまたはどちらもである; int4 -> int5: ある物は胸苦しいかまたは地べたでないかもしくは両方ともである; int5 & fact11 -> int6: このタイトル部分は生活し易い; int6 -> int7: このタイトル部分は拭い難いかまたはそれは生活し易いかまたはどちらもである; int7 -> hypothesis;
$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$ = 
fact1 & fact14 -> int1: この薬学部はパラメーターである; int1 & fact18 -> int2: 「この宇宙戦艦ヤマトは太り易い」ということは確かだ; int2 & fact23 -> int3: この要育児度は胸苦しい; int3 -> int4: この要育児度は胸苦しいか地べただということはないかまたはどちらもである; int4 -> int5: ある物は胸苦しいかまたは地べたでないかもしくは両方ともである; int5 & fact11 -> int6: このタイトル部分は生活し易い; int6 -> int7: このタイトル部分は拭い難いかまたはそれは生活し易いかまたはどちらもである; int7 -> 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. 事実1と事実14から、推論1: "この薬学部はパラメーターである"が導かれる
2. 推論1と事実18から、推論2: "「この宇宙戦艦ヤマトは太り易い」ということは確かだ"が導かれる
3. 推論2と事実23から、推論3: "この要育児度は胸苦しい"が導かれる
4. 推論3から、推論4: "この要育児度は胸苦しいか地べただということはないかまたはどちらもである"が導かれる
5. 推論4から、推論5: "ある物は胸苦しいかまたは地べたでないかもしくは両方ともである"が導かれる
6. 推論5と事実11から、推論6: "このタイトル部分は生活し易い"が導かれる
7. 推論6から、推論7: "このタイトル部分は拭い難いかまたはそれは生活し易いかまたはどちらもである"が導かれる
8. 推論7から、仮説が否定される

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