このＨＢＡワンＣは蒸散するということはない
fact1: 仮に「実演しない」物はあれば「あの左下は遣り易いということはないしおまけにそれは蒸散しない」ということは誤りである fact2: 「「遣り易くないしそれに実演しない」ということは事実と異なる」ものがあればその侵襲性は採集する fact3: もし仮にその侵襲性が採集するとすればこのＨＢＡワンＣは蒸散する fact4: もし仮にとある物は確保し得ないとすると「あの左下は遣り易くないが実演する」ということは成り立つということはない fact5: とある物は確保し得るということはない fact6: 「「脂っこくないししかも預金金融機関でない」ということは事実と異なる」物はある fact7: 「蒸散しない」ものはある fact8: もし仮に「採集するということはない」ものはあれば「その侵襲性は実演する一方で蒸散しない」ということは間違いである fact9: 「「実演しないけど採集する」ということは間違いな」ものはある fact10: 仮に「蒸散しない」ものはあるとしたら「その侵襲性は採集するがそれは実演しない」ということは成り立たない fact11: もし「実演するということはない」物はあるなら「「あの左下は採集しないし遣り易いということはない」ということは間違いだ」ということは事実だ fact12: 「「採集するけど蒸散しない」ということは成り立たない」物はある fact13: あの左下は訪う fact14: 「「採集するしかつ実演しない」ということは間違いである」ものはある fact15: もしもとあるものが実演するとすると遣り易くないしまた確保し得る fact16: 「このＨＢＡワンＣは蒸散しなくてかつ採集しない」ということは成り立たない fact17: もしも「確保し得ない」ものはあるとしたら「あの左下は遣り易くないし加えて実演しない」ということは成り立たない fact18: 仮に「採集するということはない」ものはあるとすれば「その侵襲性は実演しないがしかしそれは遣り易い」ということは誤っている fact19: 「その侵襲性は蒸散しないけれどそれは採集する」ということは成り立たない fact20: もしも「なにかは蒸散するということはない」ということは成り立てば「その侵襲性は実演するけど採集しない」ということは成り立つということはない
fact5 & fact17 -> int1: 「あの左下は遣り易くないしさらに実演しない」ということは嘘だ; int1 -> int2: 「「遣り易くないし実演しない」ということは成り立たない」ものはある; int2 & fact2 -> int3: その侵襲性は採集する; int3 & fact3 -> hypothesis;
このＨＢＡワンＣは蒸散しない
fact21 -> int4: あの左下が実演すれば遣り易くないしまたそれは確保し得る;
$facts$ = fact1: 仮に「実演しない」物はあれば「あの左下は遣り易いということはないしおまけにそれは蒸散しない」ということは誤りである fact2: 「「遣り易くないしそれに実演しない」ということは事実と異なる」ものがあればその侵襲性は採集する fact3: もし仮にその侵襲性が採集するとすればこのＨＢＡワンＣは蒸散する fact4: もし仮にとある物は確保し得ないとすると「あの左下は遣り易くないが実演する」ということは成り立つということはない fact5: とある物は確保し得るということはない fact6: 「「脂っこくないししかも預金金融機関でない」ということは事実と異なる」物はある fact7: 「蒸散しない」ものはある fact8: もし仮に「採集するということはない」ものはあれば「その侵襲性は実演する一方で蒸散しない」ということは間違いである fact9: 「「実演しないけど採集する」ということは間違いな」ものはある fact10: 仮に「蒸散しない」ものはあるとしたら「その侵襲性は採集するがそれは実演しない」ということは成り立たない fact11: もし「実演するということはない」物はあるなら「「あの左下は採集しないし遣り易いということはない」ということは間違いだ」ということは事実だ fact12: 「「採集するけど蒸散しない」ということは成り立たない」物はある fact13: あの左下は訪う fact14: 「「採集するしかつ実演しない」ということは間違いである」ものはある fact15: もしもとあるものが実演するとすると遣り易くないしまた確保し得る fact16: 「このＨＢＡワンＣは蒸散しなくてかつ採集しない」ということは成り立たない fact17: もしも「確保し得ない」ものはあるとしたら「あの左下は遣り易くないし加えて実演しない」ということは成り立たない fact18: 仮に「採集するということはない」ものはあるとすれば「その侵襲性は実演しないがしかしそれは遣り易い」ということは誤っている fact19: 「その侵襲性は蒸散しないけれどそれは採集する」ということは成り立たない fact20: もしも「なにかは蒸散するということはない」ということは成り立てば「その侵襲性は実演するけど採集しない」ということは成り立つということはない ; $hypothesis$ = このＨＢＡワンＣは蒸散するということはない ; $proof$ = 
fact5 & fact17 -> int1: 「あの左下は遣り易くないしさらに実演しない」ということは嘘だ; int1 -> int2: 「「遣り易くないし実演しない」ということは成り立たない」ものはある; int2 & fact2 -> int3: その侵襲性は採集する; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: 仮に「実演しない」物はあれば「あの左下は遣り易いということはないしおまけにそれは蒸散しない」ということは誤りである
事実2: 「「遣り易くないしそれに実演しない」ということは事実と異なる」ものがあればその侵襲性は採集する
事実3: もし仮にその侵襲性が採集するとすればこのＨＢＡワンＣは蒸散する
事実4: もし仮にとある物は確保し得ないとすると「あの左下は遣り易くないが実演する」ということは成り立つということはない
事実5: とある物は確保し得るということはない
事実6: 「「脂っこくないししかも預金金融機関でない」ということは事実と異なる」物はある
事実7: 「蒸散しない」ものはある
事実8: もし仮に「採集するということはない」ものはあれば「その侵襲性は実演する一方で蒸散しない」ということは間違いである
事実9: 「「実演しないけど採集する」ということは間違いな」ものはある
事実10: 仮に「蒸散しない」ものはあるとしたら「その侵襲性は採集するがそれは実演しない」ということは成り立たない
事実11: もし「実演するということはない」物はあるなら「「あの左下は採集しないし遣り易いということはない」ということは間違いだ」ということは事実だ
事実12: 「「採集するけど蒸散しない」ということは成り立たない」物はある
事実13: あの左下は訪う
事実14: 「「採集するしかつ実演しない」ということは間違いである」ものはある
事実15: もしもとあるものが実演するとすると遣り易くないしまた確保し得る
事実16: 「このＨＢＡワンＣは蒸散しなくてかつ採集しない」ということは成り立たない
事実17: もしも「確保し得ない」ものはあるとしたら「あの左下は遣り易くないし加えて実演しない」ということは成り立たない
事実18: 仮に「採集するということはない」ものはあるとすれば「その侵襲性は実演しないがしかしそれは遣り易い」ということは誤っている
事実19: 「その侵襲性は蒸散しないけれどそれは採集する」ということは成り立たない
事実20: もしも「なにかは蒸散するということはない」ということは成り立てば「その侵襲性は実演するけど採集しない」ということは成り立つということはない

仮説: このＨＢＡワンＣは蒸散するということはない
1. 事実5と事実17から、推論1: "「あの左下は遣り易くないしさらに実演しない」ということは嘘だ"が導かれる
2. 推論1から、推論2: "「「遣り易くないし実演しない」ということは成り立たない」ものはある"が導かれる
3. 推論2と事実2から、推論3: "その侵襲性は採集する"が導かれる
4. 推論3と事実3から、仮説が否定される

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