「もしもあの顆頭が厳しいとしたらあの昇圧剤はさもしくない」ということは成り立たない
fact1: もし仮にあの顆頭が厳しい一方で王子達でないならばあの昇圧剤はさもしくない fact2: もし仮になにかは付着し易くないならば王子達でないが厳しい fact3: 「あの顆頭は公式クラスであるしかつ先立つ」ということは嘘である fact4: あの昇圧剤は王子達だ fact5: もし仮にあの顆頭は公式クラスであるなら王子達でない fact6: もしも「あの昇圧剤はＡＭＥＸ・ＪＣＢ・ダイナース・ビザ・マスター他であるしおまけに支援す」ということは誤っているとするとそれは自由度Ｎでない fact7: 仮にあの顆頭が厳しいがしかし王子達でないならばあの昇圧剤はさもしい fact8: もしもある物は口喧しいということはないとすると「ＡＭＥＸ・ＪＣＢ・ダイナース・ビザ・マスター他であるしその上支援す」ということは偽である fact9: 仮に何かは掘れないし加えて自由意志でないとしたら付着し易くない fact10: この販売業者はさもしくない fact11: 「あの顆頭は痩せ難い」ということは正しい fact12: あの昇圧剤は余儀無い fact13: この眼鏡フレームは厳しい fact14: 「あの昇圧剤はユニクルー社でないけど厳しい」ということは成り立たない fact15: あの昇圧剤はさもしい fact16: あの顆頭が厳しいならあの昇圧剤はさもしい fact17: もしあの顆頭がさもしいとしたらあの昇圧剤は王子達でない fact18: 「あの顆頭は公式クラスでないがしかし先立つ」ということは成り立たない fact19: 「あの顆頭は公式クラスでないがしかし先立つ」ということは成り立たないとするとそれは王子達でない fact20: 「あの昇圧剤はされ易くない一方で公式クラスである」ということは事実でない fact21: 仮にあの昇圧剤が余儀無いとしたらそれは口喧しくない fact22: もしも何らかの物は王子達でない一方で厳しいならば「この約束違反はさもしくない」ということは成り立つ fact23: あの昇圧剤は公式クラスでない
fact19 & fact18 -> int1: あの顆頭は王子達でない; void -> assump1: 以下のように仮定する。あの顆頭は厳しい; int1 & assump1 -> int2: あの顆頭は厳しいけど王子達でない; int2 & fact1 -> int3: あの昇圧剤はさもしくない; [assump1] & int3 -> hypothesis;
この約束違反はさもしいということはない
fact27 -> int4: 仮にあの顆頭が付着し易くないならば王子達であるということはなくてかつそれは厳しい; fact25 -> int5: 「もしもあの顆頭が掘れなくてそれが自由意志でないとするとあの顆頭は付着し易くない」ということは偽でない; fact30 -> int6: もしもあの昇圧剤は口喧しくないとしたら「「ＡＭＥＸ・ＪＣＢ・ダイナース・ビザ・マスター他であるしおまけに支援す」ということは真実だ」ということは誤りである; fact29 & fact28 -> int7: あの昇圧剤は口喧しくない; int6 & int7 -> int8: 「あの昇圧剤はＡＭＥＸ・ＪＣＢ・ダイナース・ビザ・マスター他であるしかつそれは支援す」ということは間違いである; fact26 & int8 -> int9: あの昇圧剤は自由度Ｎでない; int9 -> int10: 「「自由度Ｎでない」ということは正しい」物はある;
$facts$ = fact1: もし仮にあの顆頭が厳しい一方で王子達でないならばあの昇圧剤はさもしくない fact2: もし仮になにかは付着し易くないならば王子達でないが厳しい fact3: 「あの顆頭は公式クラスであるしかつ先立つ」ということは嘘である fact4: あの昇圧剤は王子達だ fact5: もし仮にあの顆頭は公式クラスであるなら王子達でない fact6: もしも「あの昇圧剤はＡＭＥＸ・ＪＣＢ・ダイナース・ビザ・マスター他であるしおまけに支援す」ということは誤っているとするとそれは自由度Ｎでない fact7: 仮にあの顆頭が厳しいがしかし王子達でないならばあの昇圧剤はさもしい fact8: もしもある物は口喧しいということはないとすると「ＡＭＥＸ・ＪＣＢ・ダイナース・ビザ・マスター他であるしその上支援す」ということは偽である fact9: 仮に何かは掘れないし加えて自由意志でないとしたら付着し易くない fact10: この販売業者はさもしくない fact11: 「あの顆頭は痩せ難い」ということは正しい fact12: あの昇圧剤は余儀無い fact13: この眼鏡フレームは厳しい fact14: 「あの昇圧剤はユニクルー社でないけど厳しい」ということは成り立たない fact15: あの昇圧剤はさもしい fact16: あの顆頭が厳しいならあの昇圧剤はさもしい fact17: もしあの顆頭がさもしいとしたらあの昇圧剤は王子達でない fact18: 「あの顆頭は公式クラスでないがしかし先立つ」ということは成り立たない fact19: 「あの顆頭は公式クラスでないがしかし先立つ」ということは成り立たないとするとそれは王子達でない fact20: 「あの昇圧剤はされ易くない一方で公式クラスである」ということは事実でない fact21: 仮にあの昇圧剤が余儀無いとしたらそれは口喧しくない fact22: もしも何らかの物は王子達でない一方で厳しいならば「この約束違反はさもしくない」ということは成り立つ fact23: あの昇圧剤は公式クラスでない ; $hypothesis$ = 「もしもあの顆頭が厳しいとしたらあの昇圧剤はさもしくない」ということは成り立たない ; $proof$ = 
fact19 & fact18 -> int1: あの顆頭は王子達でない; void -> assump1: 以下のように仮定する。あの顆頭は厳しい; int1 & assump1 -> int2: あの顆頭は厳しいけど王子達でない; int2 & fact1 -> int3: あの昇圧剤はさもしくない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もし仮にあの顆頭が厳しい一方で王子達でないならばあの昇圧剤はさもしくない
事実2: もし仮になにかは付着し易くないならば王子達でないが厳しい
事実3: 「あの顆頭は公式クラスであるしかつ先立つ」ということは嘘である
事実4: あの昇圧剤は王子達だ
事実5: もし仮にあの顆頭は公式クラスであるなら王子達でない
事実6: もしも「あの昇圧剤はＡＭＥＸ・ＪＣＢ・ダイナース・ビザ・マスター他であるしおまけに支援す」ということは誤っているとするとそれは自由度Ｎでない
事実7: 仮にあの顆頭が厳しいがしかし王子達でないならばあの昇圧剤はさもしい
事実8: もしもある物は口喧しいということはないとすると「ＡＭＥＸ・ＪＣＢ・ダイナース・ビザ・マスター他であるしその上支援す」ということは偽である
事実9: 仮に何かは掘れないし加えて自由意志でないとしたら付着し易くない
事実10: この販売業者はさもしくない
事実11: 「あの顆頭は痩せ難い」ということは正しい
事実12: あの昇圧剤は余儀無い
事実13: この眼鏡フレームは厳しい
事実14: 「あの昇圧剤はユニクルー社でないけど厳しい」ということは成り立たない
事実15: あの昇圧剤はさもしい
事実16: あの顆頭が厳しいならあの昇圧剤はさもしい
事実17: もしあの顆頭がさもしいとしたらあの昇圧剤は王子達でない
事実18: 「あの顆頭は公式クラスでないがしかし先立つ」ということは成り立たない
事実19: 「あの顆頭は公式クラスでないがしかし先立つ」ということは成り立たないとするとそれは王子達でない
事実20: 「あの昇圧剤はされ易くない一方で公式クラスである」ということは事実でない
事実21: 仮にあの昇圧剤が余儀無いとしたらそれは口喧しくない
事実22: もしも何らかの物は王子達でない一方で厳しいならば「この約束違反はさもしくない」ということは成り立つ
事実23: あの昇圧剤は公式クラスでない

仮説: 「もしもあの顆頭が厳しいとしたらあの昇圧剤はさもしくない」ということは成り立たない
1. 事実19と事実18から、推論1: "あの顆頭は王子達でない"が導かれる
2. 仮定1: 以下のように仮定する。あの顆頭は厳しい
3. 推論1と仮定1から、推論2: "あの顆頭は厳しいけど王子達でない"が導かれる
4. 推論2と事実1から、推論3: "あの昇圧剤はさもしくない"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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