あの五．四運動は図り難い
fact1: もし仮にとあるものは代替地でないとすると貧し fact2: もしこの逆サイドが活性化溶液であるとすればその岩松は貧しない fact3: もし「その岩松は代替地でないし活性化溶液でない」ということは間違いであるとしたら「あの五．四運動は図り難くない」ということは本当である fact4: もしもこの逆サイドは代替地だとすると「その岩松は代替地でないし活性化溶液でない」ということは成り立たない fact5: なんらかの物は近くないとしたら「それは手形面上でないかあるいはそれは胸苦しいか両方ともだ」ということは事実と異なる fact6: この逆サイドは貧しない fact7: もしも「その岩松は手形面上でないかあるいは胸苦しいかあるいは両方である」ということは偽であるとしたら「あの五．四運動は貧しない」ということは事実である fact8: 仮に何らかの物は神自身であるとしたらシックスである fact9: もしもなんらかのものは活性化溶液であるならばそれは図り難い fact10: もし仮にこの白藜が驚かなくてしかも掻き易くないとすればその岩松は近くない fact11: もし仮にこの道路デザインがシックスであるとするとこの白藜は驚かなくて掻き易くない
fact1 -> int1: もしこの逆サイドは代替地でないなら貧し; void -> assump1: 以下のように仮定する。この逆サイドは代替地でない; int1 & assump1 -> int2: この逆サイドは貧し; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: この逆サイドは代替地だ; int4 & fact4 -> int5: 「その岩松は代替地でなくてかつ活性化溶液でない」ということは間違いである; int5 & fact3 -> hypothesis;
あの五．四運動は図り難い
fact14 -> int6: もし仮にあの五．四運動は活性化溶液であるならば図り難い; fact12 -> int7: 仮にその岩松は近くないならば「それは手形面上でないかあるいはそれは胸苦しい」ということは間違いだ; fact15 -> int8: もしこの道路デザインが神自身ならシックスである;
$facts$ = fact1: もし仮にとあるものは代替地でないとすると貧し fact2: もしこの逆サイドが活性化溶液であるとすればその岩松は貧しない fact3: もし「その岩松は代替地でないし活性化溶液でない」ということは間違いであるとしたら「あの五．四運動は図り難くない」ということは本当である fact4: もしもこの逆サイドは代替地だとすると「その岩松は代替地でないし活性化溶液でない」ということは成り立たない fact5: なんらかの物は近くないとしたら「それは手形面上でないかあるいはそれは胸苦しいか両方ともだ」ということは事実と異なる fact6: この逆サイドは貧しない fact7: もしも「その岩松は手形面上でないかあるいは胸苦しいかあるいは両方である」ということは偽であるとしたら「あの五．四運動は貧しない」ということは事実である fact8: 仮に何らかの物は神自身であるとしたらシックスである fact9: もしもなんらかのものは活性化溶液であるならばそれは図り難い fact10: もし仮にこの白藜が驚かなくてしかも掻き易くないとすればその岩松は近くない fact11: もし仮にこの道路デザインがシックスであるとするとこの白藜は驚かなくて掻き易くない ; $hypothesis$ = あの五．四運動は図り難い ; $proof$ = 
fact1 -> int1: もしこの逆サイドは代替地でないなら貧し; void -> assump1: 以下のように仮定する。この逆サイドは代替地でない; int1 & assump1 -> int2: この逆サイドは貧し; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: この逆サイドは代替地だ; int4 & fact4 -> int5: 「その岩松は代替地でなくてかつ活性化溶液でない」ということは間違いである; int5 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮にとあるものは代替地でないとすると貧し
事実2: もしこの逆サイドが活性化溶液であるとすればその岩松は貧しない
事実3: もし「その岩松は代替地でないし活性化溶液でない」ということは間違いであるとしたら「あの五．四運動は図り難くない」ということは本当である
事実4: もしもこの逆サイドは代替地だとすると「その岩松は代替地でないし活性化溶液でない」ということは成り立たない
事実5: なんらかの物は近くないとしたら「それは手形面上でないかあるいはそれは胸苦しいか両方ともだ」ということは事実と異なる
事実6: この逆サイドは貧しない
事実7: もしも「その岩松は手形面上でないかあるいは胸苦しいかあるいは両方である」ということは偽であるとしたら「あの五．四運動は貧しない」ということは事実である
事実8: 仮に何らかの物は神自身であるとしたらシックスである
事実9: もしもなんらかのものは活性化溶液であるならばそれは図り難い
事実10: もし仮にこの白藜が驚かなくてしかも掻き易くないとすればその岩松は近くない
事実11: もし仮にこの道路デザインがシックスであるとするとこの白藜は驚かなくて掻き易くない

仮説: あの五．四運動は図り難い
1. 事実1から、推論1: "もしこの逆サイドは代替地でないなら貧し"が導かれる
2. 仮定1: 以下のように仮定する。この逆サイドは代替地でない
3. 推論1と仮定1から、推論2: "この逆サイドは貧し"が導かれる
4. 推論2と事実6から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この逆サイドは代替地だ"が導かれる
6. 推論4と事実4から、推論5: "「その岩松は代替地でなくてかつ活性化溶液でない」ということは間違いである"が導かれる
7. 推論5と事実3から、仮説が否定される

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