「もし「符合する」ということは誤っていないとすると装着出来なくてかつ抗い難い」物はある
fact1: なんらかの物が実現化するとすればそれは物々しいということはなくて呪う fact2: 「仮に空気熱交換器用ファンであるとしたら最終報告書で当事な」物はある fact3: 何らかのものが編集後記であるとしたらそれはざわざわしなくてまたそれは留置する fact4: 「仮に気付き難いなら書名だしその上三塁手な」ものはある fact5: 「「日蓮宗だ」ということは成り立つとすれば空気熱交換器用ファンでない」物はある fact6: もし仮にこの社会システム論が来易いならばそれは製織しない fact7: もし仮になにがしかのものが符合するとすれば装着出来ないし抗い難い fact8: もしもとあるものが符合するとすればそれは装着出来るしそれは抗い難い
fact7 -> int1: この社会システム論が符合するならそれは装着出来ないが抗い難い; int1 -> hypothesis;
$facts$ = fact1: なんらかの物が実現化するとすればそれは物々しいということはなくて呪う fact2: 「仮に空気熱交換器用ファンであるとしたら最終報告書で当事な」物はある fact3: 何らかのものが編集後記であるとしたらそれはざわざわしなくてまたそれは留置する fact4: 「仮に気付き難いなら書名だしその上三塁手な」ものはある fact5: 「「日蓮宗だ」ということは成り立つとすれば空気熱交換器用ファンでない」物はある fact6: もし仮にこの社会システム論が来易いならばそれは製織しない fact7: もし仮になにがしかのものが符合するとすれば装着出来ないし抗い難い fact8: もしもとあるものが符合するとすればそれは装着出来るしそれは抗い難い ; $hypothesis$ = 「もし「符合する」ということは誤っていないとすると装着出来なくてかつ抗い難い」物はある ; $proof$ = 
fact7 -> int1: この社会システム論が符合するならそれは装着出来ないが抗い難い; int1 -> hypothesis; __PROVED__
事実1: なんらかの物が実現化するとすればそれは物々しいということはなくて呪う
事実2: 「仮に空気熱交換器用ファンであるとしたら最終報告書で当事な」物はある
事実3: 何らかのものが編集後記であるとしたらそれはざわざわしなくてまたそれは留置する
事実4: 「仮に気付き難いなら書名だしその上三塁手な」ものはある
事実5: 「「日蓮宗だ」ということは成り立つとすれば空気熱交換器用ファンでない」物はある
事実6: もし仮にこの社会システム論が来易いならばそれは製織しない
事実7: もし仮になにがしかのものが符合するとすれば装着出来ないし抗い難い
事実8: もしもとあるものが符合するとすればそれは装着出来るしそれは抗い難い

仮説: 「もし「符合する」ということは誤っていないとすると装着出来なくてかつ抗い難い」物はある
1. 事実7から、推論1: "この社会システム論が符合するならそれは装着出来ないが抗い難い"が導かれる
2. 推論1から、仮説が導かれる

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