「もしもそのパントマイムが荒っぽいとしたらその半日陰は歌舞伎っぽい」ということは成り立つ
fact1: 仮に歌舞伎っぽいものは荒っぽくないなら「糸端だということはない」ということは真実だ fact2: もしも「そのパントマイムは荒っぽいけれど医療情報担当者でない」ということは成り立たないならそれは歌舞伎っぽくない fact3: もしもその半日陰は歌舞伎っぽいということはないならば「「そのパントマイムが糸端だけどそれは医療情報担当者でない」ということは確かでない」ということは事実である fact4: 「その半日陰は歌舞伎っぽい一方で糸端だということはない」ということは間違いである fact5: 仮にその半日陰は荒っぽくないとしたら「そのパントマイムは歌舞伎っぽいがしかし医療情報担当者であるということはない」ということは間違いである fact6: もし「そのパントマイムは糸端でない」ということは真実ならば荒っぽくない fact7: もし「その半日陰は歌舞伎っぽい」ということは真実だとすると「「そのパントマイムは糸端だがしかし医療情報担当者でない」ということは誤りである」ということは成り立つ fact8: 仮にそのパントマイムは歌舞伎っぽくないなら「その半日陰は荒っぽいけれど糸端でない」ということは事実でない fact9: その半日陰がテレビ・ラジオであるならばその残党狩りはテレビ・ラジオでない fact10: その半日陰は医療情報担当者でない fact11: もしもとあるものは糸端でないとすると荒っぽいということはない fact12: もし仮に「なんらかのものは糸端だが医療情報担当者でない」ということは間違っているなら荒っぽいということはない fact13: そのパントマイムは歌舞伎っぽくない fact14: あの粉っぽさは医療情報担当者だ fact15: 仮に「その半日陰は糸端だが遅しない」ということは成り立たないとすればそれは跳ね返るということはない fact16: あのＡ地点は歌舞伎っぽい fact17: もしもそのパントマイムが歌舞伎っぽいならばその半日陰は医療情報担当者だ fact18: 仮になんらかのものがテレビ・ラジオでないとすればそれは歌舞伎っぽいが荒っぽいということはない
void -> assump2: 以下のように仮定する。その半日陰は歌舞伎っぽくない; fact3 & assump2 -> int1: 「「そのパントマイムは糸端だがしかし医療情報担当者でない」ということは事実と異なる」ということは事実である; fact12 -> int2: もし「そのパントマイムは糸端だけれどそれは医療情報担当者であるということはない」ということは嘘だとすれば荒っぽくない; int1 & int2 -> int3: そのパントマイムは荒っぽくない; void -> assump1: 以下のように仮定する。そのパントマイムは荒っぽい; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: その半日陰は歌舞伎っぽい; [assump1] & int5 -> hypothesis;
その残党狩りは糸端だということはない
fact21 -> int6: もしその残党狩りが歌舞伎っぽいけれどそれが荒っぽくないならそれは糸端でない; fact20 -> int7: 仮にその残党狩りはテレビ・ラジオでないとすると歌舞伎っぽい一方で荒っぽくない;
$facts$ = fact1: 仮に歌舞伎っぽいものは荒っぽくないなら「糸端だということはない」ということは真実だ fact2: もしも「そのパントマイムは荒っぽいけれど医療情報担当者でない」ということは成り立たないならそれは歌舞伎っぽくない fact3: もしもその半日陰は歌舞伎っぽいということはないならば「「そのパントマイムが糸端だけどそれは医療情報担当者でない」ということは確かでない」ということは事実である fact4: 「その半日陰は歌舞伎っぽい一方で糸端だということはない」ということは間違いである fact5: 仮にその半日陰は荒っぽくないとしたら「そのパントマイムは歌舞伎っぽいがしかし医療情報担当者であるということはない」ということは間違いである fact6: もし「そのパントマイムは糸端でない」ということは真実ならば荒っぽくない fact7: もし「その半日陰は歌舞伎っぽい」ということは真実だとすると「「そのパントマイムは糸端だがしかし医療情報担当者でない」ということは誤りである」ということは成り立つ fact8: 仮にそのパントマイムは歌舞伎っぽくないなら「その半日陰は荒っぽいけれど糸端でない」ということは事実でない fact9: その半日陰がテレビ・ラジオであるならばその残党狩りはテレビ・ラジオでない fact10: その半日陰は医療情報担当者でない fact11: もしもとあるものは糸端でないとすると荒っぽいということはない fact12: もし仮に「なんらかのものは糸端だが医療情報担当者でない」ということは間違っているなら荒っぽいということはない fact13: そのパントマイムは歌舞伎っぽくない fact14: あの粉っぽさは医療情報担当者だ fact15: 仮に「その半日陰は糸端だが遅しない」ということは成り立たないとすればそれは跳ね返るということはない fact16: あのＡ地点は歌舞伎っぽい fact17: もしもそのパントマイムが歌舞伎っぽいならばその半日陰は医療情報担当者だ fact18: 仮になんらかのものがテレビ・ラジオでないとすればそれは歌舞伎っぽいが荒っぽいということはない ; $hypothesis$ = 「もしもそのパントマイムが荒っぽいとしたらその半日陰は歌舞伎っぽい」ということは成り立つ ; $proof$ = 
void -> assump2: 以下のように仮定する。その半日陰は歌舞伎っぽくない; fact3 & assump2 -> int1: 「「そのパントマイムは糸端だがしかし医療情報担当者でない」ということは事実と異なる」ということは事実である; fact12 -> int2: もし「そのパントマイムは糸端だけれどそれは医療情報担当者であるということはない」ということは嘘だとすれば荒っぽくない; int1 & int2 -> int3: そのパントマイムは荒っぽくない; void -> assump1: 以下のように仮定する。そのパントマイムは荒っぽい; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: その半日陰は歌舞伎っぽい; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 仮に歌舞伎っぽいものは荒っぽくないなら「糸端だということはない」ということは真実だ
事実2: もしも「そのパントマイムは荒っぽいけれど医療情報担当者でない」ということは成り立たないならそれは歌舞伎っぽくない
事実3: もしもその半日陰は歌舞伎っぽいということはないならば「「そのパントマイムが糸端だけどそれは医療情報担当者でない」ということは確かでない」ということは事実である
事実4: 「その半日陰は歌舞伎っぽい一方で糸端だということはない」ということは間違いである
事実5: 仮にその半日陰は荒っぽくないとしたら「そのパントマイムは歌舞伎っぽいがしかし医療情報担当者であるということはない」ということは間違いである
事実6: もし「そのパントマイムは糸端でない」ということは真実ならば荒っぽくない
事実7: もし「その半日陰は歌舞伎っぽい」ということは真実だとすると「「そのパントマイムは糸端だがしかし医療情報担当者でない」ということは誤りである」ということは成り立つ
事実8: 仮にそのパントマイムは歌舞伎っぽくないなら「その半日陰は荒っぽいけれど糸端でない」ということは事実でない
事実9: その半日陰がテレビ・ラジオであるならばその残党狩りはテレビ・ラジオでない
事実10: その半日陰は医療情報担当者でない
事実11: もしもとあるものは糸端でないとすると荒っぽいということはない
事実12: もし仮に「なんらかのものは糸端だが医療情報担当者でない」ということは間違っているなら荒っぽいということはない
事実13: そのパントマイムは歌舞伎っぽくない
事実14: あの粉っぽさは医療情報担当者だ
事実15: 仮に「その半日陰は糸端だが遅しない」ということは成り立たないとすればそれは跳ね返るということはない
事実16: あのＡ地点は歌舞伎っぽい
事実17: もしもそのパントマイムが歌舞伎っぽいならばその半日陰は医療情報担当者だ
事実18: 仮になんらかのものがテレビ・ラジオでないとすればそれは歌舞伎っぽいが荒っぽいということはない

仮説: 「もしもそのパントマイムが荒っぽいとしたらその半日陰は歌舞伎っぽい」ということは成り立つ
1. 仮定2: 以下のように仮定する。その半日陰は歌舞伎っぽくない
2. 事実3と仮定2から、推論1: "「「そのパントマイムは糸端だがしかし医療情報担当者でない」ということは事実と異なる」ということは事実である"が導かれる
3. 事実12から、推論2: "もし「そのパントマイムは糸端だけれどそれは医療情報担当者であるということはない」ということは嘘だとすれば荒っぽくない"が導かれる
4. 推論1と推論2から、推論3: "そのパントマイムは荒っぽくない"が導かれる
5. 仮定1: 以下のように仮定する。そのパントマイムは荒っぽい
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "その半日陰は歌舞伎っぽい"が導かれる
8. [仮定1]と推論5から、仮説が導かれる

よって、仮説が証明されました。