その史的研究は歩き辛くないしかつ装わない
fact1: この白紙は固有値でない fact2: 「この白紙は装わないけれど食欲だ」ということは成り立たない fact3: その史的研究は落ち易くない fact4: その史的研究は留めない fact5: このプロジェクトＸは装う fact6: 仮に「「何かは食欲でないが監視し易い」ということは成り立つ」ということは嘘だとすれば「それは倒れ難くない」ということは本当だ fact7: もしこの白紙は食欲でないがしかし監視し易いとしたらそれは本格化する fact8: この白紙は倒れ難い fact9: その固定金利預金は歩き辛い fact10: 仮にこの白紙は本格化するなら「その固定金利預金は付き易い」ということは成り立つ fact11: その史的研究が装うとすればその固定金利預金は歩き辛い fact12: もしもその固定金利預金が付き易いならそれは食欲である fact13: もし「なんらかの物はスコットランド方言だ」ということは真実ならば吊り易くない fact14: 「この白紙は本格化しないけれど付き易い」ということは事実と異なる fact15: もしもその固定金利預金が装うならその史的研究は歩き辛くないしまたそれは装わない fact16: もしその固定金利預金は付き易いとしたら「装う」ということは真実だ fact17: このノブちゃんは装わない
fact6 -> int1: 「この白紙は食欲でないがしかし監視し易い」ということは成り立つということはないならそれは倒れ難いということはない; void -> assump1: 以下のように仮定する。「この白紙は食欲であるということはないがしかし監視し易い」ということは間違いである; int1 & assump1 -> int2: この白紙は倒れ難くない; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この白紙は食欲であるということはないけど監視し易い」ということは成り立つ; int4 & fact7 -> int5: 「この白紙は本格化する」ということは成り立つ; int5 & fact10 -> int6: その固定金利預金は付き易い; int6 & fact16 -> int7: その固定金利預金は装う; int7 & fact15 -> hypothesis;
$facts$ = fact1: この白紙は固有値でない fact2: 「この白紙は装わないけれど食欲だ」ということは成り立たない fact3: その史的研究は落ち易くない fact4: その史的研究は留めない fact5: このプロジェクトＸは装う fact6: 仮に「「何かは食欲でないが監視し易い」ということは成り立つ」ということは嘘だとすれば「それは倒れ難くない」ということは本当だ fact7: もしこの白紙は食欲でないがしかし監視し易いとしたらそれは本格化する fact8: この白紙は倒れ難い fact9: その固定金利預金は歩き辛い fact10: 仮にこの白紙は本格化するなら「その固定金利預金は付き易い」ということは成り立つ fact11: その史的研究が装うとすればその固定金利預金は歩き辛い fact12: もしもその固定金利預金が付き易いならそれは食欲である fact13: もし「なんらかの物はスコットランド方言だ」ということは真実ならば吊り易くない fact14: 「この白紙は本格化しないけれど付き易い」ということは事実と異なる fact15: もしもその固定金利預金が装うならその史的研究は歩き辛くないしまたそれは装わない fact16: もしその固定金利預金は付き易いとしたら「装う」ということは真実だ fact17: このノブちゃんは装わない ; $hypothesis$ = その史的研究は歩き辛くないしかつ装わない ; $proof$ = 
fact6 -> int1: 「この白紙は食欲でないがしかし監視し易い」ということは成り立つということはないならそれは倒れ難いということはない; void -> assump1: 以下のように仮定する。「この白紙は食欲であるということはないがしかし監視し易い」ということは間違いである; int1 & assump1 -> int2: この白紙は倒れ難くない; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この白紙は食欲であるということはないけど監視し易い」ということは成り立つ; int4 & fact7 -> int5: 「この白紙は本格化する」ということは成り立つ; int5 & fact10 -> int6: その固定金利預金は付き易い; int6 & fact16 -> int7: その固定金利預金は装う; int7 & fact15 -> hypothesis; __PROVED__
事実1: この白紙は固有値でない
事実2: 「この白紙は装わないけれど食欲だ」ということは成り立たない
事実3: その史的研究は落ち易くない
事実4: その史的研究は留めない
事実5: このプロジェクトＸは装う
事実6: 仮に「「何かは食欲でないが監視し易い」ということは成り立つ」ということは嘘だとすれば「それは倒れ難くない」ということは本当だ
事実7: もしこの白紙は食欲でないがしかし監視し易いとしたらそれは本格化する
事実8: この白紙は倒れ難い
事実9: その固定金利預金は歩き辛い
事実10: 仮にこの白紙は本格化するなら「その固定金利預金は付き易い」ということは成り立つ
事実11: その史的研究が装うとすればその固定金利預金は歩き辛い
事実12: もしもその固定金利預金が付き易いならそれは食欲である
事実13: もし「なんらかの物はスコットランド方言だ」ということは真実ならば吊り易くない
事実14: 「この白紙は本格化しないけれど付き易い」ということは事実と異なる
事実15: もしもその固定金利預金が装うならその史的研究は歩き辛くないしまたそれは装わない
事実16: もしその固定金利預金は付き易いとしたら「装う」ということは真実だ
事実17: このノブちゃんは装わない

仮説: その史的研究は歩き辛くないしかつ装わない
1. 事実6から、推論1: "「この白紙は食欲でないがしかし監視し易い」ということは成り立つということはないならそれは倒れ難いということはない"が導かれる
2. 仮定1: 以下のように仮定する。「この白紙は食欲であるということはないがしかし監視し易い」ということは間違いである
3. 推論1と仮定1から、推論2: "この白紙は倒れ難くない"が導かれる
4. 推論2と事実8から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この白紙は食欲であるということはないけど監視し易い」ということは成り立つ"が導かれる
6. 推論4と事実7から、推論5: "「この白紙は本格化する」ということは成り立つ"が導かれる
7. 推論5と事実10から、推論6: "その固定金利預金は付き易い"が導かれる
8. 推論6と事実16から、推論7: "その固定金利預金は装う"が導かれる
9. 推論7と事実15から、仮説が導かれる

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