この弾性歪みエネルギは熟れる
fact1: もしこの一日置きが口添えするとすればそれは大人しくてそれは熟れない fact2: もしこの二言語は取り押さえれば「この小説冒頭はタスク・フォースだということはなくてそれにそれは取り押さえない」ということは間違っている fact3: もしこの一日置きが唱え始めるしおまけに大人しいとすると「この滞納処分は大人しいということはない」ということは事実だ fact4: もし仮に「この小説冒頭はタスク・フォースでなくて取り押さえない」ということは間違っているならこの滞納処分は大人しい fact5: もしこの一日置きが唱え始めるけれど大人しくないとしたらこの滞納処分は大人しくない fact6: もしこの二言語は取り押さえるとすると「この小説冒頭はタスク・フォースでないがしかし取り押さえる」ということは間違っている fact7: 「この小説冒頭はタスク・フォースだがしかし取り押さえない」ということは嘘だ fact8: この一日置きは大人しくない fact9: もしあの微塵子が御聞き下さるとすればあの弾性歪みエネルギは彼らしい fact10: もしある物が御聞き下さるしさらに口添えするとしたらそれは熟れるということはない fact11: もし仮にあの微塵子が口添えすればこの二言語は取り押さえる fact12: この一日置きは百姓らしい fact13: もし仮に「なんらかのものは取り押さえなくてかつ御聞き下さらない」ということは成り立たないなら御聞き下さる fact14: この二言語は大人しい fact15: 仮にあるものが彼らしいならば熟れる fact16: もしもこの一日置きが百姓らしいとするとそれは大人しくない fact17: 百姓らしい物は唱え始めるがしかし大人しくない fact18: もし仮にあの微塵子がタスク・フォースだとすると御聞き下さるしまた熟れない fact19: 「「この小説冒頭はタスク・フォースでないがしかしそれは取り押さえる」ということは誤っている」ということは成り立つ fact20: 仮にあの微塵子が御聞き下さらないとすればそれは口添えする
void -> assump1: 以下のように仮定する。あの微塵子は御聞き下さらない; fact20 & assump1 -> int1: あの微塵子は口添えする; int1 & fact11 -> int2: この二言語は取り押さえる; int2 & fact2 -> int3: 「「この小説冒頭はタスク・フォースだということはなくて取り押さえない」ということは本当だ」ということは真実でない; int3 & fact4 -> int4: この滞納処分は大人しい; fact17 -> int5: もしこの一日置きが百姓らしいならばそれは唱え始めるしかつ大人しくない; fact12 & int5 -> int6: この一日置きは唱え始めるが大人しくない; int6 & fact5 -> int7: 「この滞納処分は大人しいということはない」ということは事実である; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの微塵子は御聞き下さる; int9 & fact9 -> int10: この弾性歪みエネルギは彼らしい; fact15 -> int11: 仮にこの弾性歪みエネルギが彼らしいならばそれは熟れる; int10 & int11 -> hypothesis;
この弾性歪みエネルギは熟れない
fact22 -> int12: 仮にこの弾性歪みエネルギが御聞き下さるしその上口添えするとすれば熟れない; fact21 -> int13: 仮に「「この弾性歪みエネルギは取り押さえなくてそれに御聞き下さらない」ということは成り立たない」ということは成り立てば御聞き下さる;
$facts$ = fact1: もしこの一日置きが口添えするとすればそれは大人しくてそれは熟れない fact2: もしこの二言語は取り押さえれば「この小説冒頭はタスク・フォースだということはなくてそれにそれは取り押さえない」ということは間違っている fact3: もしこの一日置きが唱え始めるしおまけに大人しいとすると「この滞納処分は大人しいということはない」ということは事実だ fact4: もし仮に「この小説冒頭はタスク・フォースでなくて取り押さえない」ということは間違っているならこの滞納処分は大人しい fact5: もしこの一日置きが唱え始めるけれど大人しくないとしたらこの滞納処分は大人しくない fact6: もしこの二言語は取り押さえるとすると「この小説冒頭はタスク・フォースでないがしかし取り押さえる」ということは間違っている fact7: 「この小説冒頭はタスク・フォースだがしかし取り押さえない」ということは嘘だ fact8: この一日置きは大人しくない fact9: もしあの微塵子が御聞き下さるとすればあの弾性歪みエネルギは彼らしい fact10: もしある物が御聞き下さるしさらに口添えするとしたらそれは熟れるということはない fact11: もし仮にあの微塵子が口添えすればこの二言語は取り押さえる fact12: この一日置きは百姓らしい fact13: もし仮に「なんらかのものは取り押さえなくてかつ御聞き下さらない」ということは成り立たないなら御聞き下さる fact14: この二言語は大人しい fact15: 仮にあるものが彼らしいならば熟れる fact16: もしもこの一日置きが百姓らしいとするとそれは大人しくない fact17: 百姓らしい物は唱え始めるがしかし大人しくない fact18: もし仮にあの微塵子がタスク・フォースだとすると御聞き下さるしまた熟れない fact19: 「「この小説冒頭はタスク・フォースでないがしかしそれは取り押さえる」ということは誤っている」ということは成り立つ fact20: 仮にあの微塵子が御聞き下さらないとすればそれは口添えする ; $hypothesis$ = この弾性歪みエネルギは熟れる ; $proof$ = 
void -> assump1: 以下のように仮定する。あの微塵子は御聞き下さらない; fact20 & assump1 -> int1: あの微塵子は口添えする; int1 & fact11 -> int2: この二言語は取り押さえる; int2 & fact2 -> int3: 「「この小説冒頭はタスク・フォースだということはなくて取り押さえない」ということは本当だ」ということは真実でない; int3 & fact4 -> int4: この滞納処分は大人しい; fact17 -> int5: もしこの一日置きが百姓らしいならばそれは唱え始めるしかつ大人しくない; fact12 & int5 -> int6: この一日置きは唱え始めるが大人しくない; int6 & fact5 -> int7: 「この滞納処分は大人しいということはない」ということは事実である; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの微塵子は御聞き下さる; int9 & fact9 -> int10: この弾性歪みエネルギは彼らしい; fact15 -> int11: 仮にこの弾性歪みエネルギが彼らしいならばそれは熟れる; int10 & int11 -> hypothesis; __PROVED__
事実1: もしこの一日置きが口添えするとすればそれは大人しくてそれは熟れない
事実2: もしこの二言語は取り押さえれば「この小説冒頭はタスク・フォースだということはなくてそれにそれは取り押さえない」ということは間違っている
事実3: もしこの一日置きが唱え始めるしおまけに大人しいとすると「この滞納処分は大人しいということはない」ということは事実だ
事実4: もし仮に「この小説冒頭はタスク・フォースでなくて取り押さえない」ということは間違っているならこの滞納処分は大人しい
事実5: もしこの一日置きが唱え始めるけれど大人しくないとしたらこの滞納処分は大人しくない
事実6: もしこの二言語は取り押さえるとすると「この小説冒頭はタスク・フォースでないがしかし取り押さえる」ということは間違っている
事実7: 「この小説冒頭はタスク・フォースだがしかし取り押さえない」ということは嘘だ
事実8: この一日置きは大人しくない
事実9: もしあの微塵子が御聞き下さるとすればあの弾性歪みエネルギは彼らしい
事実10: もしある物が御聞き下さるしさらに口添えするとしたらそれは熟れるということはない
事実11: もし仮にあの微塵子が口添えすればこの二言語は取り押さえる
事実12: この一日置きは百姓らしい
事実13: もし仮に「なんらかのものは取り押さえなくてかつ御聞き下さらない」ということは成り立たないなら御聞き下さる
事実14: この二言語は大人しい
事実15: 仮にあるものが彼らしいならば熟れる
事実16: もしもこの一日置きが百姓らしいとするとそれは大人しくない
事実17: 百姓らしい物は唱え始めるがしかし大人しくない
事実18: もし仮にあの微塵子がタスク・フォースだとすると御聞き下さるしまた熟れない
事実19: 「「この小説冒頭はタスク・フォースでないがしかしそれは取り押さえる」ということは誤っている」ということは成り立つ
事実20: 仮にあの微塵子が御聞き下さらないとすればそれは口添えする

仮説: この弾性歪みエネルギは熟れる
1. 仮定1: 以下のように仮定する。あの微塵子は御聞き下さらない
2. 事実20と仮定1から、推論1: "あの微塵子は口添えする"が導かれる
3. 推論1と事実11から、推論2: "この二言語は取り押さえる"が導かれる
4. 推論2と事実2から、推論3: "「「この小説冒頭はタスク・フォースだということはなくて取り押さえない」ということは本当だ」ということは真実でない"が導かれる
5. 推論3と事実4から、推論4: "この滞納処分は大人しい"が導かれる
6. 事実17から、推論5: "もしこの一日置きが百姓らしいならばそれは唱え始めるしかつ大人しくない"が導かれる
7. 事実12と推論5から、推論6: "この一日置きは唱え始めるが大人しくない"が導かれる
8. 推論6と事実5から、推論7: "「この滞納処分は大人しいということはない」ということは事実である"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの微塵子は御聞き下さる"が導かれる
11. 推論9と事実9から、推論10: "この弾性歪みエネルギは彼らしい"が導かれる
12. 事実15から、推論11: "仮にこの弾性歪みエネルギが彼らしいならばそれは熟れる"が導かれる
13. 推論10と推論11から、仮説が導かれる

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