「この違和は胚珠でない」ということは事実だ
fact1: 仮になにがしかのものがしょっぴくけど充放電でないとしたらそれは胚珠だ fact2: もし仮にその別売は練れないなら「充放電であるししょっぴく」ということは嘘だ fact3: 「経済秩序な」ものはある fact4: もし仮に「ＢＬＮＡＲである」ものはあれば「この違和はしょっぴくけど充放電でない」ということは事実だ fact5: 「ＢＬＮＡＲである」物はある fact6: もし仮にとあるものはしょっぴくしまた充放電なら「胚珠である」ということは事実である fact7: この経鼻はしょっぴく fact8: この違和は疑い深い
fact5 & fact4 -> int1: この違和はしょっぴく一方でそれは充放電だということはない; fact1 -> int2: 「もしこの違和がしょっぴくがしかしそれは充放電だということはないならば「この違和は胚珠である」ということは成り立つ」ということは正しい; int1 & int2 -> hypothesis;
その別売は胚珠だ
$facts$ = fact1: 仮になにがしかのものがしょっぴくけど充放電でないとしたらそれは胚珠だ fact2: もし仮にその別売は練れないなら「充放電であるししょっぴく」ということは嘘だ fact3: 「経済秩序な」ものはある fact4: もし仮に「ＢＬＮＡＲである」ものはあれば「この違和はしょっぴくけど充放電でない」ということは事実だ fact5: 「ＢＬＮＡＲである」物はある fact6: もし仮にとあるものはしょっぴくしまた充放電なら「胚珠である」ということは事実である fact7: この経鼻はしょっぴく fact8: この違和は疑い深い ; $hypothesis$ = 「この違和は胚珠でない」ということは事実だ ; $proof$ = 
fact5 & fact4 -> int1: この違和はしょっぴく一方でそれは充放電だということはない; fact1 -> int2: 「もしこの違和がしょっぴくがしかしそれは充放電だということはないならば「この違和は胚珠である」ということは成り立つ」ということは正しい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかのものがしょっぴくけど充放電でないとしたらそれは胚珠だ
事実2: もし仮にその別売は練れないなら「充放電であるししょっぴく」ということは嘘だ
事実3: 「経済秩序な」ものはある
事実4: もし仮に「ＢＬＮＡＲである」ものはあれば「この違和はしょっぴくけど充放電でない」ということは事実だ
事実5: 「ＢＬＮＡＲである」物はある
事実6: もし仮にとあるものはしょっぴくしまた充放電なら「胚珠である」ということは事実である
事実7: この経鼻はしょっぴく
事実8: この違和は疑い深い

仮説: 「この違和は胚珠でない」ということは事実だ
1. 事実5と事実4から、推論1: "この違和はしょっぴく一方でそれは充放電だということはない"が導かれる
2. 事実1から、推論2: "「もしこの違和がしょっぴくがしかしそれは充放電だということはないならば「この違和は胚珠である」ということは成り立つ」ということは正しい"が導かれる
3. 推論1と推論2から、仮説が否定される

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