この子企業は依り頼む
fact1: もしもこの五大装置は不処罰であるとすれば「渇望しないがしかしほざく」ということは成り立つということはない fact2: もし仮にこの子企業が平積みするとすると依り頼まないしそれは不処罰であるということはない fact3: もし仮にこの店主名＆修業先が平積みしないとすればあの虚無は赤しけどそれは平積みしない fact4: 「入選するし御気持ちでない」ものがあればこの五大装置は六箇月頃だ fact5: この五大装置は不処罰である fact6: 仮に何らかのものが六箇月頃だとすればＯＢ臭い fact7: もし仮に赤しものが平積みしないとするとＯＢ臭い fact8: もしもこの店主名＆修業先がＯＢ臭くないならその虚無は平積みするがしかしＯＢ臭くない fact9: もし仮にその虚無がＯＢ臭いとすればあの子企業は依り頼む fact10: 「入選するし加えて御気持ちでない」ものはある fact11: もし仮に「「この五大装置は渇望するということはないけれどほざく」ということは事実と異なる」ということは確かだとするとこの店主名＆修業先は平積みしない
fact1 & fact5 -> int1: 「この五大装置は渇望しないがしかしほざく」ということは偽である; int1 & fact11 -> int2: 「この店主名＆修業先は平積みしない」ということは成り立つ; int2 & fact3 -> int3: その虚無は赤し一方で平積みしない; fact7 -> int4: その虚無は赤しが平積みしないならそれはＯＢ臭い; int3 & int4 -> int5: 「その虚無はＯＢ臭い」ということは事実だ; int5 & fact9 -> hypothesis;
この子企業は依り頼まない
fact15 -> int6: もしもこの五大装置は六箇月頃なら「それはＯＢ臭い」ということは成り立つ; fact12 & fact14 -> int7: この五大装置は六箇月頃だ; int6 & int7 -> int8: この五大装置はＯＢ臭い; int8 -> int9: 「ＯＢ臭い」ものはある;
$facts$ = fact1: もしもこの五大装置は不処罰であるとすれば「渇望しないがしかしほざく」ということは成り立つということはない fact2: もし仮にこの子企業が平積みするとすると依り頼まないしそれは不処罰であるということはない fact3: もし仮にこの店主名＆修業先が平積みしないとすればあの虚無は赤しけどそれは平積みしない fact4: 「入選するし御気持ちでない」ものがあればこの五大装置は六箇月頃だ fact5: この五大装置は不処罰である fact6: 仮に何らかのものが六箇月頃だとすればＯＢ臭い fact7: もし仮に赤しものが平積みしないとするとＯＢ臭い fact8: もしもこの店主名＆修業先がＯＢ臭くないならその虚無は平積みするがしかしＯＢ臭くない fact9: もし仮にその虚無がＯＢ臭いとすればあの子企業は依り頼む fact10: 「入選するし加えて御気持ちでない」ものはある fact11: もし仮に「「この五大装置は渇望するということはないけれどほざく」ということは事実と異なる」ということは確かだとするとこの店主名＆修業先は平積みしない ; $hypothesis$ = この子企業は依り頼む ; $proof$ = 
fact1 & fact5 -> int1: 「この五大装置は渇望しないがしかしほざく」ということは偽である; int1 & fact11 -> int2: 「この店主名＆修業先は平積みしない」ということは成り立つ; int2 & fact3 -> int3: その虚無は赤し一方で平積みしない; fact7 -> int4: その虚無は赤しが平積みしないならそれはＯＢ臭い; int3 & int4 -> int5: 「その虚無はＯＢ臭い」ということは事実だ; int5 & fact9 -> hypothesis; __PROVED__
事実1: もしもこの五大装置は不処罰であるとすれば「渇望しないがしかしほざく」ということは成り立つということはない
事実2: もし仮にこの子企業が平積みするとすると依り頼まないしそれは不処罰であるということはない
事実3: もし仮にこの店主名＆修業先が平積みしないとすればあの虚無は赤しけどそれは平積みしない
事実4: 「入選するし御気持ちでない」ものがあればこの五大装置は六箇月頃だ
事実5: この五大装置は不処罰である
事実6: 仮に何らかのものが六箇月頃だとすればＯＢ臭い
事実7: もし仮に赤しものが平積みしないとするとＯＢ臭い
事実8: もしもこの店主名＆修業先がＯＢ臭くないならその虚無は平積みするがしかしＯＢ臭くない
事実9: もし仮にその虚無がＯＢ臭いとすればあの子企業は依り頼む
事実10: 「入選するし加えて御気持ちでない」ものはある
事実11: もし仮に「「この五大装置は渇望するということはないけれどほざく」ということは事実と異なる」ということは確かだとするとこの店主名＆修業先は平積みしない

仮説: この子企業は依り頼む
1. 事実1と事実5から、推論1: "「この五大装置は渇望しないがしかしほざく」ということは偽である"が導かれる
2. 推論1と事実11から、推論2: "「この店主名＆修業先は平積みしない」ということは成り立つ"が導かれる
3. 推論2と事実3から、推論3: "その虚無は赤し一方で平積みしない"が導かれる
4. 事実7から、推論4: "その虚無は赤しが平積みしないならそれはＯＢ臭い"が導かれる
5. 推論3と推論4から、推論5: "「その虚無はＯＢ臭い」ということは事実だ"が導かれる
6. 推論5と事実9から、仮説が導かれる

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