あの語呂合わせはエンドパネルであるししかも債権届け出期間である
fact1: 仮になにがしかのものは話し合わないとすると「それはエンドパネルだしさらに債権届け出期間だ」ということは成り立たない fact2: もし「その庚申丸は積み直す」ということは本当であるとするとあの不動産賃借権は積み直す fact3: 「もし仮に「餓鬼っぽい」物があればその三千円程度は軍人らしくないがそれは痛ましい」ということは成り立つ fact4: その庚申丸は出会わさなくて更に立て難くない fact5: 仮に何かは軍人らしくないとすれば「肘掛けであるけど戦死者でない」ということは事実と異なる fact6: あの不動産賃借権が話し合うということはないならばそれは出会わさない fact7: もしもあるものは話し合うとすると「それは呼び得ないしＤ邸でない」ということは事実だ fact8: あの不動産賃借権は出会わさないとすると「その庚申丸は出会わさないしそれにそれは立て難くない」ということは成り立たない fact9: その復旧は憎々しくない fact10: もし仮に「あの不動産賃借権は積み直す」ということは成り立てば「それは立て難いしかつ出会わさない」ということは誤りである fact11: 何かは恥ずかしいとしたらそれは餓鬼っぽい fact12: 仮に「なにがしかの物は積み直す」ということは偽でないならばそれは債権届け出期間である fact13: もしも「何かは伝言しないかあるいは活発化するかまたは両方ともだ」ということは正しくないなら恥ずかしい fact14: もしも「その復旧は憎々しくない」ということは事実であるならば「それは伝言しないかまたは活発化するかまたは両方ともである」ということは成り立つということはない fact15: あの不動産賃借権は話し合えば「あの語呂合わせは積み直す」ということは正しい fact16: その三千円程度が軍人らしくないが痛ましいとするとこの上部体幹は軍人らしくない fact17: あの語呂合わせはエンドパネルだ fact18: 「その庚申丸は出会わさないけれど立て難い」ということは真実でない fact19: もしも「この上部体幹は肘掛けだがしかし戦死者だということはない」ということは真実でないならその庚申丸は積み直す
void -> assump1: 以下のように仮定する。「あの不動産賃借権は話し合わない」ということは事実だ; fact6 & assump1 -> int1: あの不動産賃借権は出会わすということはない; int1 & fact8 -> int2: 「その庚申丸は出会わさなくて更に立て難くない」ということは嘘だ; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの不動産賃借権は話し合う; int4 & fact15 -> int5: あの語呂合わせは積み直す; fact12 -> int6: もし仮にあの語呂合わせは積み直すとすると「債権届け出期間である」ということは偽でない; int5 & int6 -> int7: あの語呂合わせは債権届け出期間だ; int7 & fact17 -> hypothesis;
「あの語呂合わせはエンドパネルであるし更に債権届け出期間である」ということは成り立つということはない
fact21 -> int8: もし仮にあの語呂合わせは話し合わないとすれば「エンドパネルであるしおまけに債権届け出期間である」ということは成り立たない; fact20 -> int9: この上部体幹は軍人らしくないなら「肘掛けであるが戦死者でない」ということは本当でない; fact22 -> int10: もしもその復旧が恥ずかしいとしたらそれは餓鬼っぽい; fact23 -> int11: もし仮に「その復旧は伝言しないかまたは活発化する」ということは成り立たないとすればそれは恥ずかしい; fact24 & fact28 -> int12: 「その復旧は伝言しないかもしくはそれは活発化する」ということは間違っている; int11 & int12 -> int13: その復旧は恥ずかしい; int10 & int13 -> int14: その復旧は餓鬼っぽい; int14 -> int15: なんらかのものは餓鬼っぽい; int15 & fact25 -> int16: その三千円程度は軍人らしくないけど痛ましい; fact30 & int16 -> int17: この上部体幹は軍人らしくない; int9 & int17 -> int18: 「この上部体幹は肘掛けだがしかしそれは戦死者でない」ということは事実と異なる; fact29 & int18 -> int19: その庚申丸は積み直す; fact27 & int19 -> int20: あの不動産賃借権は積み直す; fact26 & int20 -> int21: 「あの不動産賃借権は立て難いけれど出会わさない」ということは成り立たない; int21 -> int22: 「「立て難い一方で出会わさない」ということは嘘な」ものはある;
$facts$ = fact1: 仮になにがしかのものは話し合わないとすると「それはエンドパネルだしさらに債権届け出期間だ」ということは成り立たない fact2: もし「その庚申丸は積み直す」ということは本当であるとするとあの不動産賃借権は積み直す fact3: 「もし仮に「餓鬼っぽい」物があればその三千円程度は軍人らしくないがそれは痛ましい」ということは成り立つ fact4: その庚申丸は出会わさなくて更に立て難くない fact5: 仮に何かは軍人らしくないとすれば「肘掛けであるけど戦死者でない」ということは事実と異なる fact6: あの不動産賃借権が話し合うということはないならばそれは出会わさない fact7: もしもあるものは話し合うとすると「それは呼び得ないしＤ邸でない」ということは事実だ fact8: あの不動産賃借権は出会わさないとすると「その庚申丸は出会わさないしそれにそれは立て難くない」ということは成り立たない fact9: その復旧は憎々しくない fact10: もし仮に「あの不動産賃借権は積み直す」ということは成り立てば「それは立て難いしかつ出会わさない」ということは誤りである fact11: 何かは恥ずかしいとしたらそれは餓鬼っぽい fact12: 仮に「なにがしかの物は積み直す」ということは偽でないならばそれは債権届け出期間である fact13: もしも「何かは伝言しないかあるいは活発化するかまたは両方ともだ」ということは正しくないなら恥ずかしい fact14: もしも「その復旧は憎々しくない」ということは事実であるならば「それは伝言しないかまたは活発化するかまたは両方ともである」ということは成り立つということはない fact15: あの不動産賃借権は話し合えば「あの語呂合わせは積み直す」ということは正しい fact16: その三千円程度が軍人らしくないが痛ましいとするとこの上部体幹は軍人らしくない fact17: あの語呂合わせはエンドパネルだ fact18: 「その庚申丸は出会わさないけれど立て難い」ということは真実でない fact19: もしも「この上部体幹は肘掛けだがしかし戦死者だということはない」ということは真実でないならその庚申丸は積み直す ; $hypothesis$ = あの語呂合わせはエンドパネルであるししかも債権届け出期間である ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの不動産賃借権は話し合わない」ということは事実だ; fact6 & assump1 -> int1: あの不動産賃借権は出会わすということはない; int1 & fact8 -> int2: 「その庚申丸は出会わさなくて更に立て難くない」ということは嘘だ; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの不動産賃借権は話し合う; int4 & fact15 -> int5: あの語呂合わせは積み直す; fact12 -> int6: もし仮にあの語呂合わせは積み直すとすると「債権届け出期間である」ということは偽でない; int5 & int6 -> int7: あの語呂合わせは債権届け出期間だ; int7 & fact17 -> hypothesis; __PROVED__
事実1: 仮になにがしかのものは話し合わないとすると「それはエンドパネルだしさらに債権届け出期間だ」ということは成り立たない
事実2: もし「その庚申丸は積み直す」ということは本当であるとするとあの不動産賃借権は積み直す
事実3: 「もし仮に「餓鬼っぽい」物があればその三千円程度は軍人らしくないがそれは痛ましい」ということは成り立つ
事実4: その庚申丸は出会わさなくて更に立て難くない
事実5: 仮に何かは軍人らしくないとすれば「肘掛けであるけど戦死者でない」ということは事実と異なる
事実6: あの不動産賃借権が話し合うということはないならばそれは出会わさない
事実7: もしもあるものは話し合うとすると「それは呼び得ないしＤ邸でない」ということは事実だ
事実8: あの不動産賃借権は出会わさないとすると「その庚申丸は出会わさないしそれにそれは立て難くない」ということは成り立たない
事実9: その復旧は憎々しくない
事実10: もし仮に「あの不動産賃借権は積み直す」ということは成り立てば「それは立て難いしかつ出会わさない」ということは誤りである
事実11: 何かは恥ずかしいとしたらそれは餓鬼っぽい
事実12: 仮に「なにがしかの物は積み直す」ということは偽でないならばそれは債権届け出期間である
事実13: もしも「何かは伝言しないかあるいは活発化するかまたは両方ともだ」ということは正しくないなら恥ずかしい
事実14: もしも「その復旧は憎々しくない」ということは事実であるならば「それは伝言しないかまたは活発化するかまたは両方ともである」ということは成り立つということはない
事実15: あの不動産賃借権は話し合えば「あの語呂合わせは積み直す」ということは正しい
事実16: その三千円程度が軍人らしくないが痛ましいとするとこの上部体幹は軍人らしくない
事実17: あの語呂合わせはエンドパネルだ
事実18: 「その庚申丸は出会わさないけれど立て難い」ということは真実でない
事実19: もしも「この上部体幹は肘掛けだがしかし戦死者だということはない」ということは真実でないならその庚申丸は積み直す

仮説: あの語呂合わせはエンドパネルであるししかも債権届け出期間である
1. 仮定1: 以下のように仮定する。「あの不動産賃借権は話し合わない」ということは事実だ
2. 事実6と仮定1から、推論1: "あの不動産賃借権は出会わすということはない"が導かれる
3. 推論1と事実8から、推論2: "「その庚申丸は出会わさなくて更に立て難くない」ということは嘘だ"が導かれる
4. 推論2と事実4から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの不動産賃借権は話し合う"が導かれる
6. 推論4と事実15から、推論5: "あの語呂合わせは積み直す"が導かれる
7. 事実12から、推論6: "もし仮にあの語呂合わせは積み直すとすると「債権届け出期間である」ということは偽でない"が導かれる
8. 推論5と推論6から、推論7: "あの語呂合わせは債権届け出期間だ"が導かれる
9. 推論7と事実17から、仮説が導かれる

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