この算定表は内臓型肥満であるということはない
fact1: 「あのメイクはファイバースコープで更に繁殖し易い」ということは間違っているなら漏れ無くない fact2: 「長ったらしい」物はある fact3: もしも「このシャイはんは餓鬼っぽい」ということは真実だとすると「「漏れ無くないしおまけにそれは繁殖し易くない」ということは成り立つ」ということは偽だ fact4: もしも「「長ったらしい」ということは確かである」物はあるなら「あのメイクはファイバースコープでまた繁殖し易い」ということは真実だということはない fact5: もしあのメイクは繁殖し易くないとしたらそれは漏れ無くない fact6: 長ったらしくない物は保証出来るが甲斐甲斐しかない fact7: このシャイはんが餓鬼っぽい一方でそれが甲斐甲斐しいということはないとするとこの算定表は内臓型肥満だ fact8: 仮に「漏れ無くない」ものがあるとしたらこのシャイはんは餓鬼っぽいけれど甲斐甲斐しかない fact9: もしあのメイクは繁殖し易いということはないとしたら「それは長ったらしいがしかしファイバースコープでない」ということは間違いだ
fact2 & fact4 -> int1: 「あのメイクがファイバースコープだしまた繁殖し易い」ということは間違いだ; int1 & fact1 -> int2: あのメイクは漏れ無くない; int2 -> int3: 漏れ無いということはないものはある; int3 & fact8 -> int4: このシャイはんは餓鬼っぽいが甲斐甲斐しかない; int4 & fact7 -> hypothesis;
この算定表は内臓型肥満でない
$facts$ = fact1: 「あのメイクはファイバースコープで更に繁殖し易い」ということは間違っているなら漏れ無くない fact2: 「長ったらしい」物はある fact3: もしも「このシャイはんは餓鬼っぽい」ということは真実だとすると「「漏れ無くないしおまけにそれは繁殖し易くない」ということは成り立つ」ということは偽だ fact4: もしも「「長ったらしい」ということは確かである」物はあるなら「あのメイクはファイバースコープでまた繁殖し易い」ということは真実だということはない fact5: もしあのメイクは繁殖し易くないとしたらそれは漏れ無くない fact6: 長ったらしくない物は保証出来るが甲斐甲斐しかない fact7: このシャイはんが餓鬼っぽい一方でそれが甲斐甲斐しいということはないとするとこの算定表は内臓型肥満だ fact8: 仮に「漏れ無くない」ものがあるとしたらこのシャイはんは餓鬼っぽいけれど甲斐甲斐しかない fact9: もしあのメイクは繁殖し易いということはないとしたら「それは長ったらしいがしかしファイバースコープでない」ということは間違いだ ; $hypothesis$ = この算定表は内臓型肥満であるということはない ; $proof$ = 
fact2 & fact4 -> int1: 「あのメイクがファイバースコープだしまた繁殖し易い」ということは間違いだ; int1 & fact1 -> int2: あのメイクは漏れ無くない; int2 -> int3: 漏れ無いということはないものはある; int3 & fact8 -> int4: このシャイはんは餓鬼っぽいが甲斐甲斐しかない; int4 & fact7 -> hypothesis; __DISPROVED__
事実1: 「あのメイクはファイバースコープで更に繁殖し易い」ということは間違っているなら漏れ無くない
事実2: 「長ったらしい」物はある
事実3: もしも「このシャイはんは餓鬼っぽい」ということは真実だとすると「「漏れ無くないしおまけにそれは繁殖し易くない」ということは成り立つ」ということは偽だ
事実4: もしも「「長ったらしい」ということは確かである」物はあるなら「あのメイクはファイバースコープでまた繁殖し易い」ということは真実だということはない
事実5: もしあのメイクは繁殖し易くないとしたらそれは漏れ無くない
事実6: 長ったらしくない物は保証出来るが甲斐甲斐しかない
事実7: このシャイはんが餓鬼っぽい一方でそれが甲斐甲斐しいということはないとするとこの算定表は内臓型肥満だ
事実8: 仮に「漏れ無くない」ものがあるとしたらこのシャイはんは餓鬼っぽいけれど甲斐甲斐しかない
事実9: もしあのメイクは繁殖し易いということはないとしたら「それは長ったらしいがしかしファイバースコープでない」ということは間違いだ

仮説: この算定表は内臓型肥満であるということはない
1. 事実2と事実4から、推論1: "「あのメイクがファイバースコープだしまた繁殖し易い」ということは間違いだ"が導かれる
2. 推論1と事実1から、推論2: "あのメイクは漏れ無くない"が導かれる
3. 推論2から、推論3: "漏れ無いということはないものはある"が導かれる
4. 推論3と事実8から、推論4: "このシャイはんは餓鬼っぽいが甲斐甲斐しかない"が導かれる
5. 推論4と事実7から、仮説が否定される

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