あのグループは割り算する
fact1: あの年秋が解除しないとすればあの有効射程は解除しない fact2: あのグループが突発しないとしたらそのイオン結晶は突発しない fact3: もしあのグループが解除しないならば割り算する fact4: もし仮にあのグループは幢相であるとすればそれはしょっぱい fact5: もしも「とあるものは幢相だししょっぱい」ということは成り立つということはないならば割り算しない fact6: もし「何らかのものはしょっぱいかもしくは解除しないかまたは両方だ」ということは正しいならそれは割り算する fact7: もしもその殺戮が解除するということはないならあの年秋は解除しない fact8: あのグループはしょっぱいか解除するかどちらもだ fact9: もし仮になにがしかのものが突発しないとするとそれはしょっぱくないし解除するということはない fact10: 仮にとあるものは解除しないとすると「幢相だししかもしょっぱい」ということは間違いである fact11: 仮にこの有効射程が解除しないとすればあのグループは解除するということはない fact12: あのグループは幢相である fact13: もしなにがしかの物は解除しないならば「それは割り算する」ということは成り立つ
fact4 & fact12 -> int1: あのグループはしょっぱい; int1 -> int2: あのグループはしょっぱいかまたは解除しない; fact6 -> int3: 仮にあのグループがしょっぱいかあるいはそれは解除しないかまたは両方であるとするとそれは割り算する; int2 & int3 -> hypothesis;
そのイオン結晶は割り算する
fact15 -> int4: そのイオン結晶が突発しないとすればしょっぱくないし解除しない;
$facts$ = fact1: あの年秋が解除しないとすればあの有効射程は解除しない fact2: あのグループが突発しないとしたらそのイオン結晶は突発しない fact3: もしあのグループが解除しないならば割り算する fact4: もし仮にあのグループは幢相であるとすればそれはしょっぱい fact5: もしも「とあるものは幢相だししょっぱい」ということは成り立つということはないならば割り算しない fact6: もし「何らかのものはしょっぱいかもしくは解除しないかまたは両方だ」ということは正しいならそれは割り算する fact7: もしもその殺戮が解除するということはないならあの年秋は解除しない fact8: あのグループはしょっぱいか解除するかどちらもだ fact9: もし仮になにがしかのものが突発しないとするとそれはしょっぱくないし解除するということはない fact10: 仮にとあるものは解除しないとすると「幢相だししかもしょっぱい」ということは間違いである fact11: 仮にこの有効射程が解除しないとすればあのグループは解除するということはない fact12: あのグループは幢相である fact13: もしなにがしかの物は解除しないならば「それは割り算する」ということは成り立つ ; $hypothesis$ = あのグループは割り算する ; $proof$ = 
fact4 & fact12 -> int1: あのグループはしょっぱい; int1 -> int2: あのグループはしょっぱいかまたは解除しない; fact6 -> int3: 仮にあのグループがしょっぱいかあるいはそれは解除しないかまたは両方であるとするとそれは割り算する; int2 & int3 -> hypothesis; __PROVED__
事実1: あの年秋が解除しないとすればあの有効射程は解除しない
事実2: あのグループが突発しないとしたらそのイオン結晶は突発しない
事実3: もしあのグループが解除しないならば割り算する
事実4: もし仮にあのグループは幢相であるとすればそれはしょっぱい
事実5: もしも「とあるものは幢相だししょっぱい」ということは成り立つということはないならば割り算しない
事実6: もし「何らかのものはしょっぱいかもしくは解除しないかまたは両方だ」ということは正しいならそれは割り算する
事実7: もしもその殺戮が解除するということはないならあの年秋は解除しない
事実8: あのグループはしょっぱいか解除するかどちらもだ
事実9: もし仮になにがしかのものが突発しないとするとそれはしょっぱくないし解除するということはない
事実10: 仮にとあるものは解除しないとすると「幢相だししかもしょっぱい」ということは間違いである
事実11: 仮にこの有効射程が解除しないとすればあのグループは解除するということはない
事実12: あのグループは幢相である
事実13: もしなにがしかの物は解除しないならば「それは割り算する」ということは成り立つ

仮説: あのグループは割り算する
1. 事実4と事実12から、推論1: "あのグループはしょっぱい"が導かれる
2. 推論1から、推論2: "あのグループはしょっぱいかまたは解除しない"が導かれる
3. 事実6から、推論3: "仮にあのグループがしょっぱいかあるいはそれは解除しないかまたは両方であるとするとそれは割り算する"が導かれる
4. 推論2と推論3から、仮説が導かれる

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