このアルカローシスは色っぽい
fact1: 「この瓢箪形は政治教育であるということはない」ということは成り立つとすればこのサービス提供は脱出しない fact2: 仮になにがしかの物は媚び諂わないとすると「政治教育だしさらに色っぽい」ということは事実と異なる fact3: 「このサービス提供は脱出するし政治教育である」ということは嘘である fact4: 「この瓢箪形は益無しし脱出する」ということは成り立つということはないならばこのサービス提供は政治教育でない fact5: もし仮に「とあるものは政治教育であるし色っぽい」ということは間違っていればそれは益無しない fact6: 「この瓢箪形は益無ししそれにそれは脱出する」ということは間違っている fact7: 仮にあるものが媚び諂うということはないならそれは色っぽくてかつ政治教育だ fact8: もし仮にこのサービス提供が政治教育でないならばこのアルカローシスは色っぽくない fact9: もし仮にその天井部が遣り繰りするとすれば歌舞伎っぽくないしその上媚び諂わない fact10: もし仮にこの瓢箪形が強過ぎないけれど馬鹿馬鹿しいとすればその天井部は遣り繰りする fact11: もし「この瓢箪形は父親らしいということはないけれど気兼ねだ」ということは成り立たないならそれは強過ぎない
fact4 & fact6 -> int1: このサービス提供は政治教育でない; int1 & fact8 -> hypothesis;
fact4 & fact6 -> int1: ¬{B}{b}; int1 & fact8 -> hypothesis;
「このアルカローシスは色っぽい」ということは事実だ
fact12 -> int2: 仮に「このアルカローシスは媚び諂わない」ということは事実であるとしたら色っぽくて更に政治教育である;
$facts$ = fact1: 「この瓢箪形は政治教育であるということはない」ということは成り立つとすればこのサービス提供は脱出しない fact2: 仮になにがしかの物は媚び諂わないとすると「政治教育だしさらに色っぽい」ということは事実と異なる fact3: 「このサービス提供は脱出するし政治教育である」ということは嘘である fact4: 「この瓢箪形は益無しし脱出する」ということは成り立つということはないならばこのサービス提供は政治教育でない fact5: もし仮に「とあるものは政治教育であるし色っぽい」ということは間違っていればそれは益無しない fact6: 「この瓢箪形は益無ししそれにそれは脱出する」ということは間違っている fact7: 仮にあるものが媚び諂うということはないならそれは色っぽくてかつ政治教育だ fact8: もし仮にこのサービス提供が政治教育でないならばこのアルカローシスは色っぽくない fact9: もし仮にその天井部が遣り繰りするとすれば歌舞伎っぽくないしその上媚び諂わない fact10: もし仮にこの瓢箪形が強過ぎないけれど馬鹿馬鹿しいとすればその天井部は遣り繰りする fact11: もし「この瓢箪形は父親らしいということはないけれど気兼ねだ」ということは成り立たないならそれは強過ぎない ; $hypothesis$ = このアルカローシスは色っぽい ; $proof$ = 
fact4 & fact6 -> int1: このサービス提供は政治教育でない; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: 「この瓢箪形は政治教育であるということはない」ということは成り立つとすればこのサービス提供は脱出しない
事実2: 仮になにがしかの物は媚び諂わないとすると「政治教育だしさらに色っぽい」ということは事実と異なる
事実3: 「このサービス提供は脱出するし政治教育である」ということは嘘である
事実4: 「この瓢箪形は益無しし脱出する」ということは成り立つということはないならばこのサービス提供は政治教育でない
事実5: もし仮に「とあるものは政治教育であるし色っぽい」ということは間違っていればそれは益無しない
事実6: 「この瓢箪形は益無ししそれにそれは脱出する」ということは間違っている
事実7: 仮にあるものが媚び諂うということはないならそれは色っぽくてかつ政治教育だ
事実8: もし仮にこのサービス提供が政治教育でないならばこのアルカローシスは色っぽくない
事実9: もし仮にその天井部が遣り繰りするとすれば歌舞伎っぽくないしその上媚び諂わない
事実10: もし仮にこの瓢箪形が強過ぎないけれど馬鹿馬鹿しいとすればその天井部は遣り繰りする
事実11: もし「この瓢箪形は父親らしいということはないけれど気兼ねだ」ということは成り立たないならそれは強過ぎない

仮説: このアルカローシスは色っぽい
1. 事実4と事実6から、推論1: "このサービス提供は政治教育でない"が導かれる
2. 推論1と事実8から、仮説が否定される

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