その歴代将軍は肺移植でない
fact1: もしもなんらかの物が固しとするとその速度アップは固しかもしくはみみっちいということはないかあるいは両方だ fact2: もし仮に「ウェブコンパニオンな」物があるならこの国家総動員体制は粉っぽくてさらに固し fact3: この国家総動員体制はみみっちい fact4: あの平行移動は強くない fact5: 「その速度アップは除けないがみみっちい」ということは間違いである fact6: もし仮にあの平行移動が強くないとしたらあの突起物は思慮深い fact7: もしもその速度アップが易しいならばそれは除けない fact8: 「「その歴代将軍はパキスタン政府であるしまた肺移植だ」ということは事実である」ということは成り立たない fact9: 何らかのものは除けるけれどみみっちくないなら易しくない fact10: もし「その歴代将軍は肺移植であるかあるいは程無い」ということは確かだとするとみみっちくない fact11: もし仮にその歴代将軍が程無くないならその速度アップは程無いかもしくは易しい fact12: 仮にこの国家総動員体制がみみっちいとすればその速度アップはみみっちい fact13: もしその速度アップが固しかまたはそれはみみっちくないとすれば「その歴代将軍は除けない」ということは真実である fact14: もし「その歴代将軍はパキスタン政府であるということはないけれど肺移植である」ということは成り立たないならそれは程無くない fact15: もしあの突起物が思慮深いならウェブコンパニオンだ fact16: その延焼は肺移植だ fact17: もし仮になにがしかの物は除けないならば「それは易しくないがしかし程無い」ということは事実と異なる fact18: 仮に「その速度アップは肺移植でない一方でパキスタン政府だ」ということは誤っているとすると除けない fact19: その歴代将軍はパキスタン政府だとすると「それは程無くない」ということは成り立つ fact20: もしもその速度アップが程無いかまたは易しいなら除けるということはない fact21: その歴代将軍はパキスタン政府でない
void -> assump1: 以下のように仮定する。「その歴代将軍はパキスタン政府であるということはないが肺移植である」ということは成り立たない; fact14 & assump1 -> int1: その歴代将軍は程無くない; int1 & fact11 -> int2: その速度アップは程無いかもしくは易しい; int2 & fact20 -> int3: その速度アップは除けない; fact3 & fact12 -> int4: その速度アップはみみっちい; int3 & int4 -> int5: その速度アップは除けないがそれはみみっちい; int5 & fact5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その歴代将軍はパキスタン政府でないけれどそれは肺移植である; int7 -> hypothesis;
「その歴代将軍は肺移植でない」ということは真実だ
fact22 -> int8: もし仮にこの国家総動員体制は除けるけれどみみっちくないなら易しくない;
$facts$ = fact1: もしもなんらかの物が固しとするとその速度アップは固しかもしくはみみっちいということはないかあるいは両方だ fact2: もし仮に「ウェブコンパニオンな」物があるならこの国家総動員体制は粉っぽくてさらに固し fact3: この国家総動員体制はみみっちい fact4: あの平行移動は強くない fact5: 「その速度アップは除けないがみみっちい」ということは間違いである fact6: もし仮にあの平行移動が強くないとしたらあの突起物は思慮深い fact7: もしもその速度アップが易しいならばそれは除けない fact8: 「「その歴代将軍はパキスタン政府であるしまた肺移植だ」ということは事実である」ということは成り立たない fact9: 何らかのものは除けるけれどみみっちくないなら易しくない fact10: もし「その歴代将軍は肺移植であるかあるいは程無い」ということは確かだとするとみみっちくない fact11: もし仮にその歴代将軍が程無くないならその速度アップは程無いかもしくは易しい fact12: 仮にこの国家総動員体制がみみっちいとすればその速度アップはみみっちい fact13: もしその速度アップが固しかまたはそれはみみっちくないとすれば「その歴代将軍は除けない」ということは真実である fact14: もし「その歴代将軍はパキスタン政府であるということはないけれど肺移植である」ということは成り立たないならそれは程無くない fact15: もしあの突起物が思慮深いならウェブコンパニオンだ fact16: その延焼は肺移植だ fact17: もし仮になにがしかの物は除けないならば「それは易しくないがしかし程無い」ということは事実と異なる fact18: 仮に「その速度アップは肺移植でない一方でパキスタン政府だ」ということは誤っているとすると除けない fact19: その歴代将軍はパキスタン政府だとすると「それは程無くない」ということは成り立つ fact20: もしもその速度アップが程無いかまたは易しいなら除けるということはない fact21: その歴代将軍はパキスタン政府でない ; $hypothesis$ = その歴代将軍は肺移植でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その歴代将軍はパキスタン政府であるということはないが肺移植である」ということは成り立たない; fact14 & assump1 -> int1: その歴代将軍は程無くない; int1 & fact11 -> int2: その速度アップは程無いかもしくは易しい; int2 & fact20 -> int3: その速度アップは除けない; fact3 & fact12 -> int4: その速度アップはみみっちい; int3 & int4 -> int5: その速度アップは除けないがそれはみみっちい; int5 & fact5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その歴代将軍はパキスタン政府でないけれどそれは肺移植である; int7 -> hypothesis; __DISPROVED__
事実1: もしもなんらかの物が固しとするとその速度アップは固しかもしくはみみっちいということはないかあるいは両方だ
事実2: もし仮に「ウェブコンパニオンな」物があるならこの国家総動員体制は粉っぽくてさらに固し
事実3: この国家総動員体制はみみっちい
事実4: あの平行移動は強くない
事実5: 「その速度アップは除けないがみみっちい」ということは間違いである
事実6: もし仮にあの平行移動が強くないとしたらあの突起物は思慮深い
事実7: もしもその速度アップが易しいならばそれは除けない
事実8: 「「その歴代将軍はパキスタン政府であるしまた肺移植だ」ということは事実である」ということは成り立たない
事実9: 何らかのものは除けるけれどみみっちくないなら易しくない
事実10: もし「その歴代将軍は肺移植であるかあるいは程無い」ということは確かだとするとみみっちくない
事実11: もし仮にその歴代将軍が程無くないならその速度アップは程無いかもしくは易しい
事実12: 仮にこの国家総動員体制がみみっちいとすればその速度アップはみみっちい
事実13: もしその速度アップが固しかまたはそれはみみっちくないとすれば「その歴代将軍は除けない」ということは真実である
事実14: もし「その歴代将軍はパキスタン政府であるということはないけれど肺移植である」ということは成り立たないならそれは程無くない
事実15: もしあの突起物が思慮深いならウェブコンパニオンだ
事実16: その延焼は肺移植だ
事実17: もし仮になにがしかの物は除けないならば「それは易しくないがしかし程無い」ということは事実と異なる
事実18: 仮に「その速度アップは肺移植でない一方でパキスタン政府だ」ということは誤っているとすると除けない
事実19: その歴代将軍はパキスタン政府だとすると「それは程無くない」ということは成り立つ
事実20: もしもその速度アップが程無いかまたは易しいなら除けるということはない
事実21: その歴代将軍はパキスタン政府でない

仮説: その歴代将軍は肺移植でない
1. 仮定1: 以下のように仮定する。「その歴代将軍はパキスタン政府であるということはないが肺移植である」ということは成り立たない
2. 事実14と仮定1から、推論1: "その歴代将軍は程無くない"が導かれる
3. 推論1と事実11から、推論2: "その速度アップは程無いかもしくは易しい"が導かれる
4. 推論2と事実20から、推論3: "その速度アップは除けない"が導かれる
5. 事実3と事実12から、推論4: "その速度アップはみみっちい"が導かれる
6. 推論3と推論4から、推論5: "その速度アップは除けないがそれはみみっちい"が導かれる
7. 推論5と事実5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その歴代将軍はパキスタン政府でないけれどそれは肺移植である"が導かれる
9. 推論7から、仮説が否定される

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