「もし仮にこのマック側が百五十六ＧＴＡだとするとこのマック側は記憶だ」ということは間違っている
fact1: 「記憶でない」ものはあるなら「この中山ダートは記憶であるしまた伝え易い」ということは誤りだ fact2: 「「めんどい」物はあるなら「この中山ダートは記憶であるし伝え易い」ということは成り立つということはない」ということは確かである fact3: もし仮にこの中山ダートが百五十六ＧＴＡであるけどリストアップでないならそのデータ管理はリストアップだ fact4: 仮にこの組織間学習が崩し易くないならばあの政策立案者達は崩し易くない fact5: ある物はめんどい fact6: この組織間学習は崩し易いということはない fact7: 仮に「このマック側は癌組織だということはない一方でそれは乾き易い」ということは成り立つということはないとしたらそれは児童生徒一人一人である fact8: 何らかの物は百五十六ＧＴＡであるとしたら「それは児童生徒一人一人だということはないけれどリストアップだ」ということは嘘である fact9: 信じ難くない物はめんどくないし痒くない fact10: もし仮に「「何かは児童生徒一人一人でないがリストアップだ」ということは成り立つ」ということは真実でないとすると「記憶だ」ということは確かだ fact11: もし「なにがしかのものは記憶でその上それは伝え易い」ということは嘘であるならばそれは記憶でない fact12: 「このＯＣＦフォントは実質基準でないけれど降下率だ」ということは間違いである fact13: もし仮になんらかの物が児童生徒一人一人だとするとそれは記憶だ fact14: 仮に「「消え入るか獲得出来るかまたはどちらもである」ということは間違っている」物があるならこの当企業は信じ難いということはない fact15: このマック側は百五十六ＧＴＡであるとすれば「それは修正操舵であるし加えてそれは過失割合テキストだ」ということは成り立たない fact16: 仮にあの政策立案者達は崩し易くないとしたら「消え入るかあるいは獲得出来るか両方である」ということは嘘だ fact17: もし仮にこの当企業がめんどくなくてかつそれは痒くないならば「その親指側は記憶であるということはない」ということは成り立つ fact18: もし仮に「散乱光である」物はあるとしたら「このマック側は散乱光でないけどえぐい」ということは成り立つということはない fact19: 「その文字表記はリストアップでまたそれは平行する」ということは成り立たない fact20: もし「何かはＢＩＯＳ設定画面でないが棚引く」ということは成り立たないとするとそれは観光客らしい fact21: このマック側は湿気易いとすれば「それは元気付けるしかつリストアップだ」ということは誤っている fact22: もし仮に「あるものはＤＮＱ‐ノボラックレジストでないがしかしそれは冷め易い」ということは成り立たないなら新聞各紙である
fact8 -> int1: もしこのマック側は百五十六ＧＴＡであるならば「児童生徒一人一人でないけれどリストアップだ」ということは成り立つということはない; void -> assump1: 以下のように仮定する。このマック側は百五十六ＧＴＡである; int1 & assump1 -> int2: 「このマック側は児童生徒一人一人でないがしかしリストアップである」ということは事実と異なる; fact10 -> int3: もし「このマック側は児童生徒一人一人でないけれどそれはリストアップだ」ということは成り立つということはないとすれば記憶である; int2 & int3 -> int4: このマック側は記憶である; [assump1] & int4 -> hypothesis;
そのデータ管理はリストアップである
fact31 -> int5: 「もし仮に「この中山ダートは記憶だし更に伝え易い」ということは間違いだとすればこの中山ダートは記憶でない」ということは事実だ; fact25 -> int6: もしこの当企業が信じ難くないならそれはめんどくないしそれに痒くない; fact26 & fact28 -> int7: 「あの政策立案者達は崩し易くない」ということは真実だ; fact29 & int7 -> int8: 「あの政策立案者達は消え入るかもしくは獲得出来る」ということは偽だ; int8 -> int9: 「「消え入るかもしくは獲得出来るか両方である」ということは嘘である」物はある; int9 & fact24 -> int10: この当企業は信じ難くない; int6 & int10 -> int11: 「この当企業はめんどいということはないしかつ痒いということはない」ということは成り立つ; fact23 & int11 -> int12: 「その親指側は記憶でない」ということは事実だ; int12 -> int13: 「記憶でない」物はある; int13 & fact30 -> int14: 「この中山ダートが記憶だしまた伝え易い」ということは間違っている; int5 & int14 -> int15: この中山ダートは記憶でない;
$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$ = 
fact8 -> int1: もしこのマック側は百五十六ＧＴＡであるならば「児童生徒一人一人でないけれどリストアップだ」ということは成り立つということはない; void -> assump1: 以下のように仮定する。このマック側は百五十六ＧＴＡである; int1 & assump1 -> int2: 「このマック側は児童生徒一人一人でないがしかしリストアップである」ということは事実と異なる; fact10 -> int3: もし「このマック側は児童生徒一人一人でないけれどそれはリストアップだ」ということは成り立つということはないとすれば記憶である; int2 & int3 -> int4: このマック側は記憶である; [assump1] & int4 -> 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. 事実8から、推論1: "もしこのマック側は百五十六ＧＴＡであるならば「児童生徒一人一人でないけれどリストアップだ」ということは成り立つということはない"が導かれる
2. 仮定1: 以下のように仮定する。このマック側は百五十六ＧＴＡである
3. 推論1と仮定1から、推論2: "「このマック側は児童生徒一人一人でないがしかしリストアップである」ということは事実と異なる"が導かれる
4. 事実10から、推論3: "もし「このマック側は児童生徒一人一人でないけれどそれはリストアップだ」ということは成り立つということはないとすれば記憶である"が導かれる
5. 推論2と推論3から、推論4: "このマック側は記憶である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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