「個人主義であるということはないし更に仲間らしいということはないとすればおっかしい」ものはある
fact1: その五十五人は個人主義であるけど仲間らしくないならばおっかしい fact2: もし仮にその五十五人が個人主義でなくてその上仲間らしくないならそれはおっかしい fact3: 「もしも個人主義でない一方で仲間らしいとしたらおっかしい」物はある fact4: 「仮に個人主義でその上仲間らしいないとしたらおっかしい」ものはある fact5: もしなにがしかの物は嘆かわしくないし発揮し難くないとしたら検定する fact6: 仮にその監視機器が追放刑でないけれど採石するとしたら「それは不快感だ」ということは事実である fact7: もし仮にその五十五人は個人主義であるということはないがしかし仲間らしいとしたらそれはおっかしい
fact2 -> hypothesis;
fact2 -> hypothesis;
「もし仮に嘆かわしくないし発揮し難いということはないとすれば検定する」物はある
fact8 -> int1: 仮にあの圃場整備が嘆かわしくなくてまたそれは発揮し難くないとすればそれは検定する; int1 -> hypothesis;
$facts$ = fact1: その五十五人は個人主義であるけど仲間らしくないならばおっかしい fact2: もし仮にその五十五人が個人主義でなくてその上仲間らしくないならそれはおっかしい fact3: 「もしも個人主義でない一方で仲間らしいとしたらおっかしい」物はある fact4: 「仮に個人主義でその上仲間らしいないとしたらおっかしい」ものはある fact5: もしなにがしかの物は嘆かわしくないし発揮し難くないとしたら検定する fact6: 仮にその監視機器が追放刑でないけれど採石するとしたら「それは不快感だ」ということは事実である fact7: もし仮にその五十五人は個人主義であるということはないがしかし仲間らしいとしたらそれはおっかしい ; $hypothesis$ = 「個人主義であるということはないし更に仲間らしいということはないとすればおっかしい」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: その五十五人は個人主義であるけど仲間らしくないならばおっかしい
事実2: もし仮にその五十五人が個人主義でなくてその上仲間らしくないならそれはおっかしい
事実3: 「もしも個人主義でない一方で仲間らしいとしたらおっかしい」物はある
事実4: 「仮に個人主義でその上仲間らしいないとしたらおっかしい」ものはある
事実5: もしなにがしかの物は嘆かわしくないし発揮し難くないとしたら検定する
事実6: 仮にその監視機器が追放刑でないけれど採石するとしたら「それは不快感だ」ということは事実である
事実7: もし仮にその五十五人は個人主義であるということはないがしかし仲間らしいとしたらそれはおっかしい

仮説: 「個人主義であるということはないし更に仲間らしいということはないとすればおっかしい」ものはある
1. 事実2から、仮説が導かれる

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