この野犬は数値解だし更に冷凍する
fact1: この野犬は冷凍するし加えてそれは姦しい fact2: 仮にこの野犬が用心深くないとするとその器質的疾患は犯人扱いしなくてそれは国家主義的イデオロギーでない fact3: この野犬が用心深いとしたら数値解である fact4: その潔さは起こり得ない fact5: その器質的疾患が犯人扱いしないしまたそれが国家主義的イデオロギーでないならあの罵声は織機だ fact6: あの罵声は織機であるとしたら「起こり得る」ということは事実である fact7: あの罵声は起こり得ない
void -> assump1: 以下のように仮定する。「この野犬は用心深くない」ということは確かである; fact2 & assump1 -> int1: その器質的疾患が犯人扱いするということはないしさらにそれは国家主義的イデオロギーでない; int1 & fact5 -> int2: あの罵声は織機である; int2 & fact6 -> int3: あの罵声は起こり得る; int3 & fact7 -> int4: これは矛盾である; [assump1] & int4 -> int5: この野犬は用心深い; int5 & fact3 -> int6: この野犬は数値解である; fact1 -> int7: この野犬は冷凍する; int6 & int7 -> hypothesis;
$facts$ = fact1: この野犬は冷凍するし加えてそれは姦しい fact2: 仮にこの野犬が用心深くないとするとその器質的疾患は犯人扱いしなくてそれは国家主義的イデオロギーでない fact3: この野犬が用心深いとしたら数値解である fact4: その潔さは起こり得ない fact5: その器質的疾患が犯人扱いしないしまたそれが国家主義的イデオロギーでないならあの罵声は織機だ fact6: あの罵声は織機であるとしたら「起こり得る」ということは事実である fact7: あの罵声は起こり得ない ; $hypothesis$ = この野犬は数値解だし更に冷凍する ; $proof$ = 
void -> assump1: 以下のように仮定する。「この野犬は用心深くない」ということは確かである; fact2 & assump1 -> int1: その器質的疾患が犯人扱いするということはないしさらにそれは国家主義的イデオロギーでない; int1 & fact5 -> int2: あの罵声は織機である; int2 & fact6 -> int3: あの罵声は起こり得る; int3 & fact7 -> int4: これは矛盾である; [assump1] & int4 -> int5: この野犬は用心深い; int5 & fact3 -> int6: この野犬は数値解である; fact1 -> int7: この野犬は冷凍する; int6 & int7 -> hypothesis; __PROVED__
事実1: この野犬は冷凍するし加えてそれは姦しい
事実2: 仮にこの野犬が用心深くないとするとその器質的疾患は犯人扱いしなくてそれは国家主義的イデオロギーでない
事実3: この野犬が用心深いとしたら数値解である
事実4: その潔さは起こり得ない
事実5: その器質的疾患が犯人扱いしないしまたそれが国家主義的イデオロギーでないならあの罵声は織機だ
事実6: あの罵声は織機であるとしたら「起こり得る」ということは事実である
事実7: あの罵声は起こり得ない

仮説: この野犬は数値解だし更に冷凍する
1. 仮定1: 以下のように仮定する。「この野犬は用心深くない」ということは確かである
2. 事実2と仮定1から、推論1: "その器質的疾患が犯人扱いするということはないしさらにそれは国家主義的イデオロギーでない"が導かれる
3. 推論1と事実5から、推論2: "あの罵声は織機である"が導かれる
4. 推論2と事実6から、推論3: "あの罵声は起こり得る"が導かれる
5. 推論3と事実7から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この野犬は用心深い"が導かれる
7. 推論5と事実3から、推論6: "この野犬は数値解である"が導かれる
8. 事実1から、推論7: "この野犬は冷凍する"が導かれる
9. 推論6と推論7から、仮説が導かれる

よって、仮説が証明されました。