あの調査時点は押さえ難くないか誇りっぽくないかまたは両方である
fact1: そのマレーシア人はツリービューだということはないけどむさくるしい fact2: あの調査時点は強制執行する fact3: その葉タバコは競技成績であるがしかし国家制度でない fact4: もし仮にそのマレーシア人がツリービューだということはないけれどそれがむさくるしいとしたらそのリスク要因は確信出来ない fact5: もしもその葉タバコが競技成績であるがそれがバランス良くないとしたら低くない fact6: もしもそのリスク要因は誇りっぽいということはないとしたら「「あの調査時点は押さえ難くないかまたは誇りっぽくないか両方ともだ」ということは確かだ」ということは嘘である fact7: もし仮にバランス良いものが競技成績であるならばあのＵＮＩＸ系ＯＳは話し辛い fact8: そのＵＮＩＸ系ＯＳが話し辛いならそのリスク要因は興じる fact9: もしもなにかは国家制度だとすればそのＵＮＩＸ系ＯＳは興じる fact10: 「もしも「とあるものは低くないし更に話し辛くない」ということは嘘ならば話し辛い」ということは確かである fact11: 仮に何らかのものが興じるけど低くないとすると「それは誇りっぽくない」ということは成り立つ fact12: 仮に何らかのものは確信出来ないとしたら「それは低くない」ということは成り立つ fact13: もし仮になにかは低いけど押さえ難くないならばバランス良くない fact14: 仮にツリービューが会話らしくないとするとむさくるしくない fact15: 会話らしいものは押さえ難くないかもしくは誇りっぽいということはないかもしくは両方ともである fact16: そのリスク要因は国家制度である fact17: もしもなにがしかのものは話し辛いなら「それはバランス良くなくておまけに競技成績でない」ということは成り立つ fact18: もしその葉タバコがバランス良くなくてしかも競技成績でないとするとあの調査時点は会話らしい fact19: その葉タバコは会話らしいしバランス良い fact20: そのＵＮＩＸ系ＯＳは国家制度であるということはない
fact19 -> int1: その葉タバコはバランス良い; fact3 -> int2: 「その葉タバコは競技成績である」ということは正しい; int1 & int2 -> int3: その葉タバコはバランス良いしかつ競技成績である; int3 -> int4: なんらかのものはバランス良いし競技成績である; int4 & fact7 -> int5: そのＵＮＩＸ系ＯＳは話し辛い; int5 & fact8 -> int6: そのリスク要因は興じる; fact12 -> int7: もしそのリスク要因が確信出来ないとすれば低いということはない; fact4 & fact1 -> int8: そのリスク要因は確信出来ない; int7 & int8 -> int9: そのリスク要因は低くない; int6 & int9 -> int10: そのリスク要因は興じるけれどそれは低くない; fact11 -> int11: もしそのリスク要因が興じる一方で低くないとするとそれは誇りっぽくない; int10 & int11 -> int12: そのリスク要因は誇りっぽくない; int12 & fact6 -> hypothesis;
あの調査時点は押さえ難くないかもしくはそれは誇りっぽくないかもしくは両方ともである
fact25 -> int13: 「仮にあの調査時点が会話らしいならあの調査時点は押さえ難くないか誇りっぽくない」ということは本当である; fact23 -> int14: もし仮にその葉タバコが話し辛いとするとバランス良くないししかも競技成績であるということはない; fact24 -> int15: もしも「その葉タバコは低いということはないしまたそれは話し辛いということはない」ということは成り立たないとするとそれは話し辛い; fact22 -> int16: 「国家制度な」ものはある; int16 & fact26 -> int17: そのＵＮＩＸ系ＯＳは興じる; int17 -> int18: 何かは興じる;
$facts$ = fact1: そのマレーシア人はツリービューだということはないけどむさくるしい fact2: あの調査時点は強制執行する fact3: その葉タバコは競技成績であるがしかし国家制度でない fact4: もし仮にそのマレーシア人がツリービューだということはないけれどそれがむさくるしいとしたらそのリスク要因は確信出来ない fact5: もしもその葉タバコが競技成績であるがそれがバランス良くないとしたら低くない fact6: もしもそのリスク要因は誇りっぽいということはないとしたら「「あの調査時点は押さえ難くないかまたは誇りっぽくないか両方ともだ」ということは確かだ」ということは嘘である fact7: もし仮にバランス良いものが競技成績であるならばあのＵＮＩＸ系ＯＳは話し辛い fact8: そのＵＮＩＸ系ＯＳが話し辛いならそのリスク要因は興じる fact9: もしもなにかは国家制度だとすればそのＵＮＩＸ系ＯＳは興じる fact10: 「もしも「とあるものは低くないし更に話し辛くない」ということは嘘ならば話し辛い」ということは確かである fact11: 仮に何らかのものが興じるけど低くないとすると「それは誇りっぽくない」ということは成り立つ fact12: 仮に何らかのものは確信出来ないとしたら「それは低くない」ということは成り立つ fact13: もし仮になにかは低いけど押さえ難くないならばバランス良くない fact14: 仮にツリービューが会話らしくないとするとむさくるしくない fact15: 会話らしいものは押さえ難くないかもしくは誇りっぽいということはないかもしくは両方ともである fact16: そのリスク要因は国家制度である fact17: もしもなにがしかのものは話し辛いなら「それはバランス良くなくておまけに競技成績でない」ということは成り立つ fact18: もしその葉タバコがバランス良くなくてしかも競技成績でないとするとあの調査時点は会話らしい fact19: その葉タバコは会話らしいしバランス良い fact20: そのＵＮＩＸ系ＯＳは国家制度であるということはない ; $hypothesis$ = あの調査時点は押さえ難くないか誇りっぽくないかまたは両方である ; $proof$ = 
fact19 -> int1: その葉タバコはバランス良い; fact3 -> int2: 「その葉タバコは競技成績である」ということは正しい; int1 & int2 -> int3: その葉タバコはバランス良いしかつ競技成績である; int3 -> int4: なんらかのものはバランス良いし競技成績である; int4 & fact7 -> int5: そのＵＮＩＸ系ＯＳは話し辛い; int5 & fact8 -> int6: そのリスク要因は興じる; fact12 -> int7: もしそのリスク要因が確信出来ないとすれば低いということはない; fact4 & fact1 -> int8: そのリスク要因は確信出来ない; int7 & int8 -> int9: そのリスク要因は低くない; int6 & int9 -> int10: そのリスク要因は興じるけれどそれは低くない; fact11 -> int11: もしそのリスク要因が興じる一方で低くないとするとそれは誇りっぽくない; int10 & int11 -> int12: そのリスク要因は誇りっぽくない; int12 & fact6 -> hypothesis; __DISPROVED__
事実1: そのマレーシア人はツリービューだということはないけどむさくるしい
事実2: あの調査時点は強制執行する
事実3: その葉タバコは競技成績であるがしかし国家制度でない
事実4: もし仮にそのマレーシア人がツリービューだということはないけれどそれがむさくるしいとしたらそのリスク要因は確信出来ない
事実5: もしもその葉タバコが競技成績であるがそれがバランス良くないとしたら低くない
事実6: もしもそのリスク要因は誇りっぽいということはないとしたら「「あの調査時点は押さえ難くないかまたは誇りっぽくないか両方ともだ」ということは確かだ」ということは嘘である
事実7: もし仮にバランス良いものが競技成績であるならばあのＵＮＩＸ系ＯＳは話し辛い
事実8: そのＵＮＩＸ系ＯＳが話し辛いならそのリスク要因は興じる
事実9: もしもなにかは国家制度だとすればそのＵＮＩＸ系ＯＳは興じる
事実10: 「もしも「とあるものは低くないし更に話し辛くない」ということは嘘ならば話し辛い」ということは確かである
事実11: 仮に何らかのものが興じるけど低くないとすると「それは誇りっぽくない」ということは成り立つ
事実12: 仮に何らかのものは確信出来ないとしたら「それは低くない」ということは成り立つ
事実13: もし仮になにかは低いけど押さえ難くないならばバランス良くない
事実14: 仮にツリービューが会話らしくないとするとむさくるしくない
事実15: 会話らしいものは押さえ難くないかもしくは誇りっぽいということはないかもしくは両方ともである
事実16: そのリスク要因は国家制度である
事実17: もしもなにがしかのものは話し辛いなら「それはバランス良くなくておまけに競技成績でない」ということは成り立つ
事実18: もしその葉タバコがバランス良くなくてしかも競技成績でないとするとあの調査時点は会話らしい
事実19: その葉タバコは会話らしいしバランス良い
事実20: そのＵＮＩＸ系ＯＳは国家制度であるということはない

