「「その引き金は誇りっぽくないし住居建築時でない」ということは本当でない」ということは成り立つ
fact1: あのドリームインキュベータはさ迷い込む fact2: この貸し本用はさ迷い込む fact3: あのドリームインキュベータは悪妻だ fact4: もしもあのドリームインキュベータが住居建築時だとしたらその引き金は誇りっぽくないしそれは住居建築時でない fact5: 仮にあのドリームインキュベータは悪妻でないならば「その引き金は誇りっぽくないししかもそれは住居建築時でない」ということは成り立つということはない fact6: 仮にとあるものが選り分けないならそれは太り易いしその上住居建築時だ fact7: 何かは悪妻であるしその上さ迷い込むとするとそれは選り分けない
fact3 & fact1 -> int1: あのドリームインキュベータは悪妻でそれはさ迷い込む; fact7 -> int2: もし「あのドリームインキュベータは悪妻でその上さ迷い込む」ということは本当であるなら「それは選り分けない」ということは本当だ; int1 & int2 -> int3: 「あのドリームインキュベータは選り分けない」ということは成り立つ; fact6 -> int4: もし仮にあのドリームインキュベータが選り分けるということはないならばそれは太り易いしさらに住居建築時である; int3 & int4 -> int5: あのドリームインキュベータは太り易いし加えて住居建築時である; int5 -> int6: あのドリームインキュベータは住居建築時である; int6 & fact4 -> hypothesis;
「その引き金は誇りっぽくないし住居建築時でない」ということは偽だ
$facts$ = fact1: あのドリームインキュベータはさ迷い込む fact2: この貸し本用はさ迷い込む fact3: あのドリームインキュベータは悪妻だ fact4: もしもあのドリームインキュベータが住居建築時だとしたらその引き金は誇りっぽくないしそれは住居建築時でない fact5: 仮にあのドリームインキュベータは悪妻でないならば「その引き金は誇りっぽくないししかもそれは住居建築時でない」ということは成り立つということはない fact6: 仮にとあるものが選り分けないならそれは太り易いしその上住居建築時だ fact7: 何かは悪妻であるしその上さ迷い込むとするとそれは選り分けない ; $hypothesis$ = 「「その引き金は誇りっぽくないし住居建築時でない」ということは本当でない」ということは成り立つ ; $proof$ = 
fact3 & fact1 -> int1: あのドリームインキュベータは悪妻でそれはさ迷い込む; fact7 -> int2: もし「あのドリームインキュベータは悪妻でその上さ迷い込む」ということは本当であるなら「それは選り分けない」ということは本当だ; int1 & int2 -> int3: 「あのドリームインキュベータは選り分けない」ということは成り立つ; fact6 -> int4: もし仮にあのドリームインキュベータが選り分けるということはないならばそれは太り易いしさらに住居建築時である; int3 & int4 -> int5: あのドリームインキュベータは太り易いし加えて住居建築時である; int5 -> int6: あのドリームインキュベータは住居建築時である; int6 & fact4 -> hypothesis; __DISPROVED__
事実1: あのドリームインキュベータはさ迷い込む
事実2: この貸し本用はさ迷い込む
事実3: あのドリームインキュベータは悪妻だ
事実4: もしもあのドリームインキュベータが住居建築時だとしたらその引き金は誇りっぽくないしそれは住居建築時でない
事実5: 仮にあのドリームインキュベータは悪妻でないならば「その引き金は誇りっぽくないししかもそれは住居建築時でない」ということは成り立つということはない
事実6: 仮にとあるものが選り分けないならそれは太り易いしその上住居建築時だ
事実7: 何かは悪妻であるしその上さ迷い込むとするとそれは選り分けない

仮説: 「「その引き金は誇りっぽくないし住居建築時でない」ということは本当でない」ということは成り立つ
1. 事実3と事実1から、推論1: "あのドリームインキュベータは悪妻でそれはさ迷い込む"が導かれる
2. 事実7から、推論2: "もし「あのドリームインキュベータは悪妻でその上さ迷い込む」ということは本当であるなら「それは選り分けない」ということは本当だ"が導かれる
3. 推論1と推論2から、推論3: "「あのドリームインキュベータは選り分けない」ということは成り立つ"が導かれる
4. 事実6から、推論4: "もし仮にあのドリームインキュベータが選り分けるということはないならばそれは太り易いしさらに住居建築時である"が導かれる
5. 推論3と推論4から、推論5: "あのドリームインキュベータは太り易いし加えて住居建築時である"が導かれる
6. 推論5から、推論6: "あのドリームインキュベータは住居建築時である"が導かれる
7. 推論6と事実4から、仮説が否定される

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