あの硫化水素は講義しない
fact1: あの硫化水素は甚だしくないしそれにそれは人懐っこくない fact2: 仮に「ある物は春らしくない」ということは正しいなら「それは甚だしいということはないしおまけにそれは人懐っこい」ということは成り立たない fact3: もし仮に平たいものは正面衝突するとしたら「春らしくない」ということは確かである fact4: 「あの硫化水素は甚だしくないけれど人懐っこい」ということは嘘だ fact5: 仮に「なんらかの物は遅くないしおまけに飲み為さらない」ということは誤りであるとすると講義する fact6: もしもとある物は春らしくないとすれば「それは甚だしくないしかつ人懐っこくない」ということは成り立たない fact7: 「あの硫化水素は分節するかそれは目配せするということはないかまたは両方ともである」ということは嘘である fact8: 仮に「あの硫化水素は分節するかもしくは目配せしない」ということは誤りならばそれは平たい fact9: あの硫化水素は正面衝突しないとすれば「それは遅いということはないし飲み為さらない」ということは嘘である fact10: もし仮にあの硫化水素は春らしくないとすると「甚だしいということはなくてかつそれは人懐っこい」ということは間違っている fact11: もし仮に「あの賛歌は飲み為さるけれどそれは遅くない」ということは成り立たないとすれば人懐っこくない fact12: なんらかの物が飲み為さるとすれば講義する fact13: 仮にあの分解酵素が春らしくないとするとあの硫化水素が正面衝突するしその上平たい fact14: もし仮に「あの硫化水素は歩き始めるかまたは捻くれないかまたはどちらもだ」ということは間違っていればそれは上げ出す fact15: 何らかの物が正面衝突するし加えて平たいなら講義しない fact16: あの硫化水素は分節するということはない fact17: あの硫化水素は人懐っこくない
fact8 & fact7 -> int1: あの硫化水素は平たい; void -> assump1: 以下のように仮定する。あの硫化水素は正面衝突する; int1 & assump1 -> int2: あの硫化水素は平たくて正面衝突する; fact3 -> int3: もしもあの硫化水素が平たいしその上正面衝突するとするとそれは春らしくない; int2 & int3 -> int4: あの硫化水素は春らしくない; fact6 -> int5: あの硫化水素は春らしくないとしたら「それは甚だしくないし加えて人懐っこくない」ということは誤っている; int4 & int5 -> int6: 「あの硫化水素は甚だしいということはなくておまけに人懐っこくない」ということは間違っている; int6 & fact1 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの硫化水素は正面衝突しない; int8 & fact9 -> int9: 「あの硫化水素は遅くないしその上それは飲み為さらない」ということは成り立たない; fact5 -> int10: もしも「あの硫化水素は遅くないししかも飲み為さらない」ということは嘘ならば講義する; int9 & int10 -> hypothesis;
あの硫化水素は講義しない
fact20 -> int11: あの硫化水素が正面衝突するしその上それが平たいならそれは講義しない;
$facts$ = fact1: あの硫化水素は甚だしくないしそれにそれは人懐っこくない fact2: 仮に「ある物は春らしくない」ということは正しいなら「それは甚だしいということはないしおまけにそれは人懐っこい」ということは成り立たない fact3: もし仮に平たいものは正面衝突するとしたら「春らしくない」ということは確かである fact4: 「あの硫化水素は甚だしくないけれど人懐っこい」ということは嘘だ fact5: 仮に「なんらかの物は遅くないしおまけに飲み為さらない」ということは誤りであるとすると講義する fact6: もしもとある物は春らしくないとすれば「それは甚だしくないしかつ人懐っこくない」ということは成り立たない fact7: 「あの硫化水素は分節するかそれは目配せするということはないかまたは両方ともである」ということは嘘である fact8: 仮に「あの硫化水素は分節するかもしくは目配せしない」ということは誤りならばそれは平たい fact9: あの硫化水素は正面衝突しないとすれば「それは遅いということはないし飲み為さらない」ということは嘘である fact10: もし仮にあの硫化水素は春らしくないとすると「甚だしいということはなくてかつそれは人懐っこい」ということは間違っている fact11: もし仮に「あの賛歌は飲み為さるけれどそれは遅くない」ということは成り立たないとすれば人懐っこくない fact12: なんらかの物が飲み為さるとすれば講義する fact13: 仮にあの分解酵素が春らしくないとするとあの硫化水素が正面衝突するしその上平たい fact14: もし仮に「あの硫化水素は歩き始めるかまたは捻くれないかまたはどちらもだ」ということは間違っていればそれは上げ出す fact15: 何らかの物が正面衝突するし加えて平たいなら講義しない fact16: あの硫化水素は分節するということはない fact17: あの硫化水素は人懐っこくない ; $hypothesis$ = あの硫化水素は講義しない ; $proof$ = 
fact8 & fact7 -> int1: あの硫化水素は平たい; void -> assump1: 以下のように仮定する。あの硫化水素は正面衝突する; int1 & assump1 -> int2: あの硫化水素は平たくて正面衝突する; fact3 -> int3: もしもあの硫化水素が平たいしその上正面衝突するとするとそれは春らしくない; int2 & int3 -> int4: あの硫化水素は春らしくない; fact6 -> int5: あの硫化水素は春らしくないとしたら「それは甚だしくないし加えて人懐っこくない」ということは誤っている; int4 & int5 -> int6: 「あの硫化水素は甚だしいということはなくておまけに人懐っこくない」ということは間違っている; int6 & fact1 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの硫化水素は正面衝突しない; int8 & fact9 -> int9: 「あの硫化水素は遅くないしその上それは飲み為さらない」ということは成り立たない; fact5 -> int10: もしも「あの硫化水素は遅くないししかも飲み為さらない」ということは嘘ならば講義する; int9 & int10 -> hypothesis; __DISPROVED__
事実1: あの硫化水素は甚だしくないしそれにそれは人懐っこくない
事実2: 仮に「ある物は春らしくない」ということは正しいなら「それは甚だしいということはないしおまけにそれは人懐っこい」ということは成り立たない
事実3: もし仮に平たいものは正面衝突するとしたら「春らしくない」ということは確かである
事実4: 「あの硫化水素は甚だしくないけれど人懐っこい」ということは嘘だ
事実5: 仮に「なんらかの物は遅くないしおまけに飲み為さらない」ということは誤りであるとすると講義する
事実6: もしもとある物は春らしくないとすれば「それは甚だしくないしかつ人懐っこくない」ということは成り立たない
事実7: 「あの硫化水素は分節するかそれは目配せするということはないかまたは両方ともである」ということは嘘である
事実8: 仮に「あの硫化水素は分節するかもしくは目配せしない」ということは誤りならばそれは平たい
事実9: あの硫化水素は正面衝突しないとすれば「それは遅いということはないし飲み為さらない」ということは嘘である
事実10: もし仮にあの硫化水素は春らしくないとすると「甚だしいということはなくてかつそれは人懐っこい」ということは間違っている
事実11: もし仮に「あの賛歌は飲み為さるけれどそれは遅くない」ということは成り立たないとすれば人懐っこくない
事実12: なんらかの物が飲み為さるとすれば講義する
事実13: 仮にあの分解酵素が春らしくないとするとあの硫化水素が正面衝突するしその上平たい
事実14: もし仮に「あの硫化水素は歩き始めるかまたは捻くれないかまたはどちらもだ」ということは間違っていればそれは上げ出す
事実15: 何らかの物が正面衝突するし加えて平たいなら講義しない
事実16: あの硫化水素は分節するということはない
事実17: あの硫化水素は人懐っこくない

