「この平手打ちは怖ーいということはないしまたそれは降雪でない」ということは嘘だ
fact1: この平手打ちは青し fact2: あの流通業者間は八両編成である fact3: もし仮にこの平手打ちが怖ーいならばそれは感覚出来るということはない fact4: この平手打ちは地中深いということはない fact5: あの病床区分は感覚出来るということはない fact6: あの加筆・修正は感覚出来るということはない fact7: 「この大都市部はブリーチでないけど月像である」ということは誤りだ fact8: 仮に「この平手打ちは怖ーくないしそれは降雪でない」ということは誤りなら感覚出来ない fact9: 「この平手打ちは八両編成である」ということは成り立つ fact10: このダは感覚出来る fact11: 「この平手打ちは感覚出来るしそれは八両編成である」ということは事実と異ならない fact12: あの派遣会社は青しない fact13: もし仮に「なにがしかのものは感覚出来なくて堂宇でない」ということは間違いであるならばそれは臍帯去勢でない fact14: この平手打ちは狂おしい fact15: この平手打ちは選択理由である fact16: この平手打ちはかっとしない fact17: あのＩＭＦは感覚出来る fact18: そのＨＩＶ感染症は怖ーいし分業化する fact19: このユタ州政府が手工業なら感覚出来ない fact20: この平手打ちは明かすということはないしおまけにそれは平ったくない
void -> assump1: 以下のように仮定する。「この平手打ちは怖ーいということはなくて更にそれは降雪でない」ということは確かでない; fact8 & assump1 -> int1: この平手打ちは感覚出来ない; fact11 -> int2: 「この平手打ちは感覚出来る」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬(¬{AA}{a} & ¬{AB}{a}); fact8 & assump1 -> int1: ¬{B}{a}; fact11 -> int2: {B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「その斑点状は感覚出来ないしかつ堂宇でない」ということは成り立たないなら臍帯去勢でない
fact21 -> hypothesis;
$facts$ = fact1: この平手打ちは青し fact2: あの流通業者間は八両編成である fact3: もし仮にこの平手打ちが怖ーいならばそれは感覚出来るということはない fact4: この平手打ちは地中深いということはない fact5: あの病床区分は感覚出来るということはない fact6: あの加筆・修正は感覚出来るということはない fact7: 「この大都市部はブリーチでないけど月像である」ということは誤りだ fact8: 仮に「この平手打ちは怖ーくないしそれは降雪でない」ということは誤りなら感覚出来ない fact9: 「この平手打ちは八両編成である」ということは成り立つ fact10: このダは感覚出来る fact11: 「この平手打ちは感覚出来るしそれは八両編成である」ということは事実と異ならない fact12: あの派遣会社は青しない fact13: もし仮に「なにがしかのものは感覚出来なくて堂宇でない」ということは間違いであるならばそれは臍帯去勢でない fact14: この平手打ちは狂おしい fact15: この平手打ちは選択理由である fact16: この平手打ちはかっとしない fact17: あのＩＭＦは感覚出来る fact18: そのＨＩＶ感染症は怖ーいし分業化する fact19: このユタ州政府が手工業なら感覚出来ない fact20: この平手打ちは明かすということはないしおまけにそれは平ったくない ; $hypothesis$ = 「この平手打ちは怖ーいということはないしまたそれは降雪でない」ということは嘘だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「この平手打ちは怖ーいということはなくて更にそれは降雪でない」ということは確かでない; fact8 & assump1 -> int1: この平手打ちは感覚出来ない; fact11 -> int2: 「この平手打ちは感覚出来る」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: この平手打ちは青し
事実2: あの流通業者間は八両編成である
事実3: もし仮にこの平手打ちが怖ーいならばそれは感覚出来るということはない
事実4: この平手打ちは地中深いということはない
事実5: あの病床区分は感覚出来るということはない
事実6: あの加筆・修正は感覚出来るということはない
事実7: 「この大都市部はブリーチでないけど月像である」ということは誤りだ
事実8: 仮に「この平手打ちは怖ーくないしそれは降雪でない」ということは誤りなら感覚出来ない
事実9: 「この平手打ちは八両編成である」ということは成り立つ
事実10: このダは感覚出来る
事実11: 「この平手打ちは感覚出来るしそれは八両編成である」ということは事実と異ならない
事実12: あの派遣会社は青しない
事実13: もし仮に「なにがしかのものは感覚出来なくて堂宇でない」ということは間違いであるならばそれは臍帯去勢でない
事実14: この平手打ちは狂おしい
事実15: この平手打ちは選択理由である
事実16: この平手打ちはかっとしない
事実17: あのＩＭＦは感覚出来る
事実18: そのＨＩＶ感染症は怖ーいし分業化する
事実19: このユタ州政府が手工業なら感覚出来ない
事実20: この平手打ちは明かすということはないしおまけにそれは平ったくない

仮説: 「この平手打ちは怖ーいということはないしまたそれは降雪でない」ということは嘘だ
1. 仮定1: 以下のように仮定する。「この平手打ちは怖ーいということはなくて更にそれは降雪でない」ということは確かでない
2. 事実8と仮定1から、推論1: "この平手打ちは感覚出来ない"が導かれる
3. 事実11から、推論2: "「この平手打ちは感覚出来る」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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