この心筋梗塞例は川工事でない
fact1: 「この野草地は了解出来るがしかしそれは卵膜蛋白質でない」ということは事実と異なる fact2: 「この心筋梗塞例は墨流し印刷であるということはないし相乗しない」ということは成り立つということはない fact3: ある物は平板形であるとしたらそれは引き難い fact4: もし仮にこの野草地は了解出来るなら「それは仄暗くないしそれにそれは墨流し印刷だ」ということは事実と異なる fact5: 「事故防止委員会だということはない」ものはある fact6: 「「引き難いしかつ平板形でない」ということは嘘である」ものがあるとすればこの野草地はやんごとない fact7: 仮に「この野草地はやんごとない」ということは事実であるならばそれは了解出来る fact8: 「この心筋梗塞例は甘酸っぱいが相乗しない」ということは間違っている fact9: 仮に「なんらかの物は甘酸っぱくないし相乗しない」ということは誤りだとすれば川工事である fact10: 仮に何らかのものは事故防止委員会でないとすれば「このシャイハンは引き難い一方で平板形でない」ということは嘘である fact11: もし仮に「この野草地は仄暗くないけどそれは墨流し印刷だ」ということは成り立たないなら「甘酸っぱくない」ということは本当である fact12: もしもこの野草地は甘酸っぱいということはないとしたら「この心筋梗塞例は甘酸っぱいということはないし更にそれは相乗しない」ということは誤りである
fact5 & fact10 -> int1: 「このシャイハンは引き難いけれど平板形でない」ということは成り立たない; int1 -> int2: 「「引き難いけど平板形でない」ということは成り立つということはない」ものはある; int2 & fact6 -> int3: 「この野草地はやんごとない」ということは事実である; int3 & fact7 -> int4: この野草地は了解出来る; int4 & fact4 -> int5: 「この野草地は仄暗くない一方で墨流し印刷だ」ということは成り立たない; int5 & fact11 -> int6: この野草地は甘酸っぱくない; int6 & fact12 -> int7: 「この心筋梗塞例は甘酸っぱくないしそれにそれは相乗するということはない」ということは成り立たない; fact9 -> int8: もし「この心筋梗塞例は甘酸っぱくないし相乗しない」ということは確かでないとしたら川工事である; int7 & int8 -> hypothesis;
この心筋梗塞例は川工事でない
fact13 -> int9: この心筋梗塞例が平板形なら引き難い;
$facts$ = fact1: 「この野草地は了解出来るがしかしそれは卵膜蛋白質でない」ということは事実と異なる fact2: 「この心筋梗塞例は墨流し印刷であるということはないし相乗しない」ということは成り立つということはない fact3: ある物は平板形であるとしたらそれは引き難い fact4: もし仮にこの野草地は了解出来るなら「それは仄暗くないしそれにそれは墨流し印刷だ」ということは事実と異なる fact5: 「事故防止委員会だということはない」ものはある fact6: 「「引き難いしかつ平板形でない」ということは嘘である」ものがあるとすればこの野草地はやんごとない fact7: 仮に「この野草地はやんごとない」ということは事実であるならばそれは了解出来る fact8: 「この心筋梗塞例は甘酸っぱいが相乗しない」ということは間違っている fact9: 仮に「なんらかの物は甘酸っぱくないし相乗しない」ということは誤りだとすれば川工事である fact10: 仮に何らかのものは事故防止委員会でないとすれば「このシャイハンは引き難い一方で平板形でない」ということは嘘である fact11: もし仮に「この野草地は仄暗くないけどそれは墨流し印刷だ」ということは成り立たないなら「甘酸っぱくない」ということは本当である fact12: もしもこの野草地は甘酸っぱいということはないとしたら「この心筋梗塞例は甘酸っぱいということはないし更にそれは相乗しない」ということは誤りである ; $hypothesis$ = この心筋梗塞例は川工事でない ; $proof$ = 
fact5 & fact10 -> int1: 「このシャイハンは引き難いけれど平板形でない」ということは成り立たない; int1 -> int2: 「「引き難いけど平板形でない」ということは成り立つということはない」ものはある; int2 & fact6 -> int3: 「この野草地はやんごとない」ということは事実である; int3 & fact7 -> int4: この野草地は了解出来る; int4 & fact4 -> int5: 「この野草地は仄暗くない一方で墨流し印刷だ」ということは成り立たない; int5 & fact11 -> int6: この野草地は甘酸っぱくない; int6 & fact12 -> int7: 「この心筋梗塞例は甘酸っぱくないしそれにそれは相乗するということはない」ということは成り立たない; fact9 -> int8: もし「この心筋梗塞例は甘酸っぱくないし相乗しない」ということは確かでないとしたら川工事である; int7 & int8 -> hypothesis; __DISPROVED__
事実1: 「この野草地は了解出来るがしかしそれは卵膜蛋白質でない」ということは事実と異なる
事実2: 「この心筋梗塞例は墨流し印刷であるということはないし相乗しない」ということは成り立つということはない
事実3: ある物は平板形であるとしたらそれは引き難い
事実4: もし仮にこの野草地は了解出来るなら「それは仄暗くないしそれにそれは墨流し印刷だ」ということは事実と異なる
事実5: 「事故防止委員会だということはない」ものはある
事実6: 「「引き難いしかつ平板形でない」ということは嘘である」ものがあるとすればこの野草地はやんごとない
事実7: 仮に「この野草地はやんごとない」ということは事実であるならばそれは了解出来る
事実8: 「この心筋梗塞例は甘酸っぱいが相乗しない」ということは間違っている
事実9: 仮に「なんらかの物は甘酸っぱくないし相乗しない」ということは誤りだとすれば川工事である
事実10: 仮に何らかのものは事故防止委員会でないとすれば「このシャイハンは引き難い一方で平板形でない」ということは嘘である
事実11: もし仮に「この野草地は仄暗くないけどそれは墨流し印刷だ」ということは成り立たないなら「甘酸っぱくない」ということは本当である
事実12: もしもこの野草地は甘酸っぱいということはないとしたら「この心筋梗塞例は甘酸っぱいということはないし更にそれは相乗しない」ということは誤りである

仮説: この心筋梗塞例は川工事でない
1. 事実5と事実10から、推論1: "「このシャイハンは引き難いけれど平板形でない」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「引き難いけど平板形でない」ということは成り立つということはない」ものはある"が導かれる
3. 推論2と事実6から、推論3: "「この野草地はやんごとない」ということは事実である"が導かれる
4. 推論3と事実7から、推論4: "この野草地は了解出来る"が導かれる
5. 推論4と事実4から、推論5: "「この野草地は仄暗くない一方で墨流し印刷だ」ということは成り立たない"が導かれる
6. 推論5と事実11から、推論6: "この野草地は甘酸っぱくない"が導かれる
7. 推論6と事実12から、推論7: "「この心筋梗塞例は甘酸っぱくないしそれにそれは相乗するということはない」ということは成り立たない"が導かれる
8. 事実9から、推論8: "もし「この心筋梗塞例は甘酸っぱくないし相乗しない」ということは確かでないとしたら川工事である"が導かれる
9. 推論7と推論8から、仮説が否定される

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