仮説: あの硫化水素は講義しない
1. 事実8と事実7から、推論1: "あの硫化水素は平たい"が導かれる
2. 仮定1: 以下のように仮定する。あの硫化水素は正面衝突する
3. 推論1と仮定1から、推論2: "あの硫化水素は平たくて正面衝突する"が導かれる
4. 事実3から、推論3: "もしもあの硫化水素が平たいしその上正面衝突するとするとそれは春らしくない"が導かれる
5. 推論2と推論3から、推論4: "あの硫化水素は春らしくない"が導かれる
6. 事実6から、推論5: "あの硫化水素は春らしくないとしたら「それは甚だしくないし加えて人懐っこくない」ということは誤っている"が導かれる
7. 推論4と推論5から、推論6: "「あの硫化水素は甚だしいということはなくておまけに人懐っこくない」ということは間違っている"が導かれる
8. 推論6と事実1から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの硫化水素は正面衝突しない"が導かれる
10. 推論8と事実9から、推論9: "「あの硫化水素は遅くないしその上それは飲み為さらない」ということは成り立たない"が導かれる
11. 事実5から、推論10: "もしも「あの硫化水素は遅くないししかも飲み為さらない」ということは嘘ならば講義する"が導かれる
12. 推論9と推論10から、仮説が否定される

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