あのペン先はし始めない
fact1: 「「その商社マンは吐血しないがしかしそれは人員配置である」ということは成り立たない」ということは嘘でない fact2: もしも「なんらかのものは細工するということはない」ということは正しいとすると「それは仕事中であるし更に着陸出来る」ということは嘘である fact3: もしも「「吐血しないししかも人員配置だ」ということは間違いである」物があるとするとあのペン先は同一化さない fact4: もしもあのペン先は同一化さないしその上着陸出来ないならそれはし始める fact5: この実習室は五年生まれでなくて更にそれは競艇ファンでない fact6: もしも「「着陸出来るということはないがしかし同一化す」ということは間違いである」ものがあるとすればあのペン先は人員配置であるということはない fact7: もし仮に「なにがしかの物は仕事中であるということはない」ということは成り立つとすれば「着陸出来なくてまた同一化す」ということは成り立つ fact8: 仮に「その本義は細工するしさらにそれは重宝がる」ということは成り立たないとすれば細工しない fact9: 仮に「その本義はブラーボでない」ということは確かなら「それは細工するしさらにそれは重宝がる」ということは成り立たない fact10: あのペン先は着陸出来ない
fact1 -> int1: 「「吐血するということはないけれど人員配置だ」ということは真実だということはない」物はある; int1 & fact3 -> int2: あのペン先は同一化さない; int2 & fact10 -> int3: あのペン先は同一化さなくてまた着陸出来ない; int3 & fact4 -> hypothesis;
その相場観はし始める
fact11 -> int4: 仮にあのペン先が仕事中でないなら着陸出来なくてそれに同一化す;
$facts$ = fact1: 「「その商社マンは吐血しないがしかしそれは人員配置である」ということは成り立たない」ということは嘘でない fact2: もしも「なんらかのものは細工するということはない」ということは正しいとすると「それは仕事中であるし更に着陸出来る」ということは嘘である fact3: もしも「「吐血しないししかも人員配置だ」ということは間違いである」物があるとするとあのペン先は同一化さない fact4: もしもあのペン先は同一化さないしその上着陸出来ないならそれはし始める fact5: この実習室は五年生まれでなくて更にそれは競艇ファンでない fact6: もしも「「着陸出来るということはないがしかし同一化す」ということは間違いである」ものがあるとすればあのペン先は人員配置であるということはない fact7: もし仮に「なにがしかの物は仕事中であるということはない」ということは成り立つとすれば「着陸出来なくてまた同一化す」ということは成り立つ fact8: 仮に「その本義は細工するしさらにそれは重宝がる」ということは成り立たないとすれば細工しない fact9: 仮に「その本義はブラーボでない」ということは確かなら「それは細工するしさらにそれは重宝がる」ということは成り立たない fact10: あのペン先は着陸出来ない ; $hypothesis$ = あのペン先はし始めない ; $proof$ = 
fact1 -> int1: 「「吐血するということはないけれど人員配置だ」ということは真実だということはない」物はある; int1 & fact3 -> int2: あのペン先は同一化さない; int2 & fact10 -> int3: あのペン先は同一化さなくてまた着陸出来ない; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: 「「その商社マンは吐血しないがしかしそれは人員配置である」ということは成り立たない」ということは嘘でない
事実2: もしも「なんらかのものは細工するということはない」ということは正しいとすると「それは仕事中であるし更に着陸出来る」ということは嘘である
事実3: もしも「「吐血しないししかも人員配置だ」ということは間違いである」物があるとするとあのペン先は同一化さない
事実4: もしもあのペン先は同一化さないしその上着陸出来ないならそれはし始める
事実5: この実習室は五年生まれでなくて更にそれは競艇ファンでない
事実6: もしも「「着陸出来るということはないがしかし同一化す」ということは間違いである」ものがあるとすればあのペン先は人員配置であるということはない
事実7: もし仮に「なにがしかの物は仕事中であるということはない」ということは成り立つとすれば「着陸出来なくてまた同一化す」ということは成り立つ
事実8: 仮に「その本義は細工するしさらにそれは重宝がる」ということは成り立たないとすれば細工しない
事実9: 仮に「その本義はブラーボでない」ということは確かなら「それは細工するしさらにそれは重宝がる」ということは成り立たない
事実10: あのペン先は着陸出来ない

仮説: あのペン先はし始めない
1. 事実1から、推論1: "「「吐血するということはないけれど人員配置だ」ということは真実だということはない」物はある"が導かれる
2. 推論1と事実3から、推論2: "あのペン先は同一化さない"が導かれる
3. 推論2と事実10から、推論3: "あのペン先は同一化さなくてまた着陸出来ない"が導かれる
4. 推論3と事実4から、仮説が否定される

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