「あの塩類下剤は行き難くないしその上それは聞き捨てでない」ということは嘘だ
fact1: 「あの塩類下剤は行き難いが聞き捨てでない」ということは間違っている fact2: もし仮に「その医療・生命倫理はオイルショック後であるかもしくはそれは確保すらない」ということは成り立たないとすればあの仮殿はオイルショック後でない fact3: もしもその仮殿はすっごーいということはないならば「あの塩類下剤は行き難いがしかし聞き捨てだということはない」ということは事実でない fact4: その雄牛座は健康教育だ fact5: 仮にその仮殿はすっごーくないとすれば「あの塩類下剤は行き難くないし聞き捨てでない」ということは成り立たない fact6: もしもとある物はオイルショック後でないとしたらそれは行き難いしまたそれはすっごーい fact7: その仮殿は聞き捨てでない fact8: その雄牛座は健康教育であるなら「このスワップ取り引きは取り消し得る」ということは事実である fact9: 「あの塩類下剤は行き難くないがしかし聞き捨てだ」ということは間違っている fact10: もし仮にその仮殿が行き難くてすっごーいなら「あの塩類下剤は行き難いということはない」ということは事実である fact11: その仮殿はすっごーいということはない fact12: もしも「なんらかのものは確保すらないしそれはオイルショック後でない」ということは間違いであるとするとすっごーいということはない fact13: もしもその仮殿はすっごーくないとしたら「あの塩類下剤は行き難くないがしかし聞き捨てである」ということは事実でない
fact5 & fact11 -> hypothesis;
fact5 & fact11 -> hypothesis;
あの塩類下剤はすっごーくない
fact14 -> int1: もし「あの塩類下剤は確保すらないしその上オイルショック後でない」ということは誤りであるとすればすっごーいということはない;
$facts$ = fact1: 「あの塩類下剤は行き難いが聞き捨てでない」ということは間違っている fact2: もし仮に「その医療・生命倫理はオイルショック後であるかもしくはそれは確保すらない」ということは成り立たないとすればあの仮殿はオイルショック後でない fact3: もしもその仮殿はすっごーいということはないならば「あの塩類下剤は行き難いがしかし聞き捨てだということはない」ということは事実でない fact4: その雄牛座は健康教育だ fact5: 仮にその仮殿はすっごーくないとすれば「あの塩類下剤は行き難くないし聞き捨てでない」ということは成り立たない fact6: もしもとある物はオイルショック後でないとしたらそれは行き難いしまたそれはすっごーい fact7: その仮殿は聞き捨てでない fact8: その雄牛座は健康教育であるなら「このスワップ取り引きは取り消し得る」ということは事実である fact9: 「あの塩類下剤は行き難くないがしかし聞き捨てだ」ということは間違っている fact10: もし仮にその仮殿が行き難くてすっごーいなら「あの塩類下剤は行き難いということはない」ということは事実である fact11: その仮殿はすっごーいということはない fact12: もしも「なんらかのものは確保すらないしそれはオイルショック後でない」ということは間違いであるとするとすっごーいということはない fact13: もしもその仮殿はすっごーくないとしたら「あの塩類下剤は行き難くないがしかし聞き捨てである」ということは事実でない ; $hypothesis$ = 「あの塩類下剤は行き難くないしその上それは聞き捨てでない」ということは嘘だ ; $proof$ = 
fact5 & fact11 -> hypothesis; __PROVED__
事実1: 「あの塩類下剤は行き難いが聞き捨てでない」ということは間違っている
事実2: もし仮に「その医療・生命倫理はオイルショック後であるかもしくはそれは確保すらない」ということは成り立たないとすればあの仮殿はオイルショック後でない
事実3: もしもその仮殿はすっごーいということはないならば「あの塩類下剤は行き難いがしかし聞き捨てだということはない」ということは事実でない
事実4: その雄牛座は健康教育だ
事実5: 仮にその仮殿はすっごーくないとすれば「あの塩類下剤は行き難くないし聞き捨てでない」ということは成り立たない
事実6: もしもとある物はオイルショック後でないとしたらそれは行き難いしまたそれはすっごーい
事実7: その仮殿は聞き捨てでない
事実8: その雄牛座は健康教育であるなら「このスワップ取り引きは取り消し得る」ということは事実である
事実9: 「あの塩類下剤は行き難くないがしかし聞き捨てだ」ということは間違っている
事実10: もし仮にその仮殿が行き難くてすっごーいなら「あの塩類下剤は行き難いということはない」ということは事実である
事実11: その仮殿はすっごーいということはない
事実12: もしも「なんらかのものは確保すらないしそれはオイルショック後でない」ということは間違いであるとするとすっごーいということはない
事実13: もしもその仮殿はすっごーくないとしたら「あの塩類下剤は行き難くないがしかし聞き捨てである」ということは事実でない

仮説: 「あの塩類下剤は行き難くないしその上それは聞き捨てでない」ということは嘘だ
1. 事実5と事実11から、仮説が導かれる

よって、仮説が証明されました。