「もしもそのＥラーニングは焼け窶れれば「その受講資格は少女趣味でないしかつ変造しない」ということは誤りである」ということは偽だ
fact1: 「そのＥラーニングは焼け窶れなくてえしない」ということは間違いだ fact2: その給油口はえしない fact3: もしも何かはえするけれど焼け窶れないならば変造するということはない fact4: 「なにかはえするし焼け窶れる」ということは成り立たないとしたらえしない fact5: もし仮にそのＥラーニングがえするとするとその受講資格は記事作成でないし焼け窶れない fact6: 仮にそのＥラーニングは焼け窶れるとすれば「「その受講資格は少女趣味だ一方で変造しない」ということは成り立たない」ということは成り立つ fact7: 何かは少女趣味だということはなくてしかも変造するということはないならば記事作成でない fact8: 「その受講資格が神秘めかなくてまた未練はましくらない」ということは誤りだ fact9: その受講資格は曹時である fact10: もしこの石橋が記事作成だけどそれは心無くないとしたら「そのＥラーニングは記事作成でない」ということは真実である fact11: その受講資格はえしない fact12: 仮にその受講資格が記事作成でないしかつそれがえしないとしたらそのＥラーニングは焼け窶れない fact13: もし仮にそのＥラーニングがえするならその受講資格は変造するということはなくてかつ焼け窶れない fact14: その受講資格が焼け窶れるならそのＥラーニングは変造しないしかつそれはえしない fact15: もし仮にこの石橋が紳士らしくないならばそれが記事作成だしまた心無くない fact16: その受講資格は欠席しなくてそれにとろ臭くない
fact7 -> int1: もしその受講資格が少女趣味だということはないしさらにそれが変造するということはないとしたらそれは記事作成でない; void -> assump2: 以下のように仮定する。その受講資格は少女趣味でなくて変造しない; int1 & assump2 -> int2: その受講資格は記事作成でない; int2 & fact11 -> int3: その受講資格は記事作成でないしそれはえしない; int3 & fact12 -> int4: そのＥラーニングは焼け窶れない; void -> assump1: 以下のように仮定する。そのＥラーニングは焼け窶れる; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: 「その受講資格は少女趣味でなくてしかも変造しない」ということは事実と異なる; [assump1] & int6 -> hypothesis;
この国書刊行会はえしない
fact18 -> int7: もし「この国書刊行会はえするしそれは焼け窶れる」ということは成り立たないならばそれはえしない;
$facts$ = fact1: 「そのＥラーニングは焼け窶れなくてえしない」ということは間違いだ fact2: その給油口はえしない fact3: もしも何かはえするけれど焼け窶れないならば変造するということはない fact4: 「なにかはえするし焼け窶れる」ということは成り立たないとしたらえしない fact5: もし仮にそのＥラーニングがえするとするとその受講資格は記事作成でないし焼け窶れない fact6: 仮にそのＥラーニングは焼け窶れるとすれば「「その受講資格は少女趣味だ一方で変造しない」ということは成り立たない」ということは成り立つ fact7: 何かは少女趣味だということはなくてしかも変造するということはないならば記事作成でない fact8: 「その受講資格が神秘めかなくてまた未練はましくらない」ということは誤りだ fact9: その受講資格は曹時である fact10: もしこの石橋が記事作成だけどそれは心無くないとしたら「そのＥラーニングは記事作成でない」ということは真実である fact11: その受講資格はえしない fact12: 仮にその受講資格が記事作成でないしかつそれがえしないとしたらそのＥラーニングは焼け窶れない fact13: もし仮にそのＥラーニングがえするならその受講資格は変造するということはなくてかつ焼け窶れない fact14: その受講資格が焼け窶れるならそのＥラーニングは変造しないしかつそれはえしない fact15: もし仮にこの石橋が紳士らしくないならばそれが記事作成だしまた心無くない fact16: その受講資格は欠席しなくてそれにとろ臭くない ; $hypothesis$ = 「もしもそのＥラーニングは焼け窶れれば「その受講資格は少女趣味でないしかつ変造しない」ということは誤りである」ということは偽だ ; $proof$ = 
fact7 -> int1: もしその受講資格が少女趣味だということはないしさらにそれが変造するということはないとしたらそれは記事作成でない; void -> assump2: 以下のように仮定する。その受講資格は少女趣味でなくて変造しない; int1 & assump2 -> int2: その受講資格は記事作成でない; int2 & fact11 -> int3: その受講資格は記事作成でないしそれはえしない; int3 & fact12 -> int4: そのＥラーニングは焼け窶れない; void -> assump1: 以下のように仮定する。そのＥラーニングは焼け窶れる; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: 「その受講資格は少女趣味でなくてしかも変造しない」ということは事実と異なる; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 「そのＥラーニングは焼け窶れなくてえしない」ということは間違いだ
事実2: その給油口はえしない
事実3: もしも何かはえするけれど焼け窶れないならば変造するということはない
事実4: 「なにかはえするし焼け窶れる」ということは成り立たないとしたらえしない
事実5: もし仮にそのＥラーニングがえするとするとその受講資格は記事作成でないし焼け窶れない
事実6: 仮にそのＥラーニングは焼け窶れるとすれば「「その受講資格は少女趣味だ一方で変造しない」ということは成り立たない」ということは成り立つ
事実7: 何かは少女趣味だということはなくてしかも変造するということはないならば記事作成でない
事実8: 「その受講資格が神秘めかなくてまた未練はましくらない」ということは誤りだ
事実9: その受講資格は曹時である
事実10: もしこの石橋が記事作成だけどそれは心無くないとしたら「そのＥラーニングは記事作成でない」ということは真実である
事実11: その受講資格はえしない
事実12: 仮にその受講資格が記事作成でないしかつそれがえしないとしたらそのＥラーニングは焼け窶れない
事実13: もし仮にそのＥラーニングがえするならその受講資格は変造するということはなくてかつ焼け窶れない
事実14: その受講資格が焼け窶れるならそのＥラーニングは変造しないしかつそれはえしない
事実15: もし仮にこの石橋が紳士らしくないならばそれが記事作成だしまた心無くない
事実16: その受講資格は欠席しなくてそれにとろ臭くない

仮説: 「もしもそのＥラーニングは焼け窶れれば「その受講資格は少女趣味でないしかつ変造しない」ということは誤りである」ということは偽だ
1. 事実7から、推論1: "もしその受講資格が少女趣味だということはないしさらにそれが変造するということはないとしたらそれは記事作成でない"が導かれる
2. 仮定2: 以下のように仮定する。その受講資格は少女趣味でなくて変造しない
3. 推論1と仮定2から、推論2: "その受講資格は記事作成でない"が導かれる
4. 推論2と事実11から、推論3: "その受講資格は記事作成でないしそれはえしない"が導かれる
5. 推論3と事実12から、推論4: "そのＥラーニングは焼け窶れない"が導かれる
6. 仮定1: 以下のように仮定する。そのＥラーニングは焼け窶れる
7. 推論4と仮定1から、推論5: "これは矛盾である"が導かれる
8. [仮定2]と推論5から、推論6: "「その受講資格は少女趣味でなくてしかも変造しない」ということは事実と異なる"が導かれる
9. [仮定1]と推論6から、仮説が否定される

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