「この設立時はペンテコステ派であるがそれは仮設しない」ということは成り立たない
fact1: もしその電子計算機処理が口大であるとすればこのランは恐喝だ fact2: その鬼王丸は鞣すけど注文主でない fact3: このランは覚束無いけれど小暗くない fact4: もし仮にこのランが口大だとしたらこの設立時は仮設しない fact5: そのミニ集会はハンガーストライキであるがしかしそれは恐喝でない fact6: このランが口大であるとしたらこの設立時はペンテコステ派である一方でそれは仮設するということはない fact7: この設立時は仮設するということはない fact8: その電子計算機処理は恐喝である fact9: 仮にこの設立時が恐喝であるならばその電子計算機処理は仮設するけれどもがくということはない fact10: 仮になにがしかのものはもがかないし口大でないとすれば恐喝でない fact11: もしその電子計算機処理が恐喝だとすればこのランはもがく fact12: その電子計算機処理は恐喝でないとすれば「この設立時はペンテコステ派であるけれど仮設しない」ということは確かだということはない fact13: もしこのランがペンテコステ派であるとすればこの設立時はもがく fact14: 仮にこのランがもがくなら口大だ
fact11 & fact8 -> int1: このランはもがく; int1 & fact14 -> int2: このランは口大だ; int2 & fact6 -> hypothesis;
「「この設立時はペンテコステ派であるけどそれは仮設するということはない」ということは正しい」ということは成り立たない
fact15 -> int3: 仮にその電子計算機処理はもがかないし更に口大であるということはないとしたらそれは恐喝でない;
$facts$ = fact1: もしその電子計算機処理が口大であるとすればこのランは恐喝だ fact2: その鬼王丸は鞣すけど注文主でない fact3: このランは覚束無いけれど小暗くない fact4: もし仮にこのランが口大だとしたらこの設立時は仮設しない fact5: そのミニ集会はハンガーストライキであるがしかしそれは恐喝でない fact6: このランが口大であるとしたらこの設立時はペンテコステ派である一方でそれは仮設するということはない fact7: この設立時は仮設するということはない fact8: その電子計算機処理は恐喝である fact9: 仮にこの設立時が恐喝であるならばその電子計算機処理は仮設するけれどもがくということはない fact10: 仮になにがしかのものはもがかないし口大でないとすれば恐喝でない fact11: もしその電子計算機処理が恐喝だとすればこのランはもがく fact12: その電子計算機処理は恐喝でないとすれば「この設立時はペンテコステ派であるけれど仮設しない」ということは確かだということはない fact13: もしこのランがペンテコステ派であるとすればこの設立時はもがく fact14: 仮にこのランがもがくなら口大だ ; $hypothesis$ = 「この設立時はペンテコステ派であるがそれは仮設しない」ということは成り立たない ; $proof$ = 
fact11 & fact8 -> int1: このランはもがく; int1 & fact14 -> int2: このランは口大だ; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: もしその電子計算機処理が口大であるとすればこのランは恐喝だ
事実2: その鬼王丸は鞣すけど注文主でない
事実3: このランは覚束無いけれど小暗くない
事実4: もし仮にこのランが口大だとしたらこの設立時は仮設しない
事実5: そのミニ集会はハンガーストライキであるがしかしそれは恐喝でない
事実6: このランが口大であるとしたらこの設立時はペンテコステ派である一方でそれは仮設するということはない
事実7: この設立時は仮設するということはない
事実8: その電子計算機処理は恐喝である
事実9: 仮にこの設立時が恐喝であるならばその電子計算機処理は仮設するけれどもがくということはない
事実10: 仮になにがしかのものはもがかないし口大でないとすれば恐喝でない
事実11: もしその電子計算機処理が恐喝だとすればこのランはもがく
事実12: その電子計算機処理は恐喝でないとすれば「この設立時はペンテコステ派であるけれど仮設しない」ということは確かだということはない
事実13: もしこのランがペンテコステ派であるとすればこの設立時はもがく
事実14: 仮にこのランがもがくなら口大だ

仮説: 「この設立時はペンテコステ派であるがそれは仮設しない」ということは成り立たない
1. 事実11と事実8から、推論1: "このランはもがく"が導かれる
2. 推論1と事実14から、推論2: "このランは口大だ"が導かれる
3. 推論2と事実6から、仮説が否定される

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