「もし仮に言い争わないなら由々しくない」ものはある
fact1: 仮にこの自生が言い争わないとしたらそれは由々しいということはない fact2: 「もしこの自生が慌ただしいならこの自生は透き通らない」ということは成り立つ fact3: 「切なくないなら簡便しない」物はある fact4: 仮に何らかのものが前期バンでないとすれば地中海料理でない fact5: 「言い争うとすると由々しくない」ものはある fact6: 「毟り取るということはないとしたらややこしい」物はある fact7: もしこの自生は出入りし易くないならそれは決め難い fact8: 「仮に忍耐強くないとすれば不似合いな」ものはある fact9: もしもこの自生が京都らしいということはないなら建立でない fact10: 「もし仮に「往生であるということはない」ということは本当だとすれば義寂でない」物はある fact11: 「もし義寂でないとすると人身損害な」物はある fact12: 「もし欲張るとしたらピースワークしない」ものはある fact13: 「もしも埃っぽいということはないとしたら科すということはない」物はある fact14: 「仮に欲しないとしたら野暮ったい」ものはある
fact1 -> hypothesis;
fact1 -> hypothesis;
「もし前期バンでないとすると地中海料理でない」物はある
fact15 -> int1: 仮にこの漢字入力は前期バンであるということはないとすると地中海料理でない; int1 -> hypothesis;
$facts$ = fact1: 仮にこの自生が言い争わないとしたらそれは由々しいということはない fact2: 「もしこの自生が慌ただしいならこの自生は透き通らない」ということは成り立つ fact3: 「切なくないなら簡便しない」物はある fact4: 仮に何らかのものが前期バンでないとすれば地中海料理でない fact5: 「言い争うとすると由々しくない」ものはある fact6: 「毟り取るということはないとしたらややこしい」物はある fact7: もしこの自生は出入りし易くないならそれは決め難い fact8: 「仮に忍耐強くないとすれば不似合いな」ものはある fact9: もしもこの自生が京都らしいということはないなら建立でない fact10: 「もし仮に「往生であるということはない」ということは本当だとすれば義寂でない」物はある fact11: 「もし義寂でないとすると人身損害な」物はある fact12: 「もし欲張るとしたらピースワークしない」ものはある fact13: 「もしも埃っぽいということはないとしたら科すということはない」物はある fact14: 「仮に欲しないとしたら野暮ったい」ものはある ; $hypothesis$ = 「もし仮に言い争わないなら由々しくない」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 仮にこの自生が言い争わないとしたらそれは由々しいということはない
事実2: 「もしこの自生が慌ただしいならこの自生は透き通らない」ということは成り立つ
事実3: 「切なくないなら簡便しない」物はある
事実4: 仮に何らかのものが前期バンでないとすれば地中海料理でない
事実5: 「言い争うとすると由々しくない」ものはある
事実6: 「毟り取るということはないとしたらややこしい」物はある
事実7: もしこの自生は出入りし易くないならそれは決め難い
事実8: 「仮に忍耐強くないとすれば不似合いな」ものはある
事実9: もしもこの自生が京都らしいということはないなら建立でない
事実10: 「もし仮に「往生であるということはない」ということは本当だとすれば義寂でない」物はある
事実11: 「もし義寂でないとすると人身損害な」物はある
事実12: 「もし欲張るとしたらピースワークしない」ものはある
事実13: 「もしも埃っぽいということはないとしたら科すということはない」物はある
事実14: 「仮に欲しないとしたら野暮ったい」ものはある

仮説: 「もし仮に言い争わないなら由々しくない」ものはある
1. 事実1から、仮説が導かれる

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