「もしも戦争しないならば加算しないしそれに狙われ易くない」ものはある
fact1: もし「なにかは歴訪しない」ということは真実であるならば爆発しなくて加えて二回転しない fact2: もしもあの猛スピードが戦争するということはないとしたら加算しないけど狙われ易い fact3: 「もし仮に反応し易くないとしたらネイティブらしくないし仰々しくない」ものはある fact4: 「もしも観察すらないとすれば三派でない」ものはある fact5: 「もし仮に「戦争しない」ということは事実であるとすると加算しなくて狙われ易い」物はある fact6: その睡蓮が炭酸ガスでないならそれはオンラインゲームでないしそれは忍ばせる fact7: 「もしも「戦争しない」ということは事実だとすると加算するし狙われ易くない」ものはある fact8: 「「オンラインゲームでないとしたら「指導階級でなくて六等分でない」ということは成り立つ」ものはある」ということは本当である fact9: 仮にあの猛スピードが盛り上げないとしたらそれは戦争しないししかも保守でない fact10: 「刺繍しないなら交流し合うし要約しない」ものはある fact11: 仮にあの猛スピードが戦争しないとしたらそれは加算しなくて狙われ易くない fact12: 「もし仮にひょっとしないとすれば原石でない」ものはある fact13: 「「戦争しない」ということは成り立つとしたら狙われ易くない」物はある fact14: 「もし仮に戦争しないならば加算しない」物はある fact15: もしもあの猛スピードが散財しないとするとそれは勿体振らないし加えて加算しない fact16: 仮にあの猛スピードが掩護するとすると食肉用だということはなくてしかも狙われ易いということはない fact17: 「もし戦争するとすると加算しないししかも狙われ易くない」ものはある fact18: 「この半ばは自滅しない」ということは成り立つとしたらそれは健康志向だということはないししかも加算しない fact19: もしあの猛スピードが戦争しないとしたらそれは加算しない fact20: あの乗り物酔いが止めど無いということはないとしたらそれは後追いするということはないし更に狙われ易くない fact21: 僻みっぽくない物は同船しなくて出来得ない
fact11 -> hypothesis;
「もしも僻みっぽくないならば同船しないしその上出来得ない」ものはある
fact22 -> int1: もしあの同条後段が僻みっぽいということはないとするとそれは同船しなくてかつそれは出来得ない; int1 -> hypothesis;
$facts$ = fact1: もし「なにかは歴訪しない」ということは真実であるならば爆発しなくて加えて二回転しない fact2: もしもあの猛スピードが戦争するということはないとしたら加算しないけど狙われ易い fact3: 「もし仮に反応し易くないとしたらネイティブらしくないし仰々しくない」ものはある fact4: 「もしも観察すらないとすれば三派でない」ものはある fact5: 「もし仮に「戦争しない」ということは事実であるとすると加算しなくて狙われ易い」物はある fact6: その睡蓮が炭酸ガスでないならそれはオンラインゲームでないしそれは忍ばせる fact7: 「もしも「戦争しない」ということは事実だとすると加算するし狙われ易くない」ものはある fact8: 「「オンラインゲームでないとしたら「指導階級でなくて六等分でない」ということは成り立つ」ものはある」ということは本当である fact9: 仮にあの猛スピードが盛り上げないとしたらそれは戦争しないししかも保守でない fact10: 「刺繍しないなら交流し合うし要約しない」ものはある fact11: 仮にあの猛スピードが戦争しないとしたらそれは加算しなくて狙われ易くない fact12: 「もし仮にひょっとしないとすれば原石でない」ものはある fact13: 「「戦争しない」ということは成り立つとしたら狙われ易くない」物はある fact14: 「もし仮に戦争しないならば加算しない」物はある fact15: もしもあの猛スピードが散財しないとするとそれは勿体振らないし加えて加算しない fact16: 仮にあの猛スピードが掩護するとすると食肉用だということはなくてしかも狙われ易いということはない fact17: 「もし戦争するとすると加算しないししかも狙われ易くない」ものはある fact18: 「この半ばは自滅しない」ということは成り立つとしたらそれは健康志向だということはないししかも加算しない fact19: もしあの猛スピードが戦争しないとしたらそれは加算しない fact20: あの乗り物酔いが止めど無いということはないとしたらそれは後追いするということはないし更に狙われ易くない fact21: 僻みっぽくない物は同船しなくて出来得ない ; $hypothesis$ = 「もしも戦争しないならば加算しないしそれに狙われ易くない」ものはある ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: もし「なにかは歴訪しない」ということは真実であるならば爆発しなくて加えて二回転しない
事実2: もしもあの猛スピードが戦争するということはないとしたら加算しないけど狙われ易い
事実3: 「もし仮に反応し易くないとしたらネイティブらしくないし仰々しくない」ものはある
事実4: 「もしも観察すらないとすれば三派でない」ものはある
事実5: 「もし仮に「戦争しない」ということは事実であるとすると加算しなくて狙われ易い」物はある
事実6: その睡蓮が炭酸ガスでないならそれはオンラインゲームでないしそれは忍ばせる
事実7: 「もしも「戦争しない」ということは事実だとすると加算するし狙われ易くない」ものはある
事実8: 「「オンラインゲームでないとしたら「指導階級でなくて六等分でない」ということは成り立つ」ものはある」ということは本当である
事実9: 仮にあの猛スピードが盛り上げないとしたらそれは戦争しないししかも保守でない
事実10: 「刺繍しないなら交流し合うし要約しない」ものはある
事実11: 仮にあの猛スピードが戦争しないとしたらそれは加算しなくて狙われ易くない
事実12: 「もし仮にひょっとしないとすれば原石でない」ものはある
事実13: 「「戦争しない」ということは成り立つとしたら狙われ易くない」物はある
事実14: 「もし仮に戦争しないならば加算しない」物はある
事実15: もしもあの猛スピードが散財しないとするとそれは勿体振らないし加えて加算しない
事実16: 仮にあの猛スピードが掩護するとすると食肉用だということはなくてしかも狙われ易いということはない
事実17: 「もし戦争するとすると加算しないししかも狙われ易くない」ものはある
事実18: 「この半ばは自滅しない」ということは成り立つとしたらそれは健康志向だということはないししかも加算しない
事実19: もしあの猛スピードが戦争しないとしたらそれは加算しない
事実20: あの乗り物酔いが止めど無いということはないとしたらそれは後追いするということはないし更に狙われ易くない
事実21: 僻みっぽくない物は同船しなくて出来得ない

仮説: 「もしも戦争しないならば加算しないしそれに狙われ易くない」ものはある
1. 事実11から、仮説が導かれる

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