仮にあの挽き肉が投下資金だとしたらこの家財は目する
fact1: この炭焼き場が目するとしたらこの家財は御引き取り頂く fact2: もしこの家財が御引き取り頂くとするとこの炭焼き場は御褒美である fact3: 設置目的はごっつい fact4: もし仮にこの家財が御引き取り頂くならばあの炭焼き場は目する fact5: なにがしかの物は御褒美であるとすると御引き取り頂く fact6: 「この家財は投下資金だ」ということは成り立つ fact7: もしこの炭焼き場は御引き取り頂くなら「この家財は御褒美だ」ということは偽でない fact8: もしも「この炭焼き場は御褒美でないか御引き取り頂くということはないかまたは両方である」ということは誤っているならあの挽き肉は御引き取り頂く fact9: もしもあの挽き肉が投下資金であるならばあの炭焼き場は御引き取り頂く fact10: なにかは御褒美であるなら目する
void -> assump1: 以下のように仮定する。あの挽き肉は投下資金だ; fact9 & assump1 -> int1: この炭焼き場は御引き取り頂く; int1 & fact7 -> int2: この家財は御褒美だ; fact10 -> int3: 「この家財は御褒美だ」ということは成り立つとすると目する; int2 & int3 -> int4: この家財は目する; [assump1] & int4 -> hypothesis;
あの挽き肉は御引き取り頂く
$facts$ = fact1: この炭焼き場が目するとしたらこの家財は御引き取り頂く fact2: もしこの家財が御引き取り頂くとするとこの炭焼き場は御褒美である fact3: 設置目的はごっつい fact4: もし仮にこの家財が御引き取り頂くならばあの炭焼き場は目する fact5: なにがしかの物は御褒美であるとすると御引き取り頂く fact6: 「この家財は投下資金だ」ということは成り立つ fact7: もしこの炭焼き場は御引き取り頂くなら「この家財は御褒美だ」ということは偽でない fact8: もしも「この炭焼き場は御褒美でないか御引き取り頂くということはないかまたは両方である」ということは誤っているならあの挽き肉は御引き取り頂く fact9: もしもあの挽き肉が投下資金であるならばあの炭焼き場は御引き取り頂く fact10: なにかは御褒美であるなら目する ; $hypothesis$ = 仮にあの挽き肉が投下資金だとしたらこの家財は目する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの挽き肉は投下資金だ; fact9 & assump1 -> int1: この炭焼き場は御引き取り頂く; int1 & fact7 -> int2: この家財は御褒美だ; fact10 -> int3: 「この家財は御褒美だ」ということは成り立つとすると目する; int2 & int3 -> int4: この家財は目する; [assump1] & int4 -> hypothesis; __PROVED__
事実1: この炭焼き場が目するとしたらこの家財は御引き取り頂く
事実2: もしこの家財が御引き取り頂くとするとこの炭焼き場は御褒美である
事実3: 設置目的はごっつい
事実4: もし仮にこの家財が御引き取り頂くならばあの炭焼き場は目する
事実5: なにがしかの物は御褒美であるとすると御引き取り頂く
事実6: 「この家財は投下資金だ」ということは成り立つ
事実7: もしこの炭焼き場は御引き取り頂くなら「この家財は御褒美だ」ということは偽でない
事実8: もしも「この炭焼き場は御褒美でないか御引き取り頂くということはないかまたは両方である」ということは誤っているならあの挽き肉は御引き取り頂く
事実9: もしもあの挽き肉が投下資金であるならばあの炭焼き場は御引き取り頂く
事実10: なにかは御褒美であるなら目する

仮説: 仮にあの挽き肉が投下資金だとしたらこの家財は目する
1. 仮定1: 以下のように仮定する。あの挽き肉は投下資金だ
2. 事実9と仮定1から、推論1: "この炭焼き場は御引き取り頂く"が導かれる
3. 推論1と事実7から、推論2: "この家財は御褒美だ"が導かれる
4. 事実10から、推論3: "「この家財は御褒美だ」ということは成り立つとすると目する"が導かれる
5. 推論2と推論3から、推論4: "この家財は目する"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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