「「そのノブレス・オブリージュは槍術でおまけに解し難い」ということは確かだということはない」ということは事実だ
fact1: もし仮に「この大学生は御着きに成らないがしかし山田隊だ」ということは成り立たないとすればあの分譲マンションは税理士事務所だ fact2: もし仮にこの大学生はカセットでないとすれば「それは御着きに成るということはないがしかし山田隊だ」ということは成り立たない fact3: もしもこの分譲マンションは槍術でないとしたら「それは痛覚過敏発現であるということはないけれど税理士事務所である」ということは嘘だ fact4: この大学生はカセットでない fact5: この分譲マンションは増える fact6: 力強い物は槍術だ fact7: その酒菜は御着きに成る fact8: その酒菜が増えないならばそのノブレス・オブリージュは力強いし管理人である fact9: 仮にそのノブレス・オブリージュが大面積ならそれは痛覚過敏発現である fact10: なんらかのものは痛覚過敏発現であるならば解し難い fact11: そのノブレス・オブリージュは大面積だ fact12: オーステナイトデンドライトは増えらない fact13: もし仮にこの分譲マンションが税理士事務所ならその酒菜はオーステナイトデンドライトである fact14: このロッジは解し難い
fact2 & fact4 -> int1: 「この大学生は御着きに成るということはない一方でそれは山田隊である」ということは偽だ; int1 & fact1 -> int2: この分譲マンションは税理士事務所である; int2 & fact13 -> int3: その酒菜はオーステナイトデンドライトである; fact12 -> int4: もしその酒菜はオーステナイトデンドライトであるとしたら増えらない; int3 & int4 -> int5: その酒菜は増えらない; int5 & fact8 -> int6: そのノブレス・オブリージュは力強いしおまけにそれは管理人だ; int6 -> int7: そのノブレス・オブリージュは力強い; fact6 -> int8: もし仮にそのノブレス・オブリージュが力強いならば槍術である; int7 & int8 -> int9: そのノブレス・オブリージュは槍術だ; fact9 & fact11 -> int10: そのノブレス・オブリージュは痛覚過敏発現だ; fact10 -> int11: もしもそのノブレス・オブリージュが痛覚過敏発現だとすればそれは解し難い; int10 & int11 -> int12: そのノブレス・オブリージュは解し難い; int9 & int12 -> hypothesis;
$facts$ = fact1: もし仮に「この大学生は御着きに成らないがしかし山田隊だ」ということは成り立たないとすればあの分譲マンションは税理士事務所だ fact2: もし仮にこの大学生はカセットでないとすれば「それは御着きに成るということはないがしかし山田隊だ」ということは成り立たない fact3: もしもこの分譲マンションは槍術でないとしたら「それは痛覚過敏発現であるということはないけれど税理士事務所である」ということは嘘だ fact4: この大学生はカセットでない fact5: この分譲マンションは増える fact6: 力強い物は槍術だ fact7: その酒菜は御着きに成る fact8: その酒菜が増えないならばそのノブレス・オブリージュは力強いし管理人である fact9: 仮にそのノブレス・オブリージュが大面積ならそれは痛覚過敏発現である fact10: なんらかのものは痛覚過敏発現であるならば解し難い fact11: そのノブレス・オブリージュは大面積だ fact12: オーステナイトデンドライトは増えらない fact13: もし仮にこの分譲マンションが税理士事務所ならその酒菜はオーステナイトデンドライトである fact14: このロッジは解し難い ; $hypothesis$ = 「「そのノブレス・オブリージュは槍術でおまけに解し難い」ということは確かだということはない」ということは事実だ ; $proof$ = 
fact2 & fact4 -> int1: 「この大学生は御着きに成るということはない一方でそれは山田隊である」ということは偽だ; int1 & fact1 -> int2: この分譲マンションは税理士事務所である; int2 & fact13 -> int3: その酒菜はオーステナイトデンドライトである; fact12 -> int4: もしその酒菜はオーステナイトデンドライトであるとしたら増えらない; int3 & int4 -> int5: その酒菜は増えらない; int5 & fact8 -> int6: そのノブレス・オブリージュは力強いしおまけにそれは管理人だ; int6 -> int7: そのノブレス・オブリージュは力強い; fact6 -> int8: もし仮にそのノブレス・オブリージュが力強いならば槍術である; int7 & int8 -> int9: そのノブレス・オブリージュは槍術だ; fact9 & fact11 -> int10: そのノブレス・オブリージュは痛覚過敏発現だ; fact10 -> int11: もしもそのノブレス・オブリージュが痛覚過敏発現だとすればそれは解し難い; int10 & int11 -> int12: そのノブレス・オブリージュは解し難い; int9 & int12 -> hypothesis; __DISPROVED__
事実1: もし仮に「この大学生は御着きに成らないがしかし山田隊だ」ということは成り立たないとすればあの分譲マンションは税理士事務所だ
事実2: もし仮にこの大学生はカセットでないとすれば「それは御着きに成るということはないがしかし山田隊だ」ということは成り立たない
事実3: もしもこの分譲マンションは槍術でないとしたら「それは痛覚過敏発現であるということはないけれど税理士事務所である」ということは嘘だ
事実4: この大学生はカセットでない
事実5: この分譲マンションは増える
事実6: 力強い物は槍術だ
事実7: その酒菜は御着きに成る
事実8: その酒菜が増えないならばそのノブレス・オブリージュは力強いし管理人である
事実9: 仮にそのノブレス・オブリージュが大面積ならそれは痛覚過敏発現である
事実10: なんらかのものは痛覚過敏発現であるならば解し難い
事実11: そのノブレス・オブリージュは大面積だ
事実12: オーステナイトデンドライトは増えらない
事実13: もし仮にこの分譲マンションが税理士事務所ならその酒菜はオーステナイトデンドライトである
事実14: このロッジは解し難い

仮説: 「「そのノブレス・オブリージュは槍術でおまけに解し難い」ということは確かだということはない」ということは事実だ
1. 事実2と事実4から、推論1: "「この大学生は御着きに成るということはない一方でそれは山田隊である」ということは偽だ"が導かれる
2. 推論1と事実1から、推論2: "この分譲マンションは税理士事務所である"が導かれる
3. 推論2と事実13から、推論3: "その酒菜はオーステナイトデンドライトである"が導かれる
4. 事実12から、推論4: "もしその酒菜はオーステナイトデンドライトであるとしたら増えらない"が導かれる
5. 推論3と推論4から、推論5: "その酒菜は増えらない"が導かれる
6. 推論5と事実8から、推論6: "そのノブレス・オブリージュは力強いしおまけにそれは管理人だ"が導かれる
7. 推論6から、推論7: "そのノブレス・オブリージュは力強い"が導かれる
8. 事実6から、推論8: "もし仮にそのノブレス・オブリージュが力強いならば槍術である"が導かれる
9. 推論7と推論8から、推論9: "そのノブレス・オブリージュは槍術だ"が導かれる
10. 事実9と事実11から、推論10: "そのノブレス・オブリージュは痛覚過敏発現だ"が導かれる
11. 事実10から、推論11: "もしもそのノブレス・オブリージュが痛覚過敏発現だとすればそれは解し難い"が導かれる
12. 推論10と推論11から、推論12: "そのノブレス・オブリージュは解し難い"が導かれる
13. 推論9と推論12から、仮説が否定される

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