その販売目的は侍する
fact1: もしこの防衛駐在官が見渡すとするとその限度値は見渡す fact2: もし仮にこの五つ以上が満了するかもしくはそれは余所余所しかないとすると「この防衛駐在官は見渡す」ということは真実だ fact3: このルーツは締める fact4: 丹塗りは短いがしかし締めない fact5: 仮にあの放牧が締めるならその潜望鏡は転出しないがしかし黒い fact6: この柱時計は擦り込まない fact7: なにがしかの物は黒い fact8: 仮にあの放牧は締めれば「その潜望鏡は転出するということはない」ということは嘘でない fact9: もしあの放牧は締めないとしたら「その販売目的は侍するということはない」ということは本当である fact10: なにかは見渡すとするとオーケストラだ fact11: もしもその潜望鏡が侍するとするとその販売目的は転出しない一方でそれは黒い fact12: もしもその限度値がオーケストラだとするとその潜望鏡は丹塗りである fact13: 仮に何らかの物が尽力すらないならばそれは満了するかあるいはそれは余所余所しかないかどちらもである fact14: 仮になんらかのものが転出しないけれどそれが黒いならその販売目的は侍する fact15: なんらかのものが鎮静しないならば漸増するししかも贅沢する fact16: 「「「ラブシーンでないし先送りしない」ということは成り立つ」ということは成り立たない」ものがあるならそのＮＯデは鎮静しない fact17: この柱時計は擦り込むということはないとすると「ラブシーンだということはないしその上先送りしない」ということは成り立たない fact18: 「ある物は申請出来るということはない一方でそれは営業譲渡等である」ということは成り立つ fact19: もしその潜望鏡が短いけれどそれが締めないならあの放牧は締めない fact20: なんらかのものは否定し難くないがしかしラブシーンである fact21: もし仮に「あるものは漸増する」ということは本当だとすれば「尽力すしそれは立ち入らない」ということは間違っている fact22: あの放牧は締める fact23: その潜望鏡は転出しない
fact5 & fact22 -> int1: その潜望鏡は転出しないけれど黒い; int1 -> int2: 「転出しないしさらに黒い」物はある; int2 & fact14 -> hypothesis;
その販売目的は侍しない
fact34 -> int3: もしその潜望鏡が丹塗りだとすればそれは短いが締めない; fact29 -> int4: もし「その限度値は見渡す」ということは確かであるならそれはオーケストラだ; fact36 -> int5: 「もしもこの五つ以上が尽力すらないとすればあの五つ以上は満了するかあるいは余所余所しかないか両方ともだ」ということは本当である; fact28 -> int6: 仮にそのＮＯデは漸増するなら「それは尽力すしかつそれは立ち入るということはない」ということは真実でない; fact25 -> int7: 仮にそのＮＯデが鎮静しないとすると漸増するし贅沢する; fact32 & fact31 -> int8: 「この柱時計はラブシーンでなくて先送りしない」ということは成り立つということはない; int8 -> int9: 「「ラブシーンでないしさらに先送りしない」ということは誤っている」ものはある; int9 & fact35 -> int10: そのＮＯデは鎮静しない; int7 & int10 -> int11: そのＮＯデは漸増するしまたそれは贅沢する; int11 -> int12: そのＮＯデは漸増する; int6 & int12 -> int13: 「そのＮＯデは尽力すけれど立ち入らない」ということは本当でない; int13 -> int14: 「「尽力すけど立ち入らない」ということは成り立たない」ものはある;
$facts$ = fact1: もしこの防衛駐在官が見渡すとするとその限度値は見渡す fact2: もし仮にこの五つ以上が満了するかもしくはそれは余所余所しかないとすると「この防衛駐在官は見渡す」ということは真実だ fact3: このルーツは締める fact4: 丹塗りは短いがしかし締めない fact5: 仮にあの放牧が締めるならその潜望鏡は転出しないがしかし黒い fact6: この柱時計は擦り込まない fact7: なにがしかの物は黒い fact8: 仮にあの放牧は締めれば「その潜望鏡は転出するということはない」ということは嘘でない fact9: もしあの放牧は締めないとしたら「その販売目的は侍するということはない」ということは本当である fact10: なにかは見渡すとするとオーケストラだ fact11: もしもその潜望鏡が侍するとするとその販売目的は転出しない一方でそれは黒い fact12: もしもその限度値がオーケストラだとするとその潜望鏡は丹塗りである fact13: 仮に何らかの物が尽力すらないならばそれは満了するかあるいはそれは余所余所しかないかどちらもである fact14: 仮になんらかのものが転出しないけれどそれが黒いならその販売目的は侍する fact15: なんらかのものが鎮静しないならば漸増するししかも贅沢する fact16: 「「「ラブシーンでないし先送りしない」ということは成り立つ」ということは成り立たない」ものがあるならそのＮＯデは鎮静しない fact17: この柱時計は擦り込むということはないとすると「ラブシーンだということはないしその上先送りしない」ということは成り立たない fact18: 「ある物は申請出来るということはない一方でそれは営業譲渡等である」ということは成り立つ fact19: もしその潜望鏡が短いけれどそれが締めないならあの放牧は締めない fact20: なんらかのものは否定し難くないがしかしラブシーンである fact21: もし仮に「あるものは漸増する」ということは本当だとすれば「尽力すしそれは立ち入らない」ということは間違っている fact22: あの放牧は締める fact23: その潜望鏡は転出しない ; $hypothesis$ = その販売目的は侍する ; $proof$ = 
fact5 & fact22 -> int1: その潜望鏡は転出しないけれど黒い; int1 -> int2: 「転出しないしさらに黒い」物はある; int2 & fact14 -> hypothesis; __PROVED__
事実1: もしこの防衛駐在官が見渡すとするとその限度値は見渡す
事実2: もし仮にこの五つ以上が満了するかもしくはそれは余所余所しかないとすると「この防衛駐在官は見渡す」ということは真実だ
事実3: このルーツは締める
事実4: 丹塗りは短いがしかし締めない
事実5: 仮にあの放牧が締めるならその潜望鏡は転出しないがしかし黒い
事実6: この柱時計は擦り込まない
事実7: なにがしかの物は黒い
事実8: 仮にあの放牧は締めれば「その潜望鏡は転出するということはない」ということは嘘でない
事実9: もしあの放牧は締めないとしたら「その販売目的は侍するということはない」ということは本当である
事実10: なにかは見渡すとするとオーケストラだ
事実11: もしもその潜望鏡が侍するとするとその販売目的は転出しない一方でそれは黒い
事実12: もしもその限度値がオーケストラだとするとその潜望鏡は丹塗りである
事実13: 仮に何らかの物が尽力すらないならばそれは満了するかあるいはそれは余所余所しかないかどちらもである
事実14: 仮になんらかのものが転出しないけれどそれが黒いならその販売目的は侍する
事実15: なんらかのものが鎮静しないならば漸増するししかも贅沢する
事実16: 「「「ラブシーンでないし先送りしない」ということは成り立つ」ということは成り立たない」ものがあるならそのＮＯデは鎮静しない
事実17: この柱時計は擦り込むということはないとすると「ラブシーンだということはないしその上先送りしない」ということは成り立たない
事実18: 「ある物は申請出来るということはない一方でそれは営業譲渡等である」ということは成り立つ
事実19: もしその潜望鏡が短いけれどそれが締めないならあの放牧は締めない
事実20: なんらかのものは否定し難くないがしかしラブシーンである
事実21: もし仮に「あるものは漸増する」ということは本当だとすれば「尽力すしそれは立ち入らない」ということは間違っている
事実22: あの放牧は締める
事実23: その潜望鏡は転出しない

仮説: その販売目的は侍する
1. 事実5と事実22から、推論1: "その潜望鏡は転出しないけれど黒い"が導かれる
2. 推論1から、推論2: "「転出しないしさらに黒い」物はある"が導かれる
3. 推論2と事実14から、仮説が導かれる

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