「仮に「その分散効果は腎摘出術だ」ということは確かだとすれば「この腹膜は河豚だということはないけれど醜い」ということは間違っている」ということは誤っている
fact1: もしその分散効果は河豚であるとすれば「「この腹膜は河豚で醜い」ということは誤りである」ということは成り立つ fact2: その分散効果は腎摘出術ならば「この腹膜は河豚であるし醜い」ということは成り立たない fact3: 仮にその分散効果が腎摘出術ならばそれは河豚だ fact4: もし仮にあの代表的消費者は支援対策でないけれど習い覚えるとすれば捗々しくない fact5: もし仮に「その分散効果は腎摘出術だ」ということは正しいとしたらこの腹膜は河豚でないけど醜い fact6: もしあのロマンス小説が腎摘出術ならば心細い fact7: その助手は限り無しけれど大掃除しない fact8: あの代表的消費者が駐日大使であるならばそれは支援対策でなくて習い覚える fact9: あの代表的消費者が捗々しくないとすればそれは大掃除しない fact10: もし何らかの物が見下せば腎摘出術だ fact11: もし仮にその分散効果が見下すかあるいはそれが惨くないとすればこの大福餅は河豚でない fact12: もし仮にあるものが惨いとすると見下す fact13: 仮に「この腹膜は腎摘出術だ」ということは真実であるとすると醜い fact14: 「この腹膜は河豚だしその上醜い」ということは偽である fact15: 「その分散効果は醜い」ということは正しい fact16: もし仮にあの代表的消費者が大掃除しないとしたら惨いかあるいは限り無しか両方ともだ fact17: 仮に「その助手は腎摘出術だ」ということは本当であるとしたら「この腹膜は河豚である一方で醜くない」ということは事実でない fact18: もしも「その分散効果は河豚だ」ということは真実であるなら「この腹膜は河豚だということはないが醜い」ということは偽だ fact19: もし「ある物は河豚であるということはない」ということは成り立つとしたらそれは醜いししかも腎摘出術である
void -> assump1: 以下のように仮定する。その分散効果は腎摘出術だ; fact3 & assump1 -> int1: その分散効果は河豚だ; int1 & fact18 -> int2: 「この腹膜は河豚でないけれど醜い」ということは間違いだ; [assump1] & int2 -> hypothesis;
この大福餅は醜い
fact20 -> int3: もし仮にこの大福餅は河豚であるということはないとすれば醜くて腎摘出術だ; fact21 -> int4: 「限り無しがしかし大掃除しない」物はある;
$facts$ = fact1: もしその分散効果は河豚であるとすれば「「この腹膜は河豚で醜い」ということは誤りである」ということは成り立つ fact2: その分散効果は腎摘出術ならば「この腹膜は河豚であるし醜い」ということは成り立たない fact3: 仮にその分散効果が腎摘出術ならばそれは河豚だ fact4: もし仮にあの代表的消費者は支援対策でないけれど習い覚えるとすれば捗々しくない fact5: もし仮に「その分散効果は腎摘出術だ」ということは正しいとしたらこの腹膜は河豚でないけど醜い fact6: もしあのロマンス小説が腎摘出術ならば心細い fact7: その助手は限り無しけれど大掃除しない fact8: あの代表的消費者が駐日大使であるならばそれは支援対策でなくて習い覚える fact9: あの代表的消費者が捗々しくないとすればそれは大掃除しない fact10: もし何らかの物が見下せば腎摘出術だ fact11: もし仮にその分散効果が見下すかあるいはそれが惨くないとすればこの大福餅は河豚でない fact12: もし仮にあるものが惨いとすると見下す fact13: 仮に「この腹膜は腎摘出術だ」ということは真実であるとすると醜い fact14: 「この腹膜は河豚だしその上醜い」ということは偽である fact15: 「その分散効果は醜い」ということは正しい fact16: もし仮にあの代表的消費者が大掃除しないとしたら惨いかあるいは限り無しか両方ともだ fact17: 仮に「その助手は腎摘出術だ」ということは本当であるとしたら「この腹膜は河豚である一方で醜くない」ということは事実でない fact18: もしも「その分散効果は河豚だ」ということは真実であるなら「この腹膜は河豚だということはないが醜い」ということは偽だ fact19: もし「ある物は河豚であるということはない」ということは成り立つとしたらそれは醜いししかも腎摘出術である ; $hypothesis$ = 「仮に「その分散効果は腎摘出術だ」ということは確かだとすれば「この腹膜は河豚だということはないけれど醜い」ということは間違っている」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。その分散効果は腎摘出術だ; fact3 & assump1 -> int1: その分散効果は河豚だ; int1 & fact18 -> int2: 「この腹膜は河豚でないけれど醜い」ということは間違いだ; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: もしその分散効果は河豚であるとすれば「「この腹膜は河豚で醜い」ということは誤りである」ということは成り立つ
事実2: その分散効果は腎摘出術ならば「この腹膜は河豚であるし醜い」ということは成り立たない
事実3: 仮にその分散効果が腎摘出術ならばそれは河豚だ
事実4: もし仮にあの代表的消費者は支援対策でないけれど習い覚えるとすれば捗々しくない
事実5: もし仮に「その分散効果は腎摘出術だ」ということは正しいとしたらこの腹膜は河豚でないけど醜い
事実6: もしあのロマンス小説が腎摘出術ならば心細い
事実7: その助手は限り無しけれど大掃除しない
事実8: あの代表的消費者が駐日大使であるならばそれは支援対策でなくて習い覚える
事実9: あの代表的消費者が捗々しくないとすればそれは大掃除しない
事実10: もし何らかの物が見下せば腎摘出術だ
事実11: もし仮にその分散効果が見下すかあるいはそれが惨くないとすればこの大福餅は河豚でない
事実12: もし仮にあるものが惨いとすると見下す
事実13: 仮に「この腹膜は腎摘出術だ」ということは真実であるとすると醜い
事実14: 「この腹膜は河豚だしその上醜い」ということは偽である
事実15: 「その分散効果は醜い」ということは正しい
事実16: もし仮にあの代表的消費者が大掃除しないとしたら惨いかあるいは限り無しか両方ともだ
事実17: 仮に「その助手は腎摘出術だ」ということは本当であるとしたら「この腹膜は河豚である一方で醜くない」ということは事実でない
事実18: もしも「その分散効果は河豚だ」ということは真実であるなら「この腹膜は河豚だということはないが醜い」ということは偽だ
事実19: もし「ある物は河豚であるということはない」ということは成り立つとしたらそれは醜いししかも腎摘出術である

仮説: 「仮に「その分散効果は腎摘出術だ」ということは確かだとすれば「この腹膜は河豚だということはないけれど醜い」ということは間違っている」ということは誤っている
1. 仮定1: 以下のように仮定する。その分散効果は腎摘出術だ
2. 事実3と仮定1から、推論1: "その分散効果は河豚だ"が導かれる
3. 推論1と事実18から、推論2: "「この腹膜は河豚でないけれど醜い」ということは間違いだ"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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