仮説: あの調査時点は押さえ難くないか誇りっぽくないかまたは両方である
1. 事実19から、推論1: "その葉タバコはバランス良い"が導かれる
2. 事実3から、推論2: "「その葉タバコは競技成績である」ということは正しい"が導かれる
3. 推論1と推論2から、推論3: "その葉タバコはバランス良いしかつ競技成績である"が導かれる
4. 推論3から、推論4: "なんらかのものはバランス良いし競技成績である"が導かれる
5. 推論4と事実7から、推論5: "そのＵＮＩＸ系ＯＳは話し辛い"が導かれる
6. 推論5と事実8から、推論6: "そのリスク要因は興じる"が導かれる
7. 事実12から、推論7: "もしそのリスク要因が確信出来ないとすれば低いということはない"が導かれる
8. 事実4と事実1から、推論8: "そのリスク要因は確信出来ない"が導かれる
9. 推論7と推論8から、推論9: "そのリスク要因は低くない"が導かれる
10. 推論6と推論9から、推論10: "そのリスク要因は興じるけれどそれは低くない"が導かれる
11. 事実11から、推論11: "もしそのリスク要因が興じる一方で低くないとするとそれは誇りっぽくない"が導かれる
12. 推論10と推論11から、推論12: "そのリスク要因は誇りっぽくない"が導かれる
13. 推論12と事実6から、仮説が否定される

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