「この高コレステロール血症はそつ無いしそれにそれはパイロット達だ」ということは偽である
fact1: 「「この揺らめきは映画女優でそつ無い」ということは成り立つ」ということは確かだということはない fact2: その項部硬直が訪室するとすればあの高コレステロール血症はそつ無い fact3: この揺らめきは卑しくない一方で映画女優だ fact4: もしもその項部硬直が脳細胞だということはないとするとあの通風は納得し易くない fact5: もし仮に「その項部硬直はそつ無い」ということは事実だとすればこの揺らめきは訪室する一方で納得し易くない fact6: この高コレステロール血症は卑しくない fact7: その項部硬直は経口感染するということはないとしたら「納得し易いし更にそれは訪室しない」ということは誤りだ fact8: この高コレステロール血症は偉才であるしかつ納得し易い fact9: 「その見直しは経口感染する」ということは事実である fact10: 「この揺らめきは偉才であるしさらに映画女優だ」ということは嘘だ fact11: 「あの通風は経口感染するし脳細胞である」ということは間違いだ fact12: あのパターナリズムは安堵し難くておまけに引き摺り出す fact13: この高コレステロール血症はパイロット達であるしそれに偉才である fact14: この揺らめきは偉才でないけれどそれは映画女優である fact15: この揺らめきが卑しくない一方で映画女優であるとすると「その項部硬直は納得し易い」ということは成り立つ fact16: 「この高コレステロール血症は変化し始めるしそれにど偉い」ということは成り立たない fact17: この揺らめきはパイロット達である fact18: 「あの通風は経口感染するし脳細胞である」ということは間違っているとしたらその項部硬直は経口感染しない fact19: その項部硬直は映画女優だ fact20: 「この高コレステロール血症は偉才である」ということは本当である fact21: もし仮にあの通風が経口感染しないとするとその項部硬直は経口感染しない fact22: もし何かは訪室するならそれは素麺だということはなくておまけにそれはＦＢＩ捜査官である
fact15 & fact3 -> int1: その項部硬直は納得し易い; void -> assump1: 以下のように仮定する。その項部硬直は訪室しない; int1 & assump1 -> int2: 「その項部硬直は納得し易いけれど訪室しない」ということは確かだ; fact18 & fact11 -> int3: その項部硬直は経口感染しない; int3 & fact7 -> int4: 「その項部硬直は納得し易い一方で訪室しない」ということは間違いだ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その項部硬直は訪室する; int6 & fact2 -> int7: 「この高コレステロール血症はそつ無い」ということは誤っていない; fact13 -> int8: この高コレステロール血症はパイロット達である; int7 & int8 -> hypothesis;
この揺らめきは素麺でないがしかしそれはＦＢＩ捜査官である
fact23 -> int9: もし「この揺らめきは訪室する」ということは間違いでないならば素麺でないけれどＦＢＩ捜査官である;
$facts$ = fact1: 「「この揺らめきは映画女優でそつ無い」ということは成り立つ」ということは確かだということはない fact2: その項部硬直が訪室するとすればあの高コレステロール血症はそつ無い fact3: この揺らめきは卑しくない一方で映画女優だ fact4: もしもその項部硬直が脳細胞だということはないとするとあの通風は納得し易くない fact5: もし仮に「その項部硬直はそつ無い」ということは事実だとすればこの揺らめきは訪室する一方で納得し易くない fact6: この高コレステロール血症は卑しくない fact7: その項部硬直は経口感染するということはないとしたら「納得し易いし更にそれは訪室しない」ということは誤りだ fact8: この高コレステロール血症は偉才であるしかつ納得し易い fact9: 「その見直しは経口感染する」ということは事実である fact10: 「この揺らめきは偉才であるしさらに映画女優だ」ということは嘘だ fact11: 「あの通風は経口感染するし脳細胞である」ということは間違いだ fact12: あのパターナリズムは安堵し難くておまけに引き摺り出す fact13: この高コレステロール血症はパイロット達であるしそれに偉才である fact14: この揺らめきは偉才でないけれどそれは映画女優である fact15: この揺らめきが卑しくない一方で映画女優であるとすると「その項部硬直は納得し易い」ということは成り立つ fact16: 「この高コレステロール血症は変化し始めるしそれにど偉い」ということは成り立たない fact17: この揺らめきはパイロット達である fact18: 「あの通風は経口感染するし脳細胞である」ということは間違っているとしたらその項部硬直は経口感染しない fact19: その項部硬直は映画女優だ fact20: 「この高コレステロール血症は偉才である」ということは本当である fact21: もし仮にあの通風が経口感染しないとするとその項部硬直は経口感染しない fact22: もし何かは訪室するならそれは素麺だということはなくておまけにそれはＦＢＩ捜査官である ; $hypothesis$ = 「この高コレステロール血症はそつ無いしそれにそれはパイロット達だ」ということは偽である ; $proof$ = 
fact15 & fact3 -> int1: その項部硬直は納得し易い; void -> assump1: 以下のように仮定する。その項部硬直は訪室しない; int1 & assump1 -> int2: 「その項部硬直は納得し易いけれど訪室しない」ということは確かだ; fact18 & fact11 -> int3: その項部硬直は経口感染しない; int3 & fact7 -> int4: 「その項部硬直は納得し易い一方で訪室しない」ということは間違いだ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その項部硬直は訪室する; int6 & fact2 -> int7: 「この高コレステロール血症はそつ無い」ということは誤っていない; fact13 -> int8: この高コレステロール血症はパイロット達である; int7 & int8 -> hypothesis; __DISPROVED__
事実1: 「「この揺らめきは映画女優でそつ無い」ということは成り立つ」ということは確かだということはない
事実2: その項部硬直が訪室するとすればあの高コレステロール血症はそつ無い
事実3: この揺らめきは卑しくない一方で映画女優だ
事実4: もしもその項部硬直が脳細胞だということはないとするとあの通風は納得し易くない
事実5: もし仮に「その項部硬直はそつ無い」ということは事実だとすればこの揺らめきは訪室する一方で納得し易くない
事実6: この高コレステロール血症は卑しくない
事実7: その項部硬直は経口感染するということはないとしたら「納得し易いし更にそれは訪室しない」ということは誤りだ
事実8: この高コレステロール血症は偉才であるしかつ納得し易い
事実9: 「その見直しは経口感染する」ということは事実である
事実10: 「この揺らめきは偉才であるしさらに映画女優だ」ということは嘘だ
事実11: 「あの通風は経口感染するし脳細胞である」ということは間違いだ
事実12: あのパターナリズムは安堵し難くておまけに引き摺り出す
事実13: この高コレステロール血症はパイロット達であるしそれに偉才である
事実14: この揺らめきは偉才でないけれどそれは映画女優である
事実15: この揺らめきが卑しくない一方で映画女優であるとすると「その項部硬直は納得し易い」ということは成り立つ
事実16: 「この高コレステロール血症は変化し始めるしそれにど偉い」ということは成り立たない
事実17: この揺らめきはパイロット達である
事実18: 「あの通風は経口感染するし脳細胞である」ということは間違っているとしたらその項部硬直は経口感染しない
事実19: その項部硬直は映画女優だ
事実20: 「この高コレステロール血症は偉才である」ということは本当である
事実21: もし仮にあの通風が経口感染しないとするとその項部硬直は経口感染しない
事実22: もし何かは訪室するならそれは素麺だということはなくておまけにそれはＦＢＩ捜査官である

仮説: 「この高コレステロール血症はそつ無いしそれにそれはパイロット達だ」ということは偽である
1. 事実15と事実3から、推論1: "その項部硬直は納得し易い"が導かれる
2. 仮定1: 以下のように仮定する。その項部硬直は訪室しない
3. 推論1と仮定1から、推論2: "「その項部硬直は納得し易いけれど訪室しない」ということは確かだ"が導かれる
4. 事実18と事実11から、推論3: "その項部硬直は経口感染しない"が導かれる
5. 推論3と事実7から、推論4: "「その項部硬直は納得し易い一方で訪室しない」ということは間違いだ"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その項部硬直は訪室する"が導かれる
8. 推論6と事実2から、推論7: "「この高コレステロール血症はそつ無い」ということは誤っていない"が導かれる
9. 事実13から、推論8: "この高コレステロール血症はパイロット達である"が導かれる
10. 推論7と推論8から、仮説が否定される

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