「もしもその父親が長話であるならその南無阿弥陀仏は生産し続けないかもしくは押し殺さないかまたは両方だ」ということは成り立たない
fact1: もしあの植物が押し殺すとしたらその南無阿弥陀仏は生産し続けるということはないかあるいは押し殺さないかあるいは両方ともだ fact2: もし仮に「その父親は堪え難いがしかし尾裂きでない」ということは成り立たないとしたらあの植物は押し殺す fact3: もし仮にその父親は堪え難いが尾裂きでないとしたら「長話でない」ということは正しい fact4: もし仮に「何かは長話でなくて押し殺さない」ということは嘘であるならばそれは抜け易い fact5: もしもその父親が抜け易いならばあの南無阿弥陀仏は抜け易い
void -> assump1: 以下のように仮定する。「その父親は堪え難いけどそれは尾裂きでない」ということは確かだ; fact3 & assump1 -> int1: その父親は長話でない; void -> assump2: 以下のように仮定する。その父親は長話である; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その父親は堪え難いがしかし尾裂きでない」ということは成り立たない; int3 & fact2 -> int4: あの植物は押し殺す; int4 & fact1 -> int5: その南無阿弥陀仏は生産し続けないかそれは押し殺さない; [assump2] & int5 -> hypothesis;
「その南無阿弥陀仏は抜け易い」ということは事実だ
fact7 -> int6: もし仮に「その父親は長話でなくて押し殺すということはない」ということは成り立たないとすればそれは抜け易い;
$facts$ = fact1: もしあの植物が押し殺すとしたらその南無阿弥陀仏は生産し続けるということはないかあるいは押し殺さないかあるいは両方ともだ fact2: もし仮に「その父親は堪え難いがしかし尾裂きでない」ということは成り立たないとしたらあの植物は押し殺す fact3: もし仮にその父親は堪え難いが尾裂きでないとしたら「長話でない」ということは正しい fact4: もし仮に「何かは長話でなくて押し殺さない」ということは嘘であるならばそれは抜け易い fact5: もしもその父親が抜け易いならばあの南無阿弥陀仏は抜け易い ; $hypothesis$ = 「もしもその父親が長話であるならその南無阿弥陀仏は生産し続けないかもしくは押し殺さないかまたは両方だ」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その父親は堪え難いけどそれは尾裂きでない」ということは確かだ; fact3 & assump1 -> int1: その父親は長話でない; void -> assump2: 以下のように仮定する。その父親は長話である; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その父親は堪え難いがしかし尾裂きでない」ということは成り立たない; int3 & fact2 -> int4: あの植物は押し殺す; int4 & fact1 -> int5: その南無阿弥陀仏は生産し続けないかそれは押し殺さない; [assump2] & int5 -> hypothesis; __DISPROVED__
事実1: もしあの植物が押し殺すとしたらその南無阿弥陀仏は生産し続けるということはないかあるいは押し殺さないかあるいは両方ともだ
事実2: もし仮に「その父親は堪え難いがしかし尾裂きでない」ということは成り立たないとしたらあの植物は押し殺す
事実3: もし仮にその父親は堪え難いが尾裂きでないとしたら「長話でない」ということは正しい
事実4: もし仮に「何かは長話でなくて押し殺さない」ということは嘘であるならばそれは抜け易い
事実5: もしもその父親が抜け易いならばあの南無阿弥陀仏は抜け易い

仮説: 「もしもその父親が長話であるならその南無阿弥陀仏は生産し続けないかもしくは押し殺さないかまたは両方だ」ということは成り立たない
1. 仮定1: 以下のように仮定する。「その父親は堪え難いけどそれは尾裂きでない」ということは確かだ
2. 事実3と仮定1から、推論1: "その父親は長話でない"が導かれる
3. 仮定2: 以下のように仮定する。その父親は長話である
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "「その父親は堪え難いがしかし尾裂きでない」ということは成り立たない"が導かれる
6. 推論3と事実2から、推論4: "あの植物は押し殺す"が導かれる
7. 推論4と事実1から、推論5: "その南無阿弥陀仏は生産し続けないかそれは押し殺さない"が導かれる
8. [仮定2]と推論5から、仮説が否定される

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