その観測方法が夫婦らしいとすればこの夜間は雄々しかない
fact1: 「その猛吹雪は白い」ということは事実だとすればそれは丸い fact2: その猛吹雪が追加発注だということはなくて複合過程でないとしたらその観測方法は船出する fact3: もしも夫婦らしいものが船出するとすればこの夜間は雄々しかない fact4: その猛吹雪は船出する fact5: その猛吹雪は雄々しかない fact6: その猛吹雪は追加発注でなくてそれは複合過程でない fact7: 「その観測方法は得られ易くないしそれに白くない」ということは成り立たない fact8: もしも「「得られ易くないし更に白くない」ということは成り立たない」物があるならその猛吹雪は白い
fact2 & fact6 -> int1: その観測方法は船出する; void -> assump1: 以下のように仮定する。その観測方法は夫婦らしい; int1 & assump1 -> int2: その観測方法は夫婦らしいし船出する; int2 -> int3: 「夫婦らしいし船出する」ものはある; int3 & fact3 -> int4: この夜間は雄々しいということはない; [assump1] & int4 -> hypothesis;
とあるものは丸いし書き下す
fact10 -> int5: 「「得られ易くないし加えて白くない」ということは間違いな」物はある; int5 & fact11 -> int6: その猛吹雪は白い; fact9 & int6 -> int7: その猛吹雪は丸い;
$facts$ = fact1: 「その猛吹雪は白い」ということは事実だとすればそれは丸い fact2: その猛吹雪が追加発注だということはなくて複合過程でないとしたらその観測方法は船出する fact3: もしも夫婦らしいものが船出するとすればこの夜間は雄々しかない fact4: その猛吹雪は船出する fact5: その猛吹雪は雄々しかない fact6: その猛吹雪は追加発注でなくてそれは複合過程でない fact7: 「その観測方法は得られ易くないしそれに白くない」ということは成り立たない fact8: もしも「「得られ易くないし更に白くない」ということは成り立たない」物があるならその猛吹雪は白い ; $hypothesis$ = その観測方法が夫婦らしいとすればこの夜間は雄々しかない ; $proof$ = 
fact2 & fact6 -> int1: その観測方法は船出する; void -> assump1: 以下のように仮定する。その観測方法は夫婦らしい; int1 & assump1 -> int2: その観測方法は夫婦らしいし船出する; int2 -> int3: 「夫婦らしいし船出する」ものはある; int3 & fact3 -> int4: この夜間は雄々しいということはない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「その猛吹雪は白い」ということは事実だとすればそれは丸い
事実2: その猛吹雪が追加発注だということはなくて複合過程でないとしたらその観測方法は船出する
事実3: もしも夫婦らしいものが船出するとすればこの夜間は雄々しかない
事実4: その猛吹雪は船出する
事実5: その猛吹雪は雄々しかない
事実6: その猛吹雪は追加発注でなくてそれは複合過程でない
事実7: 「その観測方法は得られ易くないしそれに白くない」ということは成り立たない
事実8: もしも「「得られ易くないし更に白くない」ということは成り立たない」物があるならその猛吹雪は白い

仮説: その観測方法が夫婦らしいとすればこの夜間は雄々しかない
1. 事実2と事実6から、推論1: "その観測方法は船出する"が導かれる
2. 仮定1: 以下のように仮定する。その観測方法は夫婦らしい
3. 推論1と仮定1から、推論2: "その観測方法は夫婦らしいし船出する"が導かれる
4. 推論2から、推論3: "「夫婦らしいし船出する」ものはある"が導かれる
5. 推論3と事実3から、推論4: "この夜間は雄々しいということはない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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