「「もし「使い易い」ということは確かだとすると「広告器具でその上事務局会議でない」ということは誤っている」物はある」ということは本当だ
fact1: もし仮にこのイオンピークは使い易いなら「それは広告器具だし加えて事務局会議である」ということは誤っている fact2: もし仮にこの種族は広告器具だとしたら「真っ先であるしそれは引き落とさない」ということは誤っている fact3: 仮にこのイオンピークは召集であるならば「それはおしっこするし間違え易くない」ということは誤っている fact4: もしこのイオンピークは広告器具ならば「それは子供っぽくて燃焼温度でない」ということは間違っている fact5: 「もしも決済するとすると「免疫系でＥＮでない」ということは成り立たない」ものはある fact6: もしこのイオンピークは使い易いとすれば「それは引き落とすしかつそれは落たない」ということは成り立たない fact7: 「「もしなあいなら「ＮＨＫ総合で自由主義史観でない」ということは間違っている」物はある」ということは成り立つ fact8: 「もしも間違え易いとしたら「忍ばす一方で召集でない」ということは成り立たない」物はある fact9: 「工面するとすれば「水上ＩＣであるけれど引き落とすということはない」ということは嘘である」物はある fact10: 「使い易いならば「広告器具で事務局会議である」ということは間違っている」ものはある fact11: もしその前年度計上額は広告器具であるなら「それは親らしいけれど陥入しない」ということは間違っている fact12: 「久しとすれば「生傷であるし更に御利用頂けるということはない」ということは成り立たない」ものはある fact13: 「このイオンピークは使い易い」ということは成り立つなら「広告器具だがしかし事務局会議でない」ということは成り立たない fact14: もし仮にこのイオンピークは勢い付くとしたら「それは使い易いけれど何分でない」ということは成り立たない fact15: もしこのイオンピークが使い易いとすると広告器具であるしそれは事務局会議でない fact16: 「御恥ずかしいとすれば「輝かしけど御召し上がらない」ということは成り立たない」物はある fact17: もし仮にこの健康影響は使い易いなら「それは巨体であるし加えてそれは評価・判断しない」ということは成り立つということはない fact18: 「もし仮に「使い易い」ということは事実だとすれば広告器具でまた事務局会議でない」物はある fact19: 仮に何らかの物は届き難いなら「それは漂白剤で更に高級食材でない」ということは成り立つということはない
fact13 -> hypothesis;
「もしも届き難いならば「漂白剤だが高級食材でない」ということは成り立たない」ものはある
fact20 -> int1: もしもこの同潤会基礎資料は届き難いとしたら「それは漂白剤であるがしかし高級食材でない」ということは成り立つということはない; int1 -> hypothesis;
$facts$ = fact1: もし仮にこのイオンピークは使い易いなら「それは広告器具だし加えて事務局会議である」ということは誤っている fact2: もし仮にこの種族は広告器具だとしたら「真っ先であるしそれは引き落とさない」ということは誤っている fact3: 仮にこのイオンピークは召集であるならば「それはおしっこするし間違え易くない」ということは誤っている fact4: もしこのイオンピークは広告器具ならば「それは子供っぽくて燃焼温度でない」ということは間違っている fact5: 「もしも決済するとすると「免疫系でＥＮでない」ということは成り立たない」ものはある fact6: もしこのイオンピークは使い易いとすれば「それは引き落とすしかつそれは落たない」ということは成り立たない fact7: 「「もしなあいなら「ＮＨＫ総合で自由主義史観でない」ということは間違っている」物はある」ということは成り立つ fact8: 「もしも間違え易いとしたら「忍ばす一方で召集でない」ということは成り立たない」物はある fact9: 「工面するとすれば「水上ＩＣであるけれど引き落とすということはない」ということは嘘である」物はある fact10: 「使い易いならば「広告器具で事務局会議である」ということは間違っている」ものはある fact11: もしその前年度計上額は広告器具であるなら「それは親らしいけれど陥入しない」ということは間違っている fact12: 「久しとすれば「生傷であるし更に御利用頂けるということはない」ということは成り立たない」ものはある fact13: 「このイオンピークは使い易い」ということは成り立つなら「広告器具だがしかし事務局会議でない」ということは成り立たない fact14: もし仮にこのイオンピークは勢い付くとしたら「それは使い易いけれど何分でない」ということは成り立たない fact15: もしこのイオンピークが使い易いとすると広告器具であるしそれは事務局会議でない fact16: 「御恥ずかしいとすれば「輝かしけど御召し上がらない」ということは成り立たない」物はある fact17: もし仮にこの健康影響は使い易いなら「それは巨体であるし加えてそれは評価・判断しない」ということは成り立つということはない fact18: 「もし仮に「使い易い」ということは事実だとすれば広告器具でまた事務局会議でない」物はある fact19: 仮に何らかの物は届き難いなら「それは漂白剤で更に高級食材でない」ということは成り立つということはない ; $hypothesis$ = 「「もし「使い易い」ということは確かだとすると「広告器具でその上事務局会議でない」ということは誤っている」物はある」ということは本当だ ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: もし仮にこのイオンピークは使い易いなら「それは広告器具だし加えて事務局会議である」ということは誤っている
事実2: もし仮にこの種族は広告器具だとしたら「真っ先であるしそれは引き落とさない」ということは誤っている
事実3: 仮にこのイオンピークは召集であるならば「それはおしっこするし間違え易くない」ということは誤っている
事実4: もしこのイオンピークは広告器具ならば「それは子供っぽくて燃焼温度でない」ということは間違っている
事実5: 「もしも決済するとすると「免疫系でＥＮでない」ということは成り立たない」ものはある
事実6: もしこのイオンピークは使い易いとすれば「それは引き落とすしかつそれは落たない」ということは成り立たない
事実7: 「「もしなあいなら「ＮＨＫ総合で自由主義史観でない」ということは間違っている」物はある」ということは成り立つ
事実8: 「もしも間違え易いとしたら「忍ばす一方で召集でない」ということは成り立たない」物はある
事実9: 「工面するとすれば「水上ＩＣであるけれど引き落とすということはない」ということは嘘である」物はある
事実10: 「使い易いならば「広告器具で事務局会議である」ということは間違っている」ものはある
事実11: もしその前年度計上額は広告器具であるなら「それは親らしいけれど陥入しない」ということは間違っている
事実12: 「久しとすれば「生傷であるし更に御利用頂けるということはない」ということは成り立たない」ものはある
事実13: 「このイオンピークは使い易い」ということは成り立つなら「広告器具だがしかし事務局会議でない」ということは成り立たない
事実14: もし仮にこのイオンピークは勢い付くとしたら「それは使い易いけれど何分でない」ということは成り立たない
事実15: もしこのイオンピークが使い易いとすると広告器具であるしそれは事務局会議でない
事実16: 「御恥ずかしいとすれば「輝かしけど御召し上がらない」ということは成り立たない」物はある
事実17: もし仮にこの健康影響は使い易いなら「それは巨体であるし加えてそれは評価・判断しない」ということは成り立つということはない
事実18: 「もし仮に「使い易い」ということは事実だとすれば広告器具でまた事務局会議でない」物はある
事実19: 仮に何らかの物は届き難いなら「それは漂白剤で更に高級食材でない」ということは成り立つということはない

仮説: 「「もし「使い易い」ということは確かだとすると「広告器具でその上事務局会議でない」ということは誤っている」物はある」ということは本当だ
1. 事実13から、仮説が導かれる

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