「「もし仮に「清算期間でない」ということは事実であるとしたら長々しいしかつ力強くない」物はある」ということは成り立つ
fact1: 「もしも「輝かしいということはない」ということは成り立つならずっとするししかも歌舞伎っぽくない」物はある fact2: 「仮に「清算期間だ」ということは成り立てば長々しいしおまけに力強くない」ものはある fact3: その夏型が分与しないなら力強い fact4: 「その等比性は清算期間でない」ということは本当であるとしたら長々しいし力強くない fact5: 「もし清算期間でないならば長々しいしかつ力強い」ものはある fact6: 「もしも「用事でない」ということは正しいならば取捨選択出来るしまた脂っぽくない」ものはある fact7: 「清算期間でないとしたら力強くない」物はある fact8: その等比性が清算期間だとすれば長々しいが力強くない fact9: もしとある物は清算期間であるということはないなら借り易い一方で三期分でない fact10: もしも「この発音器官は末寺でない」ということは正しいならそれはＢ評価だし加えてそれは探し易いということはない fact11: その等比性は清算期間でないとしたら長々しいし加えて力強い
fact4 -> hypothesis;
そのクエスチョンＳは清算期間でないとすると借り易いがしかし三期分でない
fact12 -> hypothesis;
$facts$ = fact1: 「もしも「輝かしいということはない」ということは成り立つならずっとするししかも歌舞伎っぽくない」物はある fact2: 「仮に「清算期間だ」ということは成り立てば長々しいしおまけに力強くない」ものはある fact3: その夏型が分与しないなら力強い fact4: 「その等比性は清算期間でない」ということは本当であるとしたら長々しいし力強くない fact5: 「もし清算期間でないならば長々しいしかつ力強い」ものはある fact6: 「もしも「用事でない」ということは正しいならば取捨選択出来るしまた脂っぽくない」ものはある fact7: 「清算期間でないとしたら力強くない」物はある fact8: その等比性が清算期間だとすれば長々しいが力強くない fact9: もしとある物は清算期間であるということはないなら借り易い一方で三期分でない fact10: もしも「この発音器官は末寺でない」ということは正しいならそれはＢ評価だし加えてそれは探し易いということはない fact11: その等比性は清算期間でないとしたら長々しいし加えて力強い ; $hypothesis$ = 「「もし仮に「清算期間でない」ということは事実であるとしたら長々しいしかつ力強くない」物はある」ということは成り立つ ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「もしも「輝かしいということはない」ということは成り立つならずっとするししかも歌舞伎っぽくない」物はある
事実2: 「仮に「清算期間だ」ということは成り立てば長々しいしおまけに力強くない」ものはある
事実3: その夏型が分与しないなら力強い
事実4: 「その等比性は清算期間でない」ということは本当であるとしたら長々しいし力強くない
事実5: 「もし清算期間でないならば長々しいしかつ力強い」ものはある
事実6: 「もしも「用事でない」ということは正しいならば取捨選択出来るしまた脂っぽくない」ものはある
事実7: 「清算期間でないとしたら力強くない」物はある
事実8: その等比性が清算期間だとすれば長々しいが力強くない
事実9: もしとある物は清算期間であるということはないなら借り易い一方で三期分でない
事実10: もしも「この発音器官は末寺でない」ということは正しいならそれはＢ評価だし加えてそれは探し易いということはない
事実11: その等比性は清算期間でないとしたら長々しいし加えて力強い

仮説: 「「もし仮に「清算期間でない」ということは事実であるとしたら長々しいしかつ力強くない」物はある」ということは成り立つ
1. 事実4から、仮説が導かれる

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