もし仮に「その角書きは整い始める」ということは確かであるとしたらこの一矢は人工材料だということはない
fact1: この一矢は整い始めるとすると「その角書きが人工材料だけど維持出来るということはない」ということは偽だ fact2: この四曲が維持出来ないならばあの角書きは整い始める fact3: 仮にその角書きが整い始めるならこの一矢は人工材料だ fact4: 「仮にその角書きが人工材料であるとしたらこの一矢は整い始める」ということは事実だ fact5: もしこの一矢が人工材料であるとすればこの四曲は維持出来ない fact6: 仮にこの抵抗勢力が地震動だとするとこの四曲は起こし得る fact7: あの指定事業者は維持出来るということはない fact8: この旧勢力は人工材料でない fact9: この四曲は人工材料でない fact10: もしこのデータソースが叱るならこの抵抗勢力は叱る fact11: もし何らかの物が叱るとしたらそれは地震動だ fact12: この一矢は維持出来れば「この四曲は人工材料でない」ということは確かだ fact13: もし「「とある物は人工材料だ一方で維持出来ない」ということは成り立つ」ということは成り立たないとしたら耐暑性であるということはない fact14: この四曲が維持出来ないとするとその角書きは整い始めない fact15: もし仮に「この四曲は起こし得る」ということは正しいとしたらこの一矢は整い始める fact16: もし仮にその角書きが維持出来るとするとこの四曲は整い始める fact17: 仮にその角書きが人工材料であるとするとこの一矢は維持出来ない fact18: もしこの四曲が人工材料ならこの一矢は維持出来ない fact19: この四曲が整い始めないとしたらその角書きは維持出来る
void -> assump2: 以下のように仮定する。この一矢は人工材料だ; fact5 & assump2 -> int1: この四曲は維持出来るということはない; int1 & fact14 -> int2: その角書きは整い始めるということはない; void -> assump1: 以下のように仮定する。その角書きは整い始める; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: この一矢は人工材料でない; [assump1] & int4 -> hypothesis;
その角書きは耐暑性であるということはない
fact25 -> int5: もし仮に「その角書きは人工材料だけど維持出来ない」ということは偽であるとしたら耐暑性であるということはない; fact21 -> int6: もしもこの抵抗勢力が叱るなら地震動だ;
$facts$ = fact1: この一矢は整い始めるとすると「その角書きが人工材料だけど維持出来るということはない」ということは偽だ fact2: この四曲が維持出来ないならばあの角書きは整い始める fact3: 仮にその角書きが整い始めるならこの一矢は人工材料だ fact4: 「仮にその角書きが人工材料であるとしたらこの一矢は整い始める」ということは事実だ fact5: もしこの一矢が人工材料であるとすればこの四曲は維持出来ない fact6: 仮にこの抵抗勢力が地震動だとするとこの四曲は起こし得る fact7: あの指定事業者は維持出来るということはない fact8: この旧勢力は人工材料でない fact9: この四曲は人工材料でない fact10: もしこのデータソースが叱るならこの抵抗勢力は叱る fact11: もし何らかの物が叱るとしたらそれは地震動だ fact12: この一矢は維持出来れば「この四曲は人工材料でない」ということは確かだ fact13: もし「「とある物は人工材料だ一方で維持出来ない」ということは成り立つ」ということは成り立たないとしたら耐暑性であるということはない fact14: この四曲が維持出来ないとするとその角書きは整い始めない fact15: もし仮に「この四曲は起こし得る」ということは正しいとしたらこの一矢は整い始める fact16: もし仮にその角書きが維持出来るとするとこの四曲は整い始める fact17: 仮にその角書きが人工材料であるとするとこの一矢は維持出来ない fact18: もしこの四曲が人工材料ならこの一矢は維持出来ない fact19: この四曲が整い始めないとしたらその角書きは維持出来る ; $hypothesis$ = もし仮に「その角書きは整い始める」ということは確かであるとしたらこの一矢は人工材料だということはない ; $proof$ = 
void -> assump2: 以下のように仮定する。この一矢は人工材料だ; fact5 & assump2 -> int1: この四曲は維持出来るということはない; int1 & fact14 -> int2: その角書きは整い始めるということはない; void -> assump1: 以下のように仮定する。その角書きは整い始める; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: この一矢は人工材料でない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: この一矢は整い始めるとすると「その角書きが人工材料だけど維持出来るということはない」ということは偽だ
事実2: この四曲が維持出来ないならばあの角書きは整い始める
事実3: 仮にその角書きが整い始めるならこの一矢は人工材料だ
事実4: 「仮にその角書きが人工材料であるとしたらこの一矢は整い始める」ということは事実だ
事実5: もしこの一矢が人工材料であるとすればこの四曲は維持出来ない
事実6: 仮にこの抵抗勢力が地震動だとするとこの四曲は起こし得る
事実7: あの指定事業者は維持出来るということはない
事実8: この旧勢力は人工材料でない
事実9: この四曲は人工材料でない
事実10: もしこのデータソースが叱るならこの抵抗勢力は叱る
事実11: もし何らかの物が叱るとしたらそれは地震動だ
事実12: この一矢は維持出来れば「この四曲は人工材料でない」ということは確かだ
事実13: もし「「とある物は人工材料だ一方で維持出来ない」ということは成り立つ」ということは成り立たないとしたら耐暑性であるということはない
事実14: この四曲が維持出来ないとするとその角書きは整い始めない
事実15: もし仮に「この四曲は起こし得る」ということは正しいとしたらこの一矢は整い始める
事実16: もし仮にその角書きが維持出来るとするとこの四曲は整い始める
事実17: 仮にその角書きが人工材料であるとするとこの一矢は維持出来ない
事実18: もしこの四曲が人工材料ならこの一矢は維持出来ない
事実19: この四曲が整い始めないとしたらその角書きは維持出来る

仮説: もし仮に「その角書きは整い始める」ということは確かであるとしたらこの一矢は人工材料だということはない
1. 仮定2: 以下のように仮定する。この一矢は人工材料だ
2. 事実5と仮定2から、推論1: "この四曲は維持出来るということはない"が導かれる
3. 推論1と事実14から、推論2: "その角書きは整い始めるということはない"が導かれる
4. 仮定1: 以下のように仮定する。その角書きは整い始める
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "この一矢は人工材料でない"が導かれる
7. [仮定1]と推論4から、仮説が導かれる

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