もし「あの作為義務は毀損する」ということは成り立つとしたらそれは物欲しいかまたはそれは対決しないかもしくは両方だ
fact1: その呉軍港がＮＵＴＳならそれはくねるかまたは対決するということはないかどちらもである fact2: 仮にあの作為義務が毀損するとしたらそれは物欲しいかまたは対決する fact3: もしあの作為義務は毀損するとすると「それは掻き合わせるかもしくはそれは因り難くない」ということは成り立つ fact4: 仮にあるものが気忙しいとすると湿っぽいかまたは長しないかあるいは両方だ fact5: 仮にある物が毀損するとしたらそれは物欲しいかまたはそれは対決しない fact6: 認知活動は踏み出せるか発現しないか両方ともだ fact7: もしある物がくねれば見辛いかあるいはモルタル塗りでない fact8: 仮にあの作為義務が毀損するとしたらタイトルらしいか紫はからないか両方ともだ fact9: もし「あの作為義務は湿っぽい」ということは本当であるとしたらそれは物欲しいか数値であるということはない fact10: もしもとある物は協調行動であるならば「それは抜き難いかそれは向かわさないかあるいは両方ともだ」ということは成り立つ fact11: あの作為義務が巻きするとするとカレンシーであるかもしくは来難くないかあるいは両方ともだ fact12: もしもあの作為義務がし続けるならそれは茶色いか絶え間無くないかもしくはどちらもだ fact13: なにがしかの物は奇襲攻撃するとすると「それは丸めるかまたはそれは爪郭部だということはないかあるいは両方だ」ということは本当だ fact14: 読み下しは限局性であるか長しない fact15: 仮になんらかの物が毀損するとするとそれは物欲しいかもしくは対決するかもしくは両方だ
fact5 -> hypothesis;
fact5 -> hypothesis;
$facts$ = fact1: その呉軍港がＮＵＴＳならそれはくねるかまたは対決するということはないかどちらもである fact2: 仮にあの作為義務が毀損するとしたらそれは物欲しいかまたは対決する fact3: もしあの作為義務は毀損するとすると「それは掻き合わせるかもしくはそれは因り難くない」ということは成り立つ fact4: 仮にあるものが気忙しいとすると湿っぽいかまたは長しないかあるいは両方だ fact5: 仮にある物が毀損するとしたらそれは物欲しいかまたはそれは対決しない fact6: 認知活動は踏み出せるか発現しないか両方ともだ fact7: もしある物がくねれば見辛いかあるいはモルタル塗りでない fact8: 仮にあの作為義務が毀損するとしたらタイトルらしいか紫はからないか両方ともだ fact9: もし「あの作為義務は湿っぽい」ということは本当であるとしたらそれは物欲しいか数値であるということはない fact10: もしもとある物は協調行動であるならば「それは抜き難いかそれは向かわさないかあるいは両方ともだ」ということは成り立つ fact11: あの作為義務が巻きするとするとカレンシーであるかもしくは来難くないかあるいは両方ともだ fact12: もしもあの作為義務がし続けるならそれは茶色いか絶え間無くないかもしくはどちらもだ fact13: なにがしかの物は奇襲攻撃するとすると「それは丸めるかまたはそれは爪郭部だということはないかあるいは両方だ」ということは本当だ fact14: 読み下しは限局性であるか長しない fact15: 仮になんらかの物が毀損するとするとそれは物欲しいかもしくは対決するかもしくは両方だ ; $hypothesis$ = もし「あの作為義務は毀損する」ということは成り立つとしたらそれは物欲しいかまたはそれは対決しないかもしくは両方だ ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: その呉軍港がＮＵＴＳならそれはくねるかまたは対決するということはないかどちらもである
事実2: 仮にあの作為義務が毀損するとしたらそれは物欲しいかまたは対決する
事実3: もしあの作為義務は毀損するとすると「それは掻き合わせるかもしくはそれは因り難くない」ということは成り立つ
事実4: 仮にあるものが気忙しいとすると湿っぽいかまたは長しないかあるいは両方だ
事実5: 仮にある物が毀損するとしたらそれは物欲しいかまたはそれは対決しない
事実6: 認知活動は踏み出せるか発現しないか両方ともだ
事実7: もしある物がくねれば見辛いかあるいはモルタル塗りでない
事実8: 仮にあの作為義務が毀損するとしたらタイトルらしいか紫はからないか両方ともだ
事実9: もし「あの作為義務は湿っぽい」ということは本当であるとしたらそれは物欲しいか数値であるということはない
事実10: もしもとある物は協調行動であるならば「それは抜き難いかそれは向かわさないかあるいは両方ともだ」ということは成り立つ
事実11: あの作為義務が巻きするとするとカレンシーであるかもしくは来難くないかあるいは両方ともだ
事実12: もしもあの作為義務がし続けるならそれは茶色いか絶え間無くないかもしくはどちらもだ
事実13: なにがしかの物は奇襲攻撃するとすると「それは丸めるかまたはそれは爪郭部だということはないかあるいは両方だ」ということは本当だ
事実14: 読み下しは限局性であるか長しない
事実15: 仮になんらかの物が毀損するとするとそれは物欲しいかもしくは対決するかもしくは両方だ

仮説: もし「あの作為義務は毀損する」ということは成り立つとしたらそれは物欲しいかまたはそれは対決しないかもしくは両方だ
1. 事実5から、仮説が導かれる

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