あの東側は尽力しない
fact1: もし仮にこの真後ろはベラ科であるなら「この財物はベラ科だけど糸端でない」ということは嘘だ fact2: 「この林内は揺れ始めなくてそれは尽力するということはない」ということは本当である fact3: 「その酸素族元素は痛いということはない」ということは誤りだとしたらあの東側は尽力する fact4: あの地下駐車場が極楽往生出来ないならばその酸素族元素は極楽往生出来なくてまたプロポーズしない fact5: この真後ろは特殊発光インキでないとすると「ベラ科である」ということは正しい fact6: もしもその酸素族元素が極楽往生出来なくてしかもプロポーズしないなら痛い fact7: 「この財物はベラ科である一方で糸端だということはない」ということは成り立たないとしたらあの地下駐車場は極楽往生出来ない fact8: この財物は痛い fact9: もし仮になにかは特殊発光インキでないとすれば「ベラ科だし尽力する」ということは事実と異なる fact10: 仮にこの真後ろがベラ科でないし更に特殊発光インキでないとしたらあの東側は尽力しない fact11: あの地下駐車場は言い易くない fact12: その酸素族元素はプロポーズするということはない fact13: この真後ろは特殊発光インキでない fact14: もしも「「ベラ科で加えて尽力する」ということは嘘な」物があるとすればこの財物は尽力するということはない fact15: 仮にとあるものが糸端であるということはないかまたは極楽往生出来ないならば特殊発光インキでない
fact5 & fact13 -> int1: この真後ろはベラ科だ; int1 & fact1 -> int2: 「この財物はベラ科だがしかし糸端でない」ということは事実でない; int2 & fact7 -> int3: あの地下駐車場は極楽往生出来ない; int3 & fact4 -> int4: その酸素族元素は極楽往生出来ないししかもそれはプロポーズしない; int4 & fact6 -> int5: その酸素族元素は痛い; int5 & fact3 -> hypothesis;
あの東側は尽力しない
$facts$ = fact1: もし仮にこの真後ろはベラ科であるなら「この財物はベラ科だけど糸端でない」ということは嘘だ fact2: 「この林内は揺れ始めなくてそれは尽力するということはない」ということは本当である fact3: 「その酸素族元素は痛いということはない」ということは誤りだとしたらあの東側は尽力する fact4: あの地下駐車場が極楽往生出来ないならばその酸素族元素は極楽往生出来なくてまたプロポーズしない fact5: この真後ろは特殊発光インキでないとすると「ベラ科である」ということは正しい fact6: もしもその酸素族元素が極楽往生出来なくてしかもプロポーズしないなら痛い fact7: 「この財物はベラ科である一方で糸端だということはない」ということは成り立たないとしたらあの地下駐車場は極楽往生出来ない fact8: この財物は痛い fact9: もし仮になにかは特殊発光インキでないとすれば「ベラ科だし尽力する」ということは事実と異なる fact10: 仮にこの真後ろがベラ科でないし更に特殊発光インキでないとしたらあの東側は尽力しない fact11: あの地下駐車場は言い易くない fact12: その酸素族元素はプロポーズするということはない fact13: この真後ろは特殊発光インキでない fact14: もしも「「ベラ科で加えて尽力する」ということは嘘な」物があるとすればこの財物は尽力するということはない fact15: 仮にとあるものが糸端であるということはないかまたは極楽往生出来ないならば特殊発光インキでない ; $hypothesis$ = あの東側は尽力しない ; $proof$ = 
fact5 & fact13 -> int1: この真後ろはベラ科だ; int1 & fact1 -> int2: 「この財物はベラ科だがしかし糸端でない」ということは事実でない; int2 & fact7 -> int3: あの地下駐車場は極楽往生出来ない; int3 & fact4 -> int4: その酸素族元素は極楽往生出来ないししかもそれはプロポーズしない; int4 & fact6 -> int5: その酸素族元素は痛い; int5 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮にこの真後ろはベラ科であるなら「この財物はベラ科だけど糸端でない」ということは嘘だ
事実2: 「この林内は揺れ始めなくてそれは尽力するということはない」ということは本当である
事実3: 「その酸素族元素は痛いということはない」ということは誤りだとしたらあの東側は尽力する
事実4: あの地下駐車場が極楽往生出来ないならばその酸素族元素は極楽往生出来なくてまたプロポーズしない
事実5: この真後ろは特殊発光インキでないとすると「ベラ科である」ということは正しい
事実6: もしもその酸素族元素が極楽往生出来なくてしかもプロポーズしないなら痛い
事実7: 「この財物はベラ科である一方で糸端だということはない」ということは成り立たないとしたらあの地下駐車場は極楽往生出来ない
事実8: この財物は痛い
事実9: もし仮になにかは特殊発光インキでないとすれば「ベラ科だし尽力する」ということは事実と異なる
事実10: 仮にこの真後ろがベラ科でないし更に特殊発光インキでないとしたらあの東側は尽力しない
事実11: あの地下駐車場は言い易くない
事実12: その酸素族元素はプロポーズするということはない
事実13: この真後ろは特殊発光インキでない
事実14: もしも「「ベラ科で加えて尽力する」ということは嘘な」物があるとすればこの財物は尽力するということはない
事実15: 仮にとあるものが糸端であるということはないかまたは極楽往生出来ないならば特殊発光インキでない

仮説: あの東側は尽力しない
1. 事実5と事実13から、推論1: "この真後ろはベラ科だ"が導かれる
2. 推論1と事実1から、推論2: "「この財物はベラ科だがしかし糸端でない」ということは事実でない"が導かれる
3. 推論2と事実7から、推論3: "あの地下駐車場は極楽往生出来ない"が導かれる
4. 推論3と事実4から、推論4: "その酸素族元素は極楽往生出来ないししかもそれはプロポーズしない"が導かれる
5. 推論4と事実6から、推論5: "その酸素族元素は痛い"が導かれる
6. 推論5と事実3から、仮説が否定される

よって、仮説が否定されました。