この牡丹鍋は取っ付くししかもそれはジェンダー化する
fact1: もしもこの牡丹鍋が役らしくないならばそれはジェンダー化するしおまけにそれは観測データである fact2: 役らしいものはジェンダー化しないかあるいは観測データであるかまたはどちらもである fact3: あの好結果は陛下であるしおまけにそれは取っ付く fact4: この牡丹鍋は転がり落ちない fact5: この歩合給は調べ直さない fact6: もしあの好結果が取っ付くとするとあのポンプ直送方式は取っ付く fact7: あの好結果は陛下であるしその上調べ直す fact8: あの好結果は陛下である fact9: もし仮にこの牡丹鍋が陛下であるならあの好結果は取っ付く fact10: もしもこの牡丹鍋が観測データであるとすればあの好結果はジェンダー化する fact11: あの好結果は取っ付くし陛下である fact12: もしもあの好結果が調べ直せばこの牡丹鍋は取っ付く fact13: この牡丹鍋は役らしくない fact14: あの好結果はジェンダー化する fact15: この牡丹鍋は観測データである fact16: この牡丹鍋は調べ直さないとすれば「あの好結果は取っ付かない一方で陛下である」ということは嘘だ fact17: この期中増減量は役らしい fact18: もしなんらかのものがジェンダー化しないかもしくは観測データであるかまたは両方だとすれば調べ直さない fact19: もし「とあるものは取っ付かないけどそれは陛下だ」ということは成り立たないとすれば取っ付く fact20: もし仮に「あの好結果は調べ直さない」ということは正しいとしたらそれは観測データであるしまたそれは陛下だ fact21: もし仮にあの好結果が役らしいならばこの牡丹鍋は陛下だ fact22: もしもあの好結果は観測データでないとするとそれは調べ直すし陛下だ fact23: あの好結果は発生主義会計だ fact24: もしもこの牡丹鍋が役らしいということはないならば観測データである
fact7 -> int1: あの好結果は調べ直す; int1 & fact12 -> int2: この牡丹鍋は取っ付く; fact13 & fact1 -> int3: この牡丹鍋がジェンダー化するしその上それは観測データだ; int3 -> int4: 「この牡丹鍋はジェンダー化する」ということは真実だ; int2 & int4 -> hypothesis;
fact7 -> int1: {B}{a}; int1 & fact12 -> int2: {C}{b}; fact13 & fact1 -> int3: ({D}{b} & {E}{b}); int3 -> int4: {D}{b}; int2 & int4 -> hypothesis;
あのポンプ直送方式は取っ付く
fact29 -> int5: もし「「あの好結果は取っ付かないけど陛下だ」ということは本当だ」ということは成り立たないならば取っ付く; fact26 -> int6: もしもこの牡丹鍋がジェンダー化しないかそれは観測データであるかまたは両方ともであるとすると調べ直さない; fact28 -> int7: 仮に「この牡丹鍋は役らしい」ということは正しいとしたらジェンダー化しないかもしくはそれは観測データだ;
$facts$ = fact1: もしもこの牡丹鍋が役らしくないならばそれはジェンダー化するしおまけにそれは観測データである fact2: 役らしいものはジェンダー化しないかあるいは観測データであるかまたはどちらもである fact3: あの好結果は陛下であるしおまけにそれは取っ付く fact4: この牡丹鍋は転がり落ちない fact5: この歩合給は調べ直さない fact6: もしあの好結果が取っ付くとするとあのポンプ直送方式は取っ付く fact7: あの好結果は陛下であるしその上調べ直す fact8: あの好結果は陛下である fact9: もし仮にこの牡丹鍋が陛下であるならあの好結果は取っ付く fact10: もしもこの牡丹鍋が観測データであるとすればあの好結果はジェンダー化する fact11: あの好結果は取っ付くし陛下である fact12: もしもあの好結果が調べ直せばこの牡丹鍋は取っ付く fact13: この牡丹鍋は役らしくない fact14: あの好結果はジェンダー化する fact15: この牡丹鍋は観測データである fact16: この牡丹鍋は調べ直さないとすれば「あの好結果は取っ付かない一方で陛下である」ということは嘘だ fact17: この期中増減量は役らしい fact18: もしなんらかのものがジェンダー化しないかもしくは観測データであるかまたは両方だとすれば調べ直さない fact19: もし「とあるものは取っ付かないけどそれは陛下だ」ということは成り立たないとすれば取っ付く fact20: もし仮に「あの好結果は調べ直さない」ということは正しいとしたらそれは観測データであるしまたそれは陛下だ fact21: もし仮にあの好結果が役らしいならばこの牡丹鍋は陛下だ fact22: もしもあの好結果は観測データでないとするとそれは調べ直すし陛下だ fact23: あの好結果は発生主義会計だ fact24: もしもこの牡丹鍋が役らしいということはないならば観測データである ; $hypothesis$ = この牡丹鍋は取っ付くししかもそれはジェンダー化する ; $proof$ = 
fact7 -> int1: あの好結果は調べ直す; int1 & fact12 -> int2: この牡丹鍋は取っ付く; fact13 & fact1 -> int3: この牡丹鍋がジェンダー化するしその上それは観測データだ; int3 -> int4: 「この牡丹鍋はジェンダー化する」ということは真実だ; int2 & int4 -> 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: あの好結果は発生主義会計だ
事実24: もしもこの牡丹鍋が役らしいということはないならば観測データである

仮説: この牡丹鍋は取っ付くししかもそれはジェンダー化する
1. 事実7から、推論1: "あの好結果は調べ直す"が導かれる
2. 推論1と事実12から、推論2: "この牡丹鍋は取っ付く"が導かれる
3. 事実13と事実1から、推論3: "この牡丹鍋がジェンダー化するしその上それは観測データだ"が導かれる
4. 推論3から、推論4: "「この牡丹鍋はジェンダー化する」ということは真実だ"が導かれる
5. 推論2と推論4から、仮説が導かれる

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