「この抄物は愛くるしくないかあるいは蘇州夜曲であるかあるいはどちらもである」ということは成り立たない
fact1: 仮に「何らかのものは根津権現祭であるししても良い」ということは間違いであるとしたらそれは三十三ページ参照でない fact2: 仮にそのテルが三十三ページ参照ならばあの鉄路は任さないけど寒々しい fact3: もしあの従業員等が歩き易いとすればそれは社会福祉法人である fact4: もし「その鋏は人懐こくないしおまけに探れない」ということは確かでないとするとその鉄路は人懐こいということはない fact5: もし「「何らかの物は歩き易くなくてそれに人懐こくない」ということは本当である」ということは成り立たないとすると社会福祉法人だ fact6: もしもその鉄路が任さないけれどそれが寒々しいならその鋏はしても良い fact7: もしもその鉄路は社会福祉法人であるということはないとすると「そのテルは根津権現祭だしそれにしても良い」ということは本当でない fact8: その鋏がしても良くてそれに根津権現祭だとするとあの従業員等は社会福祉法人でない fact9: そのテルは愛くるしくない fact10: 「もしもその鋏は取得し易いなら「「その鋏が人懐こくないしさらにそれは探れない」ということは正しい」ということは誤りである」ということは事実だ fact11: もし何かは根津権現祭でないならばあの抄物は愛くるしいかあるいは蘇州夜曲であるかどちらもである fact12: そのテルは三十三ページ参照である fact13: 仮にそのテルがしても良くないならばこの在来は三十三ページ参照だしかつ歩き易い fact14: もし仮にその鉄路はしても良くないがしかし社会福祉法人なら「そのテルはしても良くない」ということは本当だ fact15: 仮にそのテルは三十三ページ参照でないとすると「この抄物は愛くるしくないかまたは蘇州夜曲であるかまたは両方だ」ということは偽である fact16: 「根津権現祭でない」ものがあるとするとこの抄物は愛くるしくないかあるいは蘇州夜曲であるかまたはどちらもである fact17: 「あの従業員等は歩き易くなくてその上それは人懐こくない」ということは偽である
fact2 & fact12 -> int1: その鉄路は任さないけど寒々しい; int1 & fact6 -> int2: その鋏はしても良い; void -> assump1: 以下のように仮定する。その鋏は根津権現祭だ; int2 & assump1 -> int3: その鋏はしても良いししかもそれは根津権現祭である; int3 & fact8 -> int4: あの従業員等は社会福祉法人でない; fact5 -> int5: 仮に「あの従業員等は歩き易いということはないしそれに人懐こくない」ということは誤りだとすればそれは社会福祉法人である; fact17 & int5 -> int6: あの従業員等は社会福祉法人である; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その鋏は根津権現祭でない; int8 -> int9: 「根津権現祭であるということはない」物はある; int9 & fact16 -> hypothesis;
「この抄物は愛くるしくないか蘇州夜曲であるかどちらもである」ということは成り立たない
fact19 -> int10: もし仮に「そのテルが根津権現祭だし更にそれはしても良い」ということは成り立たないならば三十三ページ参照でない;
$facts$ = fact1: 仮に「何らかのものは根津権現祭であるししても良い」ということは間違いであるとしたらそれは三十三ページ参照でない fact2: 仮にそのテルが三十三ページ参照ならばあの鉄路は任さないけど寒々しい fact3: もしあの従業員等が歩き易いとすればそれは社会福祉法人である fact4: もし「その鋏は人懐こくないしおまけに探れない」ということは確かでないとするとその鉄路は人懐こいということはない fact5: もし「「何らかの物は歩き易くなくてそれに人懐こくない」ということは本当である」ということは成り立たないとすると社会福祉法人だ fact6: もしもその鉄路が任さないけれどそれが寒々しいならその鋏はしても良い fact7: もしもその鉄路は社会福祉法人であるということはないとすると「そのテルは根津権現祭だしそれにしても良い」ということは本当でない fact8: その鋏がしても良くてそれに根津権現祭だとするとあの従業員等は社会福祉法人でない fact9: そのテルは愛くるしくない fact10: 「もしもその鋏は取得し易いなら「「その鋏が人懐こくないしさらにそれは探れない」ということは正しい」ということは誤りである」ということは事実だ fact11: もし何かは根津権現祭でないならばあの抄物は愛くるしいかあるいは蘇州夜曲であるかどちらもである fact12: そのテルは三十三ページ参照である fact13: 仮にそのテルがしても良くないならばこの在来は三十三ページ参照だしかつ歩き易い fact14: もし仮にその鉄路はしても良くないがしかし社会福祉法人なら「そのテルはしても良くない」ということは本当だ fact15: 仮にそのテルは三十三ページ参照でないとすると「この抄物は愛くるしくないかまたは蘇州夜曲であるかまたは両方だ」ということは偽である fact16: 「根津権現祭でない」ものがあるとするとこの抄物は愛くるしくないかあるいは蘇州夜曲であるかまたはどちらもである fact17: 「あの従業員等は歩き易くなくてその上それは人懐こくない」ということは偽である ; $hypothesis$ = 「この抄物は愛くるしくないかあるいは蘇州夜曲であるかあるいはどちらもである」ということは成り立たない ; $proof$ = 
fact2 & fact12 -> int1: その鉄路は任さないけど寒々しい; int1 & fact6 -> int2: その鋏はしても良い; void -> assump1: 以下のように仮定する。その鋏は根津権現祭だ; int2 & assump1 -> int3: その鋏はしても良いししかもそれは根津権現祭である; int3 & fact8 -> int4: あの従業員等は社会福祉法人でない; fact5 -> int5: 仮に「あの従業員等は歩き易いということはないしそれに人懐こくない」ということは誤りだとすればそれは社会福祉法人である; fact17 & int5 -> int6: あの従業員等は社会福祉法人である; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その鋏は根津権現祭でない; int8 -> int9: 「根津権現祭であるということはない」物はある; int9 & fact16 -> hypothesis; __DISPROVED__
事実1: 仮に「何らかのものは根津権現祭であるししても良い」ということは間違いであるとしたらそれは三十三ページ参照でない
事実2: 仮にそのテルが三十三ページ参照ならばあの鉄路は任さないけど寒々しい
事実3: もしあの従業員等が歩き易いとすればそれは社会福祉法人である
事実4: もし「その鋏は人懐こくないしおまけに探れない」ということは確かでないとするとその鉄路は人懐こいということはない
事実5: もし「「何らかの物は歩き易くなくてそれに人懐こくない」ということは本当である」ということは成り立たないとすると社会福祉法人だ
事実6: もしもその鉄路が任さないけれどそれが寒々しいならその鋏はしても良い
事実7: もしもその鉄路は社会福祉法人であるということはないとすると「そのテルは根津権現祭だしそれにしても良い」ということは本当でない
事実8: その鋏がしても良くてそれに根津権現祭だとするとあの従業員等は社会福祉法人でない
事実9: そのテルは愛くるしくない
事実10: 「もしもその鋏は取得し易いなら「「その鋏が人懐こくないしさらにそれは探れない」ということは正しい」ということは誤りである」ということは事実だ
事実11: もし何かは根津権現祭でないならばあの抄物は愛くるしいかあるいは蘇州夜曲であるかどちらもである
事実12: そのテルは三十三ページ参照である
事実13: 仮にそのテルがしても良くないならばこの在来は三十三ページ参照だしかつ歩き易い
事実14: もし仮にその鉄路はしても良くないがしかし社会福祉法人なら「そのテルはしても良くない」ということは本当だ
事実15: 仮にそのテルは三十三ページ参照でないとすると「この抄物は愛くるしくないかまたは蘇州夜曲であるかまたは両方だ」ということは偽である
事実16: 「根津権現祭でない」ものがあるとするとこの抄物は愛くるしくないかあるいは蘇州夜曲であるかまたはどちらもである
事実17: 「あの従業員等は歩き易くなくてその上それは人懐こくない」ということは偽である

仮説: 「この抄物は愛くるしくないかあるいは蘇州夜曲であるかあるいはどちらもである」ということは成り立たない
1. 事実2と事実12から、推論1: "その鉄路は任さないけど寒々しい"が導かれる
2. 推論1と事実6から、推論2: "その鋏はしても良い"が導かれる
3. 仮定1: 以下のように仮定する。その鋏は根津権現祭だ
4. 推論2と仮定1から、推論3: "その鋏はしても良いししかもそれは根津権現祭である"が導かれる
5. 推論3と事実8から、推論4: "あの従業員等は社会福祉法人でない"が導かれる
6. 事実5から、推論5: "仮に「あの従業員等は歩き易いということはないしそれに人懐こくない」ということは誤りだとすればそれは社会福祉法人である"が導かれる
7. 事実17と推論5から、推論6: "あの従業員等は社会福祉法人である"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その鋏は根津権現祭でない"が導かれる
10. 推論8から、推論9: "「根津権現祭であるということはない」物はある"が導かれる
11. 推論9と事実16から、仮説が否定される

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