「あの資格等はエクセル以外だ」ということは成り立つ
fact1: もし仮に「「「この民集は収縮期血圧であるしそれに海軍大将だ」ということは正しい」ということは嘘である」ということは正しいならば「表現出来ない」ということは正しい fact2: この民集は憎たらしい fact3: 何らかのものは墨刷り大本であるし更に怠ける fact4: 「「没頭するししかも浅し」ということは事実と異なる」ものがあるならその内的人間はエクセル以外である fact5: 「「浅ししエクセル以外である」ということは嘘である」ものはある fact6: もしもあの資格等が没頭するとするとこの民集はエクセル以外だ fact7: なんらかのものは没頭するということはないなら「浅ししエクセル以外だ」ということは嘘だ fact8: この民集は浅し fact9: 「収縮期血圧でない」ものはある fact10: 仮にその内的人間が没頭すればこの民集は浅し fact11: 「「墨刷り大本だしその上怠ける」ということは成り立たない」物はある fact12: あの資格等は墨刷り大本である fact13: 「「墨刷り大本でそれに怠ける」ということは偽な」物があればその内的人間は浅し fact14: もし「怠けるということはない」物があるとするとその内的人間は浅し fact15: この事務事業はエクセル以外だ fact16: あの資格等は浅し fact17: もし仮にこの民集が没頭するならあの資格等はエクセル以外である fact18: この民集が浅しとしたらその内的人間は没頭する fact19: その内的人間が浅しとしたらこの民集は没頭する fact20: もし仮にその内的人間がエクセル以外だとするとあの資格等は浅し fact21: その内的人間は暗し fact22: その内的人間は没頭する fact23: 仮にあの資格等が浅しとするとその内的人間はエクセル以外である fact24: この民集は煮沸する
fact11 & fact13 -> int1: その内的人間は浅し; int1 & fact19 -> int2: この民集は没頭する; int2 & fact17 -> hypothesis;
fact11 & fact13 -> int1: {A}{a}; int1 & fact19 -> int2: {B}{b}; int2 & fact17 -> hypothesis;
あの資格等はエクセル以外でない
fact26 -> int3: もしその内的人間は没頭しないとしたら「浅ししエクセル以外だ」ということは誤りである;
$facts$ = fact1: もし仮に「「「この民集は収縮期血圧であるしそれに海軍大将だ」ということは正しい」ということは嘘である」ということは正しいならば「表現出来ない」ということは正しい fact2: この民集は憎たらしい fact3: 何らかのものは墨刷り大本であるし更に怠ける fact4: 「「没頭するししかも浅し」ということは事実と異なる」ものがあるならその内的人間はエクセル以外である fact5: 「「浅ししエクセル以外である」ということは嘘である」ものはある fact6: もしもあの資格等が没頭するとするとこの民集はエクセル以外だ fact7: なんらかのものは没頭するということはないなら「浅ししエクセル以外だ」ということは嘘だ fact8: この民集は浅し fact9: 「収縮期血圧でない」ものはある fact10: 仮にその内的人間が没頭すればこの民集は浅し fact11: 「「墨刷り大本だしその上怠ける」ということは成り立たない」物はある fact12: あの資格等は墨刷り大本である fact13: 「「墨刷り大本でそれに怠ける」ということは偽な」物があればその内的人間は浅し fact14: もし「怠けるということはない」物があるとするとその内的人間は浅し fact15: この事務事業はエクセル以外だ fact16: あの資格等は浅し fact17: もし仮にこの民集が没頭するならあの資格等はエクセル以外である fact18: この民集が浅しとしたらその内的人間は没頭する fact19: その内的人間が浅しとしたらこの民集は没頭する fact20: もし仮にその内的人間がエクセル以外だとするとあの資格等は浅し fact21: その内的人間は暗し fact22: その内的人間は没頭する fact23: 仮にあの資格等が浅しとするとその内的人間はエクセル以外である fact24: この民集は煮沸する ; $hypothesis$ = 「あの資格等はエクセル以外だ」ということは成り立つ ; $proof$ = 
fact11 & fact13 -> int1: その内的人間は浅し; int1 & fact19 -> int2: この民集は没頭する; int2 & fact17 -> hypothesis; __PROVED__
事実1: もし仮に「「「この民集は収縮期血圧であるしそれに海軍大将だ」ということは正しい」ということは嘘である」ということは正しいならば「表現出来ない」ということは正しい
事実2: この民集は憎たらしい
事実3: 何らかのものは墨刷り大本であるし更に怠ける
事実4: 「「没頭するししかも浅し」ということは事実と異なる」ものがあるならその内的人間はエクセル以外である
事実5: 「「浅ししエクセル以外である」ということは嘘である」ものはある
事実6: もしもあの資格等が没頭するとするとこの民集はエクセル以外だ
事実7: なんらかのものは没頭するということはないなら「浅ししエクセル以外だ」ということは嘘だ
事実8: この民集は浅し
事実9: 「収縮期血圧でない」ものはある
事実10: 仮にその内的人間が没頭すればこの民集は浅し
事実11: 「「墨刷り大本だしその上怠ける」ということは成り立たない」物はある
事実12: あの資格等は墨刷り大本である
事実13: 「「墨刷り大本でそれに怠ける」ということは偽な」物があればその内的人間は浅し
事実14: もし「怠けるということはない」物があるとするとその内的人間は浅し
事実15: この事務事業はエクセル以外だ
事実16: あの資格等は浅し
事実17: もし仮にこの民集が没頭するならあの資格等はエクセル以外である
事実18: この民集が浅しとしたらその内的人間は没頭する
事実19: その内的人間が浅しとしたらこの民集は没頭する
事実20: もし仮にその内的人間がエクセル以外だとするとあの資格等は浅し
事実21: その内的人間は暗し
事実22: その内的人間は没頭する
事実23: 仮にあの資格等が浅しとするとその内的人間はエクセル以外である
事実24: この民集は煮沸する

仮説: 「あの資格等はエクセル以外だ」ということは成り立つ
1. 事実11と事実13から、推論1: "その内的人間は浅し"が導かれる
2. 推論1と事実19から、推論2: "この民集は没頭する"が導かれる
3. 推論2と事実17から、仮説が導かれる

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