「この実用性は入り易いかまたはフォローアップするかあるいは両方ともである」ということは間違っている
fact1: 「「荒むがしかしゲリラ部隊でない」ということは嘘である」物はある fact2: 仮に接近し易いということはないものがすばしこいならばそれは入り易い fact3: 仮に「「荒むということはないしさらにゲリラ部隊でない」ということは嘘な」物があるとしたらあの学校単位は甲高くない fact4: 接近し易くない物はすばしこくないとすると入り易い fact5: もし仮にとあるものは甲高くないとすれば「それは欠け落ちないかあるいは行われ易いかもしくは両方だ」ということは間違いである fact6: もし仮に接近し易いものはすばしこくないとすると入り易い fact7: もし仮に「痛ーくない」ものがあるならこの実用性は接近し易いということはないしすばしこくない fact8: 仮にあの三聖像が甲高くて更に痛ーいならば「この実用性はオートランでない」ということは事実と異ならない fact9: 「ゲリラ部隊な」物があるとするとあの学校単位は甲高くない fact10: 「「荒まないししかもゲリラ部隊でない」ということは成り立たない」物はある fact11: 仮にあの学校単位が甲高くないとすればそれは欠け落ちる fact12: なにがしかの物は甲高くないなら「それは入り易いかフォローアップするかどちらもだ」ということは成り立たない fact13: 「痛ーい」ものはある fact14: もし仮に「とあるものは欠け落ちるかあるいはそれは行われ易い」ということは嘘だとすれば痛ーいということはない fact15: 甲高くない物は欠け落ちる fact16: もし「なにかは欠け落ちないか行われ易いかもしくは両方ともである」ということは誤っているとすると痛ーくない fact17: もし仮にあの学校単位は入り易くなくてすばしこくないならそれは行われ易い fact18: もしこの実用性は甲高いけれど痛ーくないならば「すばしこい」ということは成り立つ fact19: 「「荒まなくておまけにゲリラ部隊である」ということは間違っている」物はある
fact5 -> int1: もしもあの学校単位は甲高くないとすると「それは欠け落ちないかまたはそれは行われ易いかまたは両方である」ということは誤っている; fact10 & fact3 -> int2: 「あの学校単位は甲高くない」ということは確かだ; int1 & int2 -> int3: 「あの学校単位は欠け落ちないかもしくはそれは行われ易いかどちらもだ」ということは成り立たない; fact16 -> int4: もしも「「あの学校単位は欠け落ちないかまたはそれは行われ易いかどちらもだ」ということは正しい」ということは誤りならばそれは痛ーくない; int3 & int4 -> int5: あの学校単位は痛ーくない; int5 -> int6: 「痛ーくない」物はある; int6 & fact7 -> int7: この実用性は接近し易くないし更にすばしこくない; fact4 -> int8: もし仮にこの実用性が接近し易いということはないしかつすばしこくないとすれば入り易い; int7 & int8 -> int9: この実用性は入り易い; int9 -> hypothesis;
「オートランでない」ものはある
$facts$ = fact1: 「「荒むがしかしゲリラ部隊でない」ということは嘘である」物はある fact2: 仮に接近し易いということはないものがすばしこいならばそれは入り易い fact3: 仮に「「荒むということはないしさらにゲリラ部隊でない」ということは嘘な」物があるとしたらあの学校単位は甲高くない fact4: 接近し易くない物はすばしこくないとすると入り易い fact5: もし仮にとあるものは甲高くないとすれば「それは欠け落ちないかあるいは行われ易いかもしくは両方だ」ということは間違いである fact6: もし仮に接近し易いものはすばしこくないとすると入り易い fact7: もし仮に「痛ーくない」ものがあるならこの実用性は接近し易いということはないしすばしこくない fact8: 仮にあの三聖像が甲高くて更に痛ーいならば「この実用性はオートランでない」ということは事実と異ならない fact9: 「ゲリラ部隊な」物があるとするとあの学校単位は甲高くない fact10: 「「荒まないししかもゲリラ部隊でない」ということは成り立たない」物はある fact11: 仮にあの学校単位が甲高くないとすればそれは欠け落ちる fact12: なにがしかの物は甲高くないなら「それは入り易いかフォローアップするかどちらもだ」ということは成り立たない fact13: 「痛ーい」ものはある fact14: もし仮に「とあるものは欠け落ちるかあるいはそれは行われ易い」ということは嘘だとすれば痛ーいということはない fact15: 甲高くない物は欠け落ちる fact16: もし「なにかは欠け落ちないか行われ易いかもしくは両方ともである」ということは誤っているとすると痛ーくない fact17: もし仮にあの学校単位は入り易くなくてすばしこくないならそれは行われ易い fact18: もしこの実用性は甲高いけれど痛ーくないならば「すばしこい」ということは成り立つ fact19: 「「荒まなくておまけにゲリラ部隊である」ということは間違っている」物はある ; $hypothesis$ = 「この実用性は入り易いかまたはフォローアップするかあるいは両方ともである」ということは間違っている ; $proof$ = 
fact5 -> int1: もしもあの学校単位は甲高くないとすると「それは欠け落ちないかまたはそれは行われ易いかまたは両方である」ということは誤っている; fact10 & fact3 -> int2: 「あの学校単位は甲高くない」ということは確かだ; int1 & int2 -> int3: 「あの学校単位は欠け落ちないかもしくはそれは行われ易いかどちらもだ」ということは成り立たない; fact16 -> int4: もしも「「あの学校単位は欠け落ちないかまたはそれは行われ易いかどちらもだ」ということは正しい」ということは誤りならばそれは痛ーくない; int3 & int4 -> int5: あの学校単位は痛ーくない; int5 -> int6: 「痛ーくない」物はある; int6 & fact7 -> int7: この実用性は接近し易くないし更にすばしこくない; fact4 -> int8: もし仮にこの実用性が接近し易いということはないしかつすばしこくないとすれば入り易い; int7 & int8 -> int9: この実用性は入り易い; int9 -> hypothesis; __DISPROVED__
事実1: 「「荒むがしかしゲリラ部隊でない」ということは嘘である」物はある
事実2: 仮に接近し易いということはないものがすばしこいならばそれは入り易い
事実3: 仮に「「荒むということはないしさらにゲリラ部隊でない」ということは嘘な」物があるとしたらあの学校単位は甲高くない
事実4: 接近し易くない物はすばしこくないとすると入り易い
事実5: もし仮にとあるものは甲高くないとすれば「それは欠け落ちないかあるいは行われ易いかもしくは両方だ」ということは間違いである
事実6: もし仮に接近し易いものはすばしこくないとすると入り易い
事実7: もし仮に「痛ーくない」ものがあるならこの実用性は接近し易いということはないしすばしこくない
事実8: 仮にあの三聖像が甲高くて更に痛ーいならば「この実用性はオートランでない」ということは事実と異ならない
事実9: 「ゲリラ部隊な」物があるとするとあの学校単位は甲高くない
事実10: 「「荒まないししかもゲリラ部隊でない」ということは成り立たない」物はある
事実11: 仮にあの学校単位が甲高くないとすればそれは欠け落ちる
事実12: なにがしかの物は甲高くないなら「それは入り易いかフォローアップするかどちらもだ」ということは成り立たない
事実13: 「痛ーい」ものはある
事実14: もし仮に「とあるものは欠け落ちるかあるいはそれは行われ易い」ということは嘘だとすれば痛ーいということはない
事実15: 甲高くない物は欠け落ちる
事実16: もし「なにかは欠け落ちないか行われ易いかもしくは両方ともである」ということは誤っているとすると痛ーくない
事実17: もし仮にあの学校単位は入り易くなくてすばしこくないならそれは行われ易い
事実18: もしこの実用性は甲高いけれど痛ーくないならば「すばしこい」ということは成り立つ
事実19: 「「荒まなくておまけにゲリラ部隊である」ということは間違っている」物はある

仮説: 「この実用性は入り易いかまたはフォローアップするかあるいは両方ともである」ということは間違っている
1. 事実5から、推論1: "もしもあの学校単位は甲高くないとすると「それは欠け落ちないかまたはそれは行われ易いかまたは両方である」ということは誤っている"が導かれる
2. 事実10と事実3から、推論2: "「あの学校単位は甲高くない」ということは確かだ"が導かれる
3. 推論1と推論2から、推論3: "「あの学校単位は欠け落ちないかもしくはそれは行われ易いかどちらもだ」ということは成り立たない"が導かれる
4. 事実16から、推論4: "もしも「「あの学校単位は欠け落ちないかまたはそれは行われ易いかどちらもだ」ということは正しい」ということは誤りならばそれは痛ーくない"が導かれる
5. 推論3と推論4から、推論5: "あの学校単位は痛ーくない"が導かれる
6. 推論5から、推論6: "「痛ーくない」物はある"が導かれる
7. 推論6と事実7から、推論7: "この実用性は接近し易くないし更にすばしこくない"が導かれる
8. 事実4から、推論8: "もし仮にこの実用性が接近し易いということはないしかつすばしこくないとすれば入り易い"が導かれる
9. 推論7と推論8から、推論9: "この実用性は入り易い"が導かれる
10. 推論9から、仮説が否定される

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