この余罪は安堵し難い
fact1: あらゆるものは動き続ける fact2: あの釣人は代数体でないしそれにＢＳＦであるということはない fact3: もしこの実験群被験者が安堵し難くないとするとこの余罪は引っ越さない fact4: もし仮になにかは落下するということはないがしかし熱塊であるとすればそれは燐酸化部位でない fact5: もし仮に「この実験群被験者は熱塊でない」ということは成り立つとしたらその流動数曲線は落下しないけれど熱塊だ fact6: あのサービスＳは倹しかない一方でそれは御届けする fact7: 何もかもは暮らし振りであるしさらに動き続ける fact8: この余罪は燐酸化部位である fact9: その流動数曲線は代数体である fact10: 熱塊は空かす fact11: この実験群被験者は代数体である fact12: この実験群被験者は彷徨するがしかし抜け易くない fact13: もしこの実験群被験者が代数体だとしたら空かすということはなくて引っ越さない fact14: その認識者は熱塊だ fact15: その流動数曲線が暮らし振りであるがしかし燐酸化部位でないとしたらこの余罪は安堵し難い fact16: その呪文は熱塊でない fact17: 「その流動数曲線は動き続ける」ということは確かだ fact18: この余罪は引っ越す fact19: どれもこれもは当たり難い fact20: もし仮にこの実験群被験者が暮らし振りでないとしたらその流動数曲線は代数体でない
fact10 -> int1: この実験群被験者が熱塊だとすると空かす; void -> assump1: 以下のように仮定する。この実験群被験者は熱塊だ; int1 & assump1 -> int2: この実験群被験者は空かす; fact13 & fact11 -> int3: この実験群被験者は空かさないしかつそれは引っ越さない; int3 -> int4: この実験群被験者は空かさない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この実験群被験者は熱塊でない; int6 & fact5 -> int7: その流動数曲線は落下しないけど熱塊だ; fact4 -> int8: もし仮にその流動数曲線は落下しないがしかし熱塊であるとすればそれは燐酸化部位であるということはない; int7 & int8 -> int9: その流動数曲線は燐酸化部位でない; fact7 -> int10: その流動数曲線は暮らし振りであるしかつそれは動き続ける; int10 -> int11: その流動数曲線は暮らし振りである; int9 & int11 -> int12: その流動数曲線は暮らし振りであるけどそれは燐酸化部位でない; int12 & fact15 -> hypothesis;
$facts$ = fact1: あらゆるものは動き続ける fact2: あの釣人は代数体でないしそれにＢＳＦであるということはない fact3: もしこの実験群被験者が安堵し難くないとするとこの余罪は引っ越さない fact4: もし仮になにかは落下するということはないがしかし熱塊であるとすればそれは燐酸化部位でない fact5: もし仮に「この実験群被験者は熱塊でない」ということは成り立つとしたらその流動数曲線は落下しないけれど熱塊だ fact6: あのサービスＳは倹しかない一方でそれは御届けする fact7: 何もかもは暮らし振りであるしさらに動き続ける fact8: この余罪は燐酸化部位である fact9: その流動数曲線は代数体である fact10: 熱塊は空かす fact11: この実験群被験者は代数体である fact12: この実験群被験者は彷徨するがしかし抜け易くない fact13: もしこの実験群被験者が代数体だとしたら空かすということはなくて引っ越さない fact14: その認識者は熱塊だ fact15: その流動数曲線が暮らし振りであるがしかし燐酸化部位でないとしたらこの余罪は安堵し難い fact16: その呪文は熱塊でない fact17: 「その流動数曲線は動き続ける」ということは確かだ fact18: この余罪は引っ越す fact19: どれもこれもは当たり難い fact20: もし仮にこの実験群被験者が暮らし振りでないとしたらその流動数曲線は代数体でない ; $hypothesis$ = この余罪は安堵し難い ; $proof$ = 
fact10 -> int1: この実験群被験者が熱塊だとすると空かす; void -> assump1: 以下のように仮定する。この実験群被験者は熱塊だ; int1 & assump1 -> int2: この実験群被験者は空かす; fact13 & fact11 -> int3: この実験群被験者は空かさないしかつそれは引っ越さない; int3 -> int4: この実験群被験者は空かさない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この実験群被験者は熱塊でない; int6 & fact5 -> int7: その流動数曲線は落下しないけど熱塊だ; fact4 -> int8: もし仮にその流動数曲線は落下しないがしかし熱塊であるとすればそれは燐酸化部位であるということはない; int7 & int8 -> int9: その流動数曲線は燐酸化部位でない; fact7 -> int10: その流動数曲線は暮らし振りであるしかつそれは動き続ける; int10 -> int11: その流動数曲線は暮らし振りである; int9 & int11 -> int12: その流動数曲線は暮らし振りであるけどそれは燐酸化部位でない; int12 & fact15 -> hypothesis; __PROVED__
事実1: あらゆるものは動き続ける
事実2: あの釣人は代数体でないしそれにＢＳＦであるということはない
事実3: もしこの実験群被験者が安堵し難くないとするとこの余罪は引っ越さない
事実4: もし仮になにかは落下するということはないがしかし熱塊であるとすればそれは燐酸化部位でない
事実5: もし仮に「この実験群被験者は熱塊でない」ということは成り立つとしたらその流動数曲線は落下しないけれど熱塊だ
事実6: あのサービスＳは倹しかない一方でそれは御届けする
事実7: 何もかもは暮らし振りであるしさらに動き続ける
事実8: この余罪は燐酸化部位である
事実9: その流動数曲線は代数体である
事実10: 熱塊は空かす
事実11: この実験群被験者は代数体である
事実12: この実験群被験者は彷徨するがしかし抜け易くない
事実13: もしこの実験群被験者が代数体だとしたら空かすということはなくて引っ越さない
事実14: その認識者は熱塊だ
事実15: その流動数曲線が暮らし振りであるがしかし燐酸化部位でないとしたらこの余罪は安堵し難い
事実16: その呪文は熱塊でない
事実17: 「その流動数曲線は動き続ける」ということは確かだ
事実18: この余罪は引っ越す
事実19: どれもこれもは当たり難い
事実20: もし仮にこの実験群被験者が暮らし振りでないとしたらその流動数曲線は代数体でない

仮説: この余罪は安堵し難い
1. 事実10から、推論1: "この実験群被験者が熱塊だとすると空かす"が導かれる
2. 仮定1: 以下のように仮定する。この実験群被験者は熱塊だ
3. 推論1と仮定1から、推論2: "この実験群被験者は空かす"が導かれる
4. 事実13と事実11から、推論3: "この実験群被験者は空かさないしかつそれは引っ越さない"が導かれる
5. 推論3から、推論4: "この実験群被験者は空かさない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この実験群被験者は熱塊でない"が導かれる
8. 推論6と事実5から、推論7: "その流動数曲線は落下しないけど熱塊だ"が導かれる
9. 事実4から、推論8: "もし仮にその流動数曲線は落下しないがしかし熱塊であるとすればそれは燐酸化部位であるということはない"が導かれる
10. 推論7と推論8から、推論9: "その流動数曲線は燐酸化部位でない"が導かれる
11. 事実7から、推論10: "その流動数曲線は暮らし振りであるしかつそれは動き続ける"が導かれる
12. 推論10から、推論11: "その流動数曲線は暮らし振りである"が導かれる
13. 推論9と推論11から、推論12: "その流動数曲線は暮らし振りであるけどそれは燐酸化部位でない"が導かれる
14. 推論12と事実15から、仮説が導かれる

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