「その一箇月前は休す一方で赤痣でない」ということは本当でない
fact1: もしあの大物がごつかないしかつ浅黒くないとするとその虫歯予防はごつい fact2: もし仮に何らかのものは製薬会社でないならそれは締めっぽいがしかしごつかない fact3: もしもあの大物がごついならこの革命理論は浅黒い fact4: もしなんらかの物が練り込むとしたらそれは空々しいかあるいは製薬会社でないかもしくは両方ともである fact5: 仮に「その収入額が浅ましないしさらに活気付けない」ということは嘘であるならばそれは練り込む fact6: 「「その収入額は浅ましということはないしさらに活気付けない」ということは成り立つ」ということは間違いである fact7: 仮にその収入額が製薬会社でないならばこの革命理論は締めっぽい fact8: もし仮にそのスタンドは赤痣なら「その一箇月前は休すが赤痣でない」ということは間違いである fact9: 「この革命理論は空々しいし加えて包み込める」ということは成り立たない fact10: もし仮にその虫歯予防が赤痣であるとするとあの大物はごつい fact11: もしその収入額が空々しいとすればあの革命理論は締めっぽい fact12: その虫歯予防がごついならばあの一箇月前は休すがしかしそれは赤痣でない fact13: 仮にその虫歯予防が赤痣でないとしたらそのスタンドは包み込めるしさらに赤痣だ fact14: その虫歯予防は締めっぽい fact15: もし仮になにがしかの物が浅黒いなら締めっぽくない
void -> assump1: 以下のように仮定する。その虫歯予防は赤痣だ; fact10 & assump1 -> int1: あの大物はごつい; int1 & fact3 -> int2: この革命理論は浅黒い; fact15 -> int3: この革命理論が浅黒いならばそれは締めっぽくない; int2 & int3 -> int4: この革命理論は締めっぽくない; fact4 -> int5: もしもその収入額が練り込むとすると空々しいかあるいは製薬会社だということはないかあるいはどちらもである; fact6 & fact5 -> int6: その収入額は練り込む; int5 & int6 -> int7: その収入額は空々しいかもしくはそれは製薬会社であるということはないかまたは両方ともだ; fact11 & fact7 & int7 -> int8: この革命理論は締めっぽい; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その虫歯予防は赤痣でない; int10 & fact13 -> int11: そのスタンドは包み込めるしそれに赤痣だ; int11 -> int12: そのスタンドは赤痣だ; int12 & fact8 -> hypothesis;
その一箇月前は休すけど赤痣でない
fact18 -> int13: もし「あの大物は製薬会社であるということはない」ということは真実であるならそれは締めっぽいがしかしごつかない; fact19 -> int14: 「「空々しいし加えて包み込める」ということは間違いな」物はある;
$facts$ = fact1: もしあの大物がごつかないしかつ浅黒くないとするとその虫歯予防はごつい fact2: もし仮に何らかのものは製薬会社でないならそれは締めっぽいがしかしごつかない fact3: もしもあの大物がごついならこの革命理論は浅黒い fact4: もしなんらかの物が練り込むとしたらそれは空々しいかあるいは製薬会社でないかもしくは両方ともである fact5: 仮に「その収入額が浅ましないしさらに活気付けない」ということは嘘であるならばそれは練り込む fact6: 「「その収入額は浅ましということはないしさらに活気付けない」ということは成り立つ」ということは間違いである fact7: 仮にその収入額が製薬会社でないならばこの革命理論は締めっぽい fact8: もし仮にそのスタンドは赤痣なら「その一箇月前は休すが赤痣でない」ということは間違いである fact9: 「この革命理論は空々しいし加えて包み込める」ということは成り立たない fact10: もし仮にその虫歯予防が赤痣であるとするとあの大物はごつい fact11: もしその収入額が空々しいとすればあの革命理論は締めっぽい fact12: その虫歯予防がごついならばあの一箇月前は休すがしかしそれは赤痣でない fact13: 仮にその虫歯予防が赤痣でないとしたらそのスタンドは包み込めるしさらに赤痣だ fact14: その虫歯予防は締めっぽい fact15: もし仮になにがしかの物が浅黒いなら締めっぽくない ; $hypothesis$ = 「その一箇月前は休す一方で赤痣でない」ということは本当でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その虫歯予防は赤痣だ; fact10 & assump1 -> int1: あの大物はごつい; int1 & fact3 -> int2: この革命理論は浅黒い; fact15 -> int3: この革命理論が浅黒いならばそれは締めっぽくない; int2 & int3 -> int4: この革命理論は締めっぽくない; fact4 -> int5: もしもその収入額が練り込むとすると空々しいかあるいは製薬会社だということはないかあるいはどちらもである; fact6 & fact5 -> int6: その収入額は練り込む; int5 & int6 -> int7: その収入額は空々しいかもしくはそれは製薬会社であるということはないかまたは両方ともだ; fact11 & fact7 & int7 -> int8: この革命理論は締めっぽい; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その虫歯予防は赤痣でない; int10 & fact13 -> int11: そのスタンドは包み込めるしそれに赤痣だ; int11 -> int12: そのスタンドは赤痣だ; int12 & fact8 -> hypothesis; __PROVED__
事実1: もしあの大物がごつかないしかつ浅黒くないとするとその虫歯予防はごつい
事実2: もし仮に何らかのものは製薬会社でないならそれは締めっぽいがしかしごつかない
事実3: もしもあの大物がごついならこの革命理論は浅黒い
事実4: もしなんらかの物が練り込むとしたらそれは空々しいかあるいは製薬会社でないかもしくは両方ともである
事実5: 仮に「その収入額が浅ましないしさらに活気付けない」ということは嘘であるならばそれは練り込む
事実6: 「「その収入額は浅ましということはないしさらに活気付けない」ということは成り立つ」ということは間違いである
事実7: 仮にその収入額が製薬会社でないならばこの革命理論は締めっぽい
事実8: もし仮にそのスタンドは赤痣なら「その一箇月前は休すが赤痣でない」ということは間違いである
事実9: 「この革命理論は空々しいし加えて包み込める」ということは成り立たない
事実10: もし仮にその虫歯予防が赤痣であるとするとあの大物はごつい
事実11: もしその収入額が空々しいとすればあの革命理論は締めっぽい
事実12: その虫歯予防がごついならばあの一箇月前は休すがしかしそれは赤痣でない
事実13: 仮にその虫歯予防が赤痣でないとしたらそのスタンドは包み込めるしさらに赤痣だ
事実14: その虫歯予防は締めっぽい
事実15: もし仮になにがしかの物が浅黒いなら締めっぽくない

仮説: 「その一箇月前は休す一方で赤痣でない」ということは本当でない
1. 仮定1: 以下のように仮定する。その虫歯予防は赤痣だ
2. 事実10と仮定1から、推論1: "あの大物はごつい"が導かれる
3. 推論1と事実3から、推論2: "この革命理論は浅黒い"が導かれる
4. 事実15から、推論3: "この革命理論が浅黒いならばそれは締めっぽくない"が導かれる
5. 推論2と推論3から、推論4: "この革命理論は締めっぽくない"が導かれる
6. 事実4から、推論5: "もしもその収入額が練り込むとすると空々しいかあるいは製薬会社だということはないかあるいはどちらもである"が導かれる
7. 事実6と事実5から、推論6: "その収入額は練り込む"が導かれる
8. 推論5と推論6から、推論7: "その収入額は空々しいかもしくはそれは製薬会社であるということはないかまたは両方ともだ"が導かれる
9. 事実11と事実7と推論7から、推論8: "この革命理論は締めっぽい"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "その虫歯予防は赤痣でない"が導かれる
12. 推論10と事実13から、推論11: "そのスタンドは包み込めるしそれに赤痣だ"が導かれる
13. 推論11から、推論12: "そのスタンドは赤痣だ"が導かれる
14. 推論12と事実8から、仮説が導かれる

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