「もし「日常行為でなくてかつ理解し辛い」ということは誤りだとしたら理解し辛くない」物はある
fact1: あの千二十箱は日常行為である fact2: もし仮にその伝記映画はパパインでないならば日常行為でない fact3: 「その伝記映画は御指導頂くしパパインである」ということは成り立たない fact4: もしも「その伝記映画は御指導頂くしそれにパパインである」ということは間違いであるならばそれは日常行為でない fact5: 「もし仮に日常行為でなくて理解し辛いならば理解し辛くない」物はある
fact4 & fact3 -> int1: 「その伝記映画は日常行為でない」ということは本当である; void -> assump1: 以下のように仮定する。その伝記映画は理解し辛い; int1 & assump1 -> int2: その伝記映画は日常行為でないが理解し辛い; void -> assump2: 以下のように仮定する。「その伝記映画は日常行為でないけれどそれは理解し辛い」ということは成り立たない; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その伝記映画は理解し辛くない; [assump2] & int4 -> int5: もしも「その伝記映画は日常行為でないがしかし理解し辛い」ということは成り立つということはないとしたらそれは理解し辛くない; int5 -> hypothesis;
$facts$ = fact1: あの千二十箱は日常行為である fact2: もし仮にその伝記映画はパパインでないならば日常行為でない fact3: 「その伝記映画は御指導頂くしパパインである」ということは成り立たない fact4: もしも「その伝記映画は御指導頂くしそれにパパインである」ということは間違いであるならばそれは日常行為でない fact5: 「もし仮に日常行為でなくて理解し辛いならば理解し辛くない」物はある ; $hypothesis$ = 「もし「日常行為でなくてかつ理解し辛い」ということは誤りだとしたら理解し辛くない」物はある ; $proof$ = 
fact4 & fact3 -> int1: 「その伝記映画は日常行為でない」ということは本当である; void -> assump1: 以下のように仮定する。その伝記映画は理解し辛い; int1 & assump1 -> int2: その伝記映画は日常行為でないが理解し辛い; void -> assump2: 以下のように仮定する。「その伝記映画は日常行為でないけれどそれは理解し辛い」ということは成り立たない; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その伝記映画は理解し辛くない; [assump2] & int4 -> int5: もしも「その伝記映画は日常行為でないがしかし理解し辛い」ということは成り立つということはないとしたらそれは理解し辛くない; int5 -> hypothesis; __PROVED__
事実1: あの千二十箱は日常行為である
事実2: もし仮にその伝記映画はパパインでないならば日常行為でない
事実3: 「その伝記映画は御指導頂くしパパインである」ということは成り立たない
事実4: もしも「その伝記映画は御指導頂くしそれにパパインである」ということは間違いであるならばそれは日常行為でない
事実5: 「もし仮に日常行為でなくて理解し辛いならば理解し辛くない」物はある

仮説: 「もし「日常行為でなくてかつ理解し辛い」ということは誤りだとしたら理解し辛くない」物はある
1. 事実4と事実3から、推論1: "「その伝記映画は日常行為でない」ということは本当である"が導かれる
2. 仮定1: 以下のように仮定する。その伝記映画は理解し辛い
3. 推論1と仮定1から、推論2: "その伝記映画は日常行為でないが理解し辛い"が導かれる
4. 仮定2: 以下のように仮定する。「その伝記映画は日常行為でないけれどそれは理解し辛い」ということは成り立たない
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "その伝記映画は理解し辛くない"が導かれる
7. [仮定2]と推論4から、推論5: "もしも「その伝記映画は日常行為でないがしかし理解し辛い」ということは成り立つということはないとしたらそれは理解し辛くない"が導かれる
8. 推論5から、仮説が導かれる

よって、仮説が証明されました。