あの没後は血漿中だ
fact1: 「あの没後は移出するしかつ抑制する」ということは本当だ fact2: もし仮に「なんらかのものは読み難いかまたはそれは思われ兼ねるかあるいは両方だ」ということは事実と異なるならそれは血漿中でない fact3: あの没後は踏み分ける fact4: もし「その歯垢はクレジットカードだ一方で硫酸バリウムでない」ということは誤りであるとするとあの方向線は硫酸バリウムである fact5: その歯垢が血漿中だとすればあの没後は血漿中だ fact6: その歯垢は粉っぽくてかつ読み難い fact7: その歯垢は読み難い fact8: この講和会議は記入用紙でない fact9: もし血漿中がクレジットカードだとすればその歯垢は思われ兼ねらない fact10: この阿茶羅酢は思われ兼ねらない fact11: 「クレジットカードな」ものはある fact12: あの没後は思われ兼ねらない fact13: その近は思われ兼ねる fact14: どれもこれもはクレジットカードである fact15: あの没後は名高くない fact16: その歯垢は思われ兼ねるし更にそれは読み難い
fact14 -> int1: あの没後はクレジットカードである; void -> assump1: 以下のように仮定する。「あの没後は血漿中である」ということは正しい; int1 & assump1 -> int2: あの没後は血漿中でしかもクレジットカードだ; int2 -> int3: 「「血漿中であるしかつクレジットカードである」ということは成り立つ」物はある; int3 & fact9 -> int4: その歯垢は思われ兼ねらない; fact16 -> int5: その歯垢は思われ兼ねる; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
あの方向線は硫酸バリウムだし加えてそれは具現化する
fact18 -> int7: もしも「その注射剤は読み難いかあるいはそれは思われ兼ねるかもしくは両方ともである」ということは偽だとすると血漿中だということはない;
$facts$ = fact1: 「あの没後は移出するしかつ抑制する」ということは本当だ fact2: もし仮に「なんらかのものは読み難いかまたはそれは思われ兼ねるかあるいは両方だ」ということは事実と異なるならそれは血漿中でない fact3: あの没後は踏み分ける fact4: もし「その歯垢はクレジットカードだ一方で硫酸バリウムでない」ということは誤りであるとするとあの方向線は硫酸バリウムである fact5: その歯垢が血漿中だとすればあの没後は血漿中だ fact6: その歯垢は粉っぽくてかつ読み難い fact7: その歯垢は読み難い fact8: この講和会議は記入用紙でない fact9: もし血漿中がクレジットカードだとすればその歯垢は思われ兼ねらない fact10: この阿茶羅酢は思われ兼ねらない fact11: 「クレジットカードな」ものはある fact12: あの没後は思われ兼ねらない fact13: その近は思われ兼ねる fact14: どれもこれもはクレジットカードである fact15: あの没後は名高くない fact16: その歯垢は思われ兼ねるし更にそれは読み難い ; $hypothesis$ = あの没後は血漿中だ ; $proof$ = 
fact14 -> int1: あの没後はクレジットカードである; void -> assump1: 以下のように仮定する。「あの没後は血漿中である」ということは正しい; int1 & assump1 -> int2: あの没後は血漿中でしかもクレジットカードだ; int2 -> int3: 「「血漿中であるしかつクレジットカードである」ということは成り立つ」物はある; int3 & fact9 -> int4: その歯垢は思われ兼ねらない; fact16 -> int5: その歯垢は思われ兼ねる; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 「あの没後は移出するしかつ抑制する」ということは本当だ
事実2: もし仮に「なんらかのものは読み難いかまたはそれは思われ兼ねるかあるいは両方だ」ということは事実と異なるならそれは血漿中でない
事実3: あの没後は踏み分ける
事実4: もし「その歯垢はクレジットカードだ一方で硫酸バリウムでない」ということは誤りであるとするとあの方向線は硫酸バリウムである
事実5: その歯垢が血漿中だとすればあの没後は血漿中だ
事実6: その歯垢は粉っぽくてかつ読み難い
事実7: その歯垢は読み難い
事実8: この講和会議は記入用紙でない
事実9: もし血漿中がクレジットカードだとすればその歯垢は思われ兼ねらない
事実10: この阿茶羅酢は思われ兼ねらない
事実11: 「クレジットカードな」ものはある
事実12: あの没後は思われ兼ねらない
事実13: その近は思われ兼ねる
事実14: どれもこれもはクレジットカードである
事実15: あの没後は名高くない
事実16: その歯垢は思われ兼ねるし更にそれは読み難い

仮説: あの没後は血漿中だ
1. 事実14から、推論1: "あの没後はクレジットカードである"が導かれる
2. 仮定1: 以下のように仮定する。「あの没後は血漿中である」ということは正しい
3. 推論1と仮定1から、推論2: "あの没後は血漿中でしかもクレジットカードだ"が導かれる
4. 推論2から、推論3: "「「血漿中であるしかつクレジットカードである」ということは成り立つ」物はある"が導かれる
5. 推論3と事実9から、推論4: "その歯垢は思われ兼ねらない"が導かれる
6. 事実16から、推論5: "その歯垢は思われ兼ねる"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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