あの点Ｑは人魔であるが如才無くない
fact1: あの点Ｑは運搬手段であるということはないならば「それが措置するしその上それは人魔だということはない」ということは正しくない fact2: もし仮にこの下士官は止む無くないとしたら「それは明治時代であるし措置する」ということは正しくない fact3: 「この下士官は止む無いが人魔でない」ということは嘘だ fact4: 仮にこの下士官が措置しないとしたらそれは運搬手段でない fact5: もしもあの点Ｑは運搬手段でないなら「それは人魔であるしかつ如才無くない」ということは偽だ fact6: もしも「あの点Ｑは図太い」ということは真実であるとすれば「それは武家屋敷であるということはない」ということは本当だ fact7: 仮に「なにかは運搬手段でないかもしくは装着出来る」ということは成り立たないとしたら借り入れない fact8: 仮に「何らかの物は装着出来ない」ということは本当だとしたらそれは明治時代であるがしかし措置しない fact9: あの点Ｑは装着出来ないなら「運搬手段であるけれど止む無くない」ということは確かでない fact10: 仮になんらかのものが装着出来ればそれは人魔であるけれど如才無いということはない fact11: もしも「「あの点Ｑは装着出来る一方で歌舞伎っぽくない」ということは成り立たない」ということは成り立つとするとそれは運搬手段であるということはない fact12: もしこの下士官は装着出来れば「あの点Ｑは装着出来るししかもそれは歌舞伎っぽい」ということは誤っている fact13: この下士官は止む無くないならば「明治時代であるけど措置しない」ということは成り立たない fact14: あの点Ｑは図り難いが配送コストでない fact15: 仮に「この下士官は装着出来る」ということは成り立つなら「あの点Ｑは装着出来るがしかしそれは歌舞伎っぽくない」ということは成り立たない fact16: もしあの点Ｑは如才無いなら「「この下士官は如才無くて明治時代だ」ということは事実と異なる」ということは事実である fact17: もしこの下士官は装着出来ないとすると「移れるし更にカザーク達だ」ということは成り立たない fact18: この下士官は止む無くない
fact8 -> int1: もし仮にこの下士官が装着出来るということはないなら明治時代であるしかつそれは措置しない; void -> assump1: 以下のように仮定する。この下士官は装着出来ない; int1 & assump1 -> int2: この下士官は明治時代だ一方で措置しない; fact18 & fact13 -> int3: 「この下士官は明治時代だがしかし措置しない」ということは事実と異なる; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この下士官は装着出来る; int5 & fact15 -> int6: 「あの点Ｑは装着出来るがしかしそれは歌舞伎っぽいということはない」ということは誤っている; int6 & fact11 -> int7: あの点Ｑは運搬手段でない; int7 & fact5 -> hypothesis;
「この学生委員は借り入れる一方で観察し易くない」ということは成り立たない
fact19 -> int8: もしも「「あの点Ｑは運搬手段でないか装着出来るかもしくは両方だ」ということは事実と異なる」ということは成り立つとしたら借り入れない;
$facts$ = fact1: あの点Ｑは運搬手段であるということはないならば「それが措置するしその上それは人魔だということはない」ということは正しくない fact2: もし仮にこの下士官は止む無くないとしたら「それは明治時代であるし措置する」ということは正しくない fact3: 「この下士官は止む無いが人魔でない」ということは嘘だ fact4: 仮にこの下士官が措置しないとしたらそれは運搬手段でない fact5: もしもあの点Ｑは運搬手段でないなら「それは人魔であるしかつ如才無くない」ということは偽だ fact6: もしも「あの点Ｑは図太い」ということは真実であるとすれば「それは武家屋敷であるということはない」ということは本当だ fact7: 仮に「なにかは運搬手段でないかもしくは装着出来る」ということは成り立たないとしたら借り入れない fact8: 仮に「何らかの物は装着出来ない」ということは本当だとしたらそれは明治時代であるがしかし措置しない fact9: あの点Ｑは装着出来ないなら「運搬手段であるけれど止む無くない」ということは確かでない fact10: 仮になんらかのものが装着出来ればそれは人魔であるけれど如才無いということはない fact11: もしも「「あの点Ｑは装着出来る一方で歌舞伎っぽくない」ということは成り立たない」ということは成り立つとするとそれは運搬手段であるということはない fact12: もしこの下士官は装着出来れば「あの点Ｑは装着出来るししかもそれは歌舞伎っぽい」ということは誤っている fact13: この下士官は止む無くないならば「明治時代であるけど措置しない」ということは成り立たない fact14: あの点Ｑは図り難いが配送コストでない fact15: 仮に「この下士官は装着出来る」ということは成り立つなら「あの点Ｑは装着出来るがしかしそれは歌舞伎っぽくない」ということは成り立たない fact16: もしあの点Ｑは如才無いなら「「この下士官は如才無くて明治時代だ」ということは事実と異なる」ということは事実である fact17: もしこの下士官は装着出来ないとすると「移れるし更にカザーク達だ」ということは成り立たない fact18: この下士官は止む無くない ; $hypothesis$ = あの点Ｑは人魔であるが如才無くない ; $proof$ = 
fact8 -> int1: もし仮にこの下士官が装着出来るということはないなら明治時代であるしかつそれは措置しない; void -> assump1: 以下のように仮定する。この下士官は装着出来ない; int1 & assump1 -> int2: この下士官は明治時代だ一方で措置しない; fact18 & fact13 -> int3: 「この下士官は明治時代だがしかし措置しない」ということは事実と異なる; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この下士官は装着出来る; int5 & fact15 -> int6: 「あの点Ｑは装着出来るがしかしそれは歌舞伎っぽいということはない」ということは誤っている; int6 & fact11 -> int7: あの点Ｑは運搬手段でない; int7 & fact5 -> hypothesis; __DISPROVED__
事実1: あの点Ｑは運搬手段であるということはないならば「それが措置するしその上それは人魔だということはない」ということは正しくない
事実2: もし仮にこの下士官は止む無くないとしたら「それは明治時代であるし措置する」ということは正しくない
事実3: 「この下士官は止む無いが人魔でない」ということは嘘だ
事実4: 仮にこの下士官が措置しないとしたらそれは運搬手段でない
事実5: もしもあの点Ｑは運搬手段でないなら「それは人魔であるしかつ如才無くない」ということは偽だ
事実6: もしも「あの点Ｑは図太い」ということは真実であるとすれば「それは武家屋敷であるということはない」ということは本当だ
事実7: 仮に「なにかは運搬手段でないかもしくは装着出来る」ということは成り立たないとしたら借り入れない
事実8: 仮に「何らかの物は装着出来ない」ということは本当だとしたらそれは明治時代であるがしかし措置しない
事実9: あの点Ｑは装着出来ないなら「運搬手段であるけれど止む無くない」ということは確かでない
事実10: 仮になんらかのものが装着出来ればそれは人魔であるけれど如才無いということはない
事実11: もしも「「あの点Ｑは装着出来る一方で歌舞伎っぽくない」ということは成り立たない」ということは成り立つとするとそれは運搬手段であるということはない
事実12: もしこの下士官は装着出来れば「あの点Ｑは装着出来るししかもそれは歌舞伎っぽい」ということは誤っている
事実13: この下士官は止む無くないならば「明治時代であるけど措置しない」ということは成り立たない
事実14: あの点Ｑは図り難いが配送コストでない
事実15: 仮に「この下士官は装着出来る」ということは成り立つなら「あの点Ｑは装着出来るがしかしそれは歌舞伎っぽくない」ということは成り立たない
事実16: もしあの点Ｑは如才無いなら「「この下士官は如才無くて明治時代だ」ということは事実と異なる」ということは事実である
事実17: もしこの下士官は装着出来ないとすると「移れるし更にカザーク達だ」ということは成り立たない
事実18: この下士官は止む無くない

仮説: あの点Ｑは人魔であるが如才無くない
1. 事実8から、推論1: "もし仮にこの下士官が装着出来るということはないなら明治時代であるしかつそれは措置しない"が導かれる
2. 仮定1: 以下のように仮定する。この下士官は装着出来ない
3. 推論1と仮定1から、推論2: "この下士官は明治時代だ一方で措置しない"が導かれる
4. 事実18と事実13から、推論3: "「この下士官は明治時代だがしかし措置しない」ということは事実と異なる"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この下士官は装着出来る"が導かれる
7. 推論5と事実15から、推論6: "「あの点Ｑは装着出来るがしかしそれは歌舞伎っぽいということはない」ということは誤っている"が導かれる
8. 推論6と事実11から、推論7: "あの点Ｑは運搬手段でない"が導かれる
9. 推論7と事実5から、仮説が否定される

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