あの構造基金は工数である
fact1: もしあの構造基金が待ち遠しいとすると工数である fact2: もしあの匙が躍り上がらないならばその朝市は精神的健康である fact3: もし「「ネイティブらしいしおまけに千数百年前である」ということは成り立たない」物があるとしたらあの有意水準は待ち遠しくない fact4: その朝市が小狡いなら無くないしおまけに精神的健康だということはない fact5: なんらかのものはネイティブらしいしおまけに千数百年前だ fact6: もしもその政治一般がファックするということはなくて待ち遠しくないとしたらあの構造基金は付け易い fact7: その政治一般はファックしない fact8: あの構造基金はファックしない fact9: 「「ネイティブらしいしかつ千数百年前である」ということは偽である」ものはある fact10: 仮にあの構造基金が付け易いし工数であるとしたらあの匙は躍り上がらない fact11: その朝市は小狡くて水切りする fact12: 仮にあの有意水準が待ち遠しくないとするとその政治一般はファックしなくておまけに待ち遠しくない
fact9 & fact3 -> int1: あの有意水準は待ち遠しいということはない; int1 & fact12 -> int2: その政治一般はファックしなくて加えてそれは待ち遠しくない; int2 & fact6 -> int3: あの構造基金は付け易い; void -> assump1: 以下のように仮定する。あの構造基金は工数である; int3 & assump1 -> int4: あの構造基金は付け易くて工数である; int4 & fact10 -> int5: あの匙は躍り上がらない; int5 & fact2 -> int6: その朝市は精神的健康である; fact11 -> int7: その朝市は小狡い; int7 & fact4 -> int8: その朝市が無くないしさらにそれは精神的健康でない; int8 -> int9: その朝市は精神的健康でない; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
あの構造基金は工数である
$facts$ = fact1: もしあの構造基金が待ち遠しいとすると工数である fact2: もしあの匙が躍り上がらないならばその朝市は精神的健康である fact3: もし「「ネイティブらしいしおまけに千数百年前である」ということは成り立たない」物があるとしたらあの有意水準は待ち遠しくない fact4: その朝市が小狡いなら無くないしおまけに精神的健康だということはない fact5: なんらかのものはネイティブらしいしおまけに千数百年前だ fact6: もしもその政治一般がファックするということはなくて待ち遠しくないとしたらあの構造基金は付け易い fact7: その政治一般はファックしない fact8: あの構造基金はファックしない fact9: 「「ネイティブらしいしかつ千数百年前である」ということは偽である」ものはある fact10: 仮にあの構造基金が付け易いし工数であるとしたらあの匙は躍り上がらない fact11: その朝市は小狡くて水切りする fact12: 仮にあの有意水準が待ち遠しくないとするとその政治一般はファックしなくておまけに待ち遠しくない ; $hypothesis$ = あの構造基金は工数である ; $proof$ = 
fact9 & fact3 -> int1: あの有意水準は待ち遠しいということはない; int1 & fact12 -> int2: その政治一般はファックしなくて加えてそれは待ち遠しくない; int2 & fact6 -> int3: あの構造基金は付け易い; void -> assump1: 以下のように仮定する。あの構造基金は工数である; int3 & assump1 -> int4: あの構造基金は付け易くて工数である; int4 & fact10 -> int5: あの匙は躍り上がらない; int5 & fact2 -> int6: その朝市は精神的健康である; fact11 -> int7: その朝市は小狡い; int7 & fact4 -> int8: その朝市が無くないしさらにそれは精神的健康でない; int8 -> int9: その朝市は精神的健康でない; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __DISPROVED__
事実1: もしあの構造基金が待ち遠しいとすると工数である
事実2: もしあの匙が躍り上がらないならばその朝市は精神的健康である
事実3: もし「「ネイティブらしいしおまけに千数百年前である」ということは成り立たない」物があるとしたらあの有意水準は待ち遠しくない
事実4: その朝市が小狡いなら無くないしおまけに精神的健康だということはない
事実5: なんらかのものはネイティブらしいしおまけに千数百年前だ
事実6: もしもその政治一般がファックするということはなくて待ち遠しくないとしたらあの構造基金は付け易い
事実7: その政治一般はファックしない
事実8: あの構造基金はファックしない
事実9: 「「ネイティブらしいしかつ千数百年前である」ということは偽である」ものはある
事実10: 仮にあの構造基金が付け易いし工数であるとしたらあの匙は躍り上がらない
事実11: その朝市は小狡くて水切りする
事実12: 仮にあの有意水準が待ち遠しくないとするとその政治一般はファックしなくておまけに待ち遠しくない

仮説: あの構造基金は工数である
1. 事実9と事実3から、推論1: "あの有意水準は待ち遠しいということはない"が導かれる
2. 推論1と事実12から、推論2: "その政治一般はファックしなくて加えてそれは待ち遠しくない"が導かれる
3. 推論2と事実6から、推論3: "あの構造基金は付け易い"が導かれる
4. 仮定1: 以下のように仮定する。あの構造基金は工数である
5. 推論3と仮定1から、推論4: "あの構造基金は付け易くて工数である"が導かれる
6. 推論4と事実10から、推論5: "あの匙は躍り上がらない"が導かれる
7. 推論5と事実2から、推論6: "その朝市は精神的健康である"が導かれる
8. 事実11から、推論7: "その朝市は小狡い"が導かれる
9. 推論7と事実4から、推論8: "その朝市が無くないしさらにそれは精神的健康でない"が導かれる
10. 推論8から、推論9: "その朝市は精神的健康でない"が導かれる
11. 推論6と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が否定される

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