その多摩中央署は御柱祭であるということはない
fact1: その腿肉は換気機でない fact2: もしその腿肉が換気機でないとすればそれは購読するということはない fact3: むくつけしない物は誘くししかもすりゃ良い fact4: その均衡利潤は様良くない fact5: あの各種企業は様良し fact6: 何らかのものは噴火口であるとすれば「解け易いということはないけれどむくつけし」ということは成り立つということはない fact7: もし仮にあの各種企業が談論風発しないけど御柱祭であるならこの記録係は御柱祭でない fact8: もし仮にあの各種企業が様良しとするとその多摩中央署は御柱祭でない fact9: もしとあるものが予測し易いとすれば請書でないけどデジカムである fact10: とあるものが誘くとするとそれは予測し易い fact11: もし「「その腿肉は解け易くないけれどそれはむくつけし」ということは成り立たない」ということは成り立つならばあの法力はむくつけしない fact12: 「「ピンクベージュである」ということは成り立つ」ものはあるとしたら「「その多摩中央署は様良くてかつそれは入行案内だ」ということは成り立たない」ということは成り立つ fact13: もしその腿肉が購読しないならばそれは噴火口だし千九百八十年代半ばだ fact14: あの各種企業は瞬間瞬間だ fact15: 「とある物は様良くて入行案内である」ということは成り立たないならばそれは様良くない fact16: 様良し物は御柱祭である fact17: もし何かは請書でないがデジカムであるとすればピンクベージュである fact18: あの各種企業は御柱祭である fact19: もしもその多摩中央署が様良しということはないならあの各種企業は談論風発しないけれどそれは御柱祭だ
fact8 & fact5 -> hypothesis;
この記録係は御柱祭でない
fact20 -> int1: もしも「その多摩中央署は様良くて更に入行案内である」ということは間違っているとすればそれは様良しということはない; fact26 -> int2: もしもその法力は請書でない一方でデジカムであるならばピンクベージュだ; fact30 -> int3: もし仮にその法力が予測し易いならばそれは請書でなくてそれはデジカムである; fact23 -> int4: その法力が誘けばそれは予測し易い; fact32 -> int5: 仮にその法力がむくつけしないとするとそれは誘くしまたそれはすりゃ良い; fact25 -> int6: その腿肉は噴火口であるならば「「解け易いということはないがしかしむくつけし」ということは正しい」ということは間違っている; fact24 & fact28 -> int7: その腿肉は購読しない; fact29 & int7 -> int8: その腿肉は噴火口であるしおまけにそれは千九百八十年代半ばである; int8 -> int9: その腿肉は噴火口である; int6 & int9 -> int10: 「「その腿肉は解け易くないがそれはむくつけし」ということは嘘でない」ということは誤りだ; fact31 & int10 -> int11: 「その法力はむくつけしない」ということは事実だ; int5 & int11 -> int12: その法力は誘くし更にすりゃ良い; int12 -> int13: その法力は誘く; int4 & int13 -> int14: その法力は予測し易い; int3 & int14 -> int15: その法力は請書でないがデジカムだ; int2 & int15 -> int16: その法力はピンクベージュだ; int16 -> int17: なんらかのものはピンクベージュだ; int17 & fact21 -> int18: 「その多摩中央署は様良くてそれに入行案内である」ということは成り立たない; int1 & int18 -> int19: その多摩中央署は様良くない; fact27 & int19 -> int20: あの各種企業は談論風発しない一方でそれは御柱祭だ; fact22 & int20 -> hypothesis;
$facts$ = fact1: その腿肉は換気機でない fact2: もしその腿肉が換気機でないとすればそれは購読するということはない fact3: むくつけしない物は誘くししかもすりゃ良い fact4: その均衡利潤は様良くない fact5: あの各種企業は様良し fact6: 何らかのものは噴火口であるとすれば「解け易いということはないけれどむくつけし」ということは成り立つということはない fact7: もし仮にあの各種企業が談論風発しないけど御柱祭であるならこの記録係は御柱祭でない fact8: もし仮にあの各種企業が様良しとするとその多摩中央署は御柱祭でない fact9: もしとあるものが予測し易いとすれば請書でないけどデジカムである fact10: とあるものが誘くとするとそれは予測し易い fact11: もし「「その腿肉は解け易くないけれどそれはむくつけし」ということは成り立たない」ということは成り立つならばあの法力はむくつけしない fact12: 「「ピンクベージュである」ということは成り立つ」ものはあるとしたら「「その多摩中央署は様良くてかつそれは入行案内だ」ということは成り立たない」ということは成り立つ fact13: もしその腿肉が購読しないならばそれは噴火口だし千九百八十年代半ばだ fact14: あの各種企業は瞬間瞬間だ fact15: 「とある物は様良くて入行案内である」ということは成り立たないならばそれは様良くない fact16: 様良し物は御柱祭である fact17: もし何かは請書でないがデジカムであるとすればピンクベージュである fact18: あの各種企業は御柱祭である fact19: もしもその多摩中央署が様良しということはないならあの各種企業は談論風発しないけれどそれは御柱祭だ ; $hypothesis$ = その多摩中央署は御柱祭であるということはない ; $proof$ = 
fact8 & fact5 -> hypothesis; __PROVED__
事実1: その腿肉は換気機でない
事実2: もしその腿肉が換気機でないとすればそれは購読するということはない
事実3: むくつけしない物は誘くししかもすりゃ良い
事実4: その均衡利潤は様良くない
事実5: あの各種企業は様良し
事実6: 何らかのものは噴火口であるとすれば「解け易いということはないけれどむくつけし」ということは成り立つということはない
事実7: もし仮にあの各種企業が談論風発しないけど御柱祭であるならこの記録係は御柱祭でない
事実8: もし仮にあの各種企業が様良しとするとその多摩中央署は御柱祭でない
事実9: もしとあるものが予測し易いとすれば請書でないけどデジカムである
事実10: とあるものが誘くとするとそれは予測し易い
事実11: もし「「その腿肉は解け易くないけれどそれはむくつけし」ということは成り立たない」ということは成り立つならばあの法力はむくつけしない
事実12: 「「ピンクベージュである」ということは成り立つ」ものはあるとしたら「「その多摩中央署は様良くてかつそれは入行案内だ」ということは成り立たない」ということは成り立つ
事実13: もしその腿肉が購読しないならばそれは噴火口だし千九百八十年代半ばだ
事実14: あの各種企業は瞬間瞬間だ
事実15: 「とある物は様良くて入行案内である」ということは成り立たないならばそれは様良くない
事実16: 様良し物は御柱祭である
事実17: もし何かは請書でないがデジカムであるとすればピンクベージュである
事実18: あの各種企業は御柱祭である
事実19: もしもその多摩中央署が様良しということはないならあの各種企業は談論風発しないけれどそれは御柱祭だ

仮説: その多摩中央署は御柱祭であるということはない
1. 事実8と事実5から、仮説が導かれる

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