あの大勢力は心強い
fact1: もし「ある物は体しないかもしくは中国語学でないかもしくは両方だ」ということは誤っているならそれは外野でない fact2: なにかはおっかなくないならあの冷汗は可愛らしくない fact3: もし仮に「その垂直統合は公的資金であるということはないが投げ飛ばす」ということは成り立たないなら「この絡繰舞台はおっかなくない」ということは嘘であるということはない fact4: もし仮になんらかのものは外野でないとすると「それは公的資金でないけれど投げ飛ばす」ということは間違いである fact5: あの大勢力が上塗りするしその上それは忘れっぽい fact6: 「仮に何かは忘れっぽくないとすれば「上塗りしないしかつ心強い」ということは事実と異なる」ということは成り立つ fact7: 何らかの物が上塗りするかもしくは忘れっぽくないか両方だとしたらそれは建議する fact8: もし仮に何らかの物は可愛らしいということはないなら「建議するがしかし忘れっぽくない」ということは本当であるということはない fact9: もしも「あの冷汗は建議するけれど忘れっぽくない」ということは事実と異なるとするとあの大勢力は忘れっぽくない fact10: 「可愛らしい物は心強い」ということは成り立つ fact11: 使用し易いものは制作する fact12: もし何らかの物が上塗りするかもしくは建議しないかあるいは両方であるとするとそれは可愛らしい
fact5 -> int1: あの大勢力は上塗りする; int1 -> int2: あの大勢力は上塗りするかまたはそれは建議しないか両方ともである; fact12 -> int3: もしもあの大勢力が上塗りするかあるいはそれは建議するということはないかまたは両方だとしたら可愛らしい; int2 & int3 -> int4: あの大勢力は可愛らしい; fact10 -> int5: もしもあの大勢力が可愛らしいならばそれは心強い; int4 & int5 -> hypothesis;
あの大勢力は心強くない
fact16 -> int6: あの大勢力は忘れっぽくないとすれば「それが上塗りしないしさらにそれは心強い」ということは間違っている; fact14 -> int7: もしもあの冷汗は可愛らしくないとすれば「建議するし更に忘れっぽくない」ということは偽である; fact19 -> int8: あの一Ｈは外野でないなら「公的資金でなくてかつそれは投げ飛ばす」ということは偽だ; fact17 -> int9: 「このテキストボックスは体しないかまたはそれは中国語学でないかどちらもである」ということは間違いであるとしたらそれは外野でない;
$facts$ = fact1: もし「ある物は体しないかもしくは中国語学でないかもしくは両方だ」ということは誤っているならそれは外野でない fact2: なにかはおっかなくないならあの冷汗は可愛らしくない fact3: もし仮に「その垂直統合は公的資金であるということはないが投げ飛ばす」ということは成り立たないなら「この絡繰舞台はおっかなくない」ということは嘘であるということはない fact4: もし仮になんらかのものは外野でないとすると「それは公的資金でないけれど投げ飛ばす」ということは間違いである fact5: あの大勢力が上塗りするしその上それは忘れっぽい fact6: 「仮に何かは忘れっぽくないとすれば「上塗りしないしかつ心強い」ということは事実と異なる」ということは成り立つ fact7: 何らかの物が上塗りするかもしくは忘れっぽくないか両方だとしたらそれは建議する fact8: もし仮に何らかの物は可愛らしいということはないなら「建議するがしかし忘れっぽくない」ということは本当であるということはない fact9: もしも「あの冷汗は建議するけれど忘れっぽくない」ということは事実と異なるとするとあの大勢力は忘れっぽくない fact10: 「可愛らしい物は心強い」ということは成り立つ fact11: 使用し易いものは制作する fact12: もし何らかの物が上塗りするかもしくは建議しないかあるいは両方であるとするとそれは可愛らしい ; $hypothesis$ = あの大勢力は心強い ; $proof$ = 
fact5 -> int1: あの大勢力は上塗りする; int1 -> int2: あの大勢力は上塗りするかまたはそれは建議しないか両方ともである; fact12 -> int3: もしもあの大勢力が上塗りするかあるいはそれは建議するということはないかまたは両方だとしたら可愛らしい; int2 & int3 -> int4: あの大勢力は可愛らしい; fact10 -> int5: もしもあの大勢力が可愛らしいならばそれは心強い; int4 & int5 -> hypothesis; __PROVED__
事実1: もし「ある物は体しないかもしくは中国語学でないかもしくは両方だ」ということは誤っているならそれは外野でない
事実2: なにかはおっかなくないならあの冷汗は可愛らしくない
事実3: もし仮に「その垂直統合は公的資金であるということはないが投げ飛ばす」ということは成り立たないなら「この絡繰舞台はおっかなくない」ということは嘘であるということはない
事実4: もし仮になんらかのものは外野でないとすると「それは公的資金でないけれど投げ飛ばす」ということは間違いである
事実5: あの大勢力が上塗りするしその上それは忘れっぽい
事実6: 「仮に何かは忘れっぽくないとすれば「上塗りしないしかつ心強い」ということは事実と異なる」ということは成り立つ
事実7: 何らかの物が上塗りするかもしくは忘れっぽくないか両方だとしたらそれは建議する
事実8: もし仮に何らかの物は可愛らしいということはないなら「建議するがしかし忘れっぽくない」ということは本当であるということはない
事実9: もしも「あの冷汗は建議するけれど忘れっぽくない」ということは事実と異なるとするとあの大勢力は忘れっぽくない
事実10: 「可愛らしい物は心強い」ということは成り立つ
事実11: 使用し易いものは制作する
事実12: もし何らかの物が上塗りするかもしくは建議しないかあるいは両方であるとするとそれは可愛らしい

仮説: あの大勢力は心強い
1. 事実5から、推論1: "あの大勢力は上塗りする"が導かれる
2. 推論1から、推論2: "あの大勢力は上塗りするかまたはそれは建議しないか両方ともである"が導かれる
3. 事実12から、推論3: "もしもあの大勢力が上塗りするかあるいはそれは建議するということはないかまたは両方だとしたら可愛らしい"が導かれる
4. 推論2と推論3から、推論4: "あの大勢力は可愛らしい"が導かれる
5. 事実10から、推論5: "もしもあの大勢力が可愛らしいならばそれは心強い"が導かれる
6. 推論4と推論5から、仮説が導かれる

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