この州会計検査院は真草である
fact1: もし「ある物は高価過ぎるし相応しい」ということは偽だとするとそれは高価過ぎない fact2: もし何らかの物は留まらないならば「高価過ぎるしかつ相応しい」ということは成り立つということはない fact3: もし仮にこの総排泄腔が留まらなくてドライバドリルでないとすればそのテイク・ファイブは留まるということはない fact4: そのテイク・ファイブは解析方法だ fact5: もしもそのテイク・ファイブが解析方法であるしそれにそれは高価過ぎれば「この州会計検査院は真草だ」ということは嘘である fact6: この州会計検査院が解析方法でそれが高価過ぎるとするとそのテイク・ファイブは真草でない fact7: そのテイク・ファイブは真草でない fact8: そのＩＭエージプロパティは解析方法であるということはない fact9: そのトランスポートは解析方法でそれにそれはレディバードだ fact10: もしそのテイク・ファイブが高価過ぎないならこの州会計検査院は真草だし加えてそれは解析方法である fact11: そのテイク・ファイブは上げ過ぎない fact12: この州会計検査院は役員達でない fact13: その国家主権は高価過ぎる fact14: あの中東和平は高価過ぎるしかつ転がり具合だ fact15: そのテイク・ファイブは高価過ぎる
fact4 & fact15 -> int1: そのテイク・ファイブが解析方法だし高価過ぎる; int1 & fact5 -> hypothesis;
この州会計検査院は真草である
fact18 -> int2: 仮に「そのテイク・ファイブは高価過ぎるし相応しい」ということは成り立たないならばそれは高価過ぎない; fact19 -> int3: 「もし仮にそのテイク・ファイブは留まるということはないとすれば「そのテイク・ファイブは高価過ぎるししかも相応しい」ということは誤りだ」ということは成り立つ;
$facts$ = fact1: もし「ある物は高価過ぎるし相応しい」ということは偽だとするとそれは高価過ぎない fact2: もし何らかの物は留まらないならば「高価過ぎるしかつ相応しい」ということは成り立つということはない fact3: もし仮にこの総排泄腔が留まらなくてドライバドリルでないとすればそのテイク・ファイブは留まるということはない fact4: そのテイク・ファイブは解析方法だ fact5: もしもそのテイク・ファイブが解析方法であるしそれにそれは高価過ぎれば「この州会計検査院は真草だ」ということは嘘である fact6: この州会計検査院が解析方法でそれが高価過ぎるとするとそのテイク・ファイブは真草でない fact7: そのテイク・ファイブは真草でない fact8: そのＩＭエージプロパティは解析方法であるということはない fact9: そのトランスポートは解析方法でそれにそれはレディバードだ fact10: もしそのテイク・ファイブが高価過ぎないならこの州会計検査院は真草だし加えてそれは解析方法である fact11: そのテイク・ファイブは上げ過ぎない fact12: この州会計検査院は役員達でない fact13: その国家主権は高価過ぎる fact14: あの中東和平は高価過ぎるしかつ転がり具合だ fact15: そのテイク・ファイブは高価過ぎる ; $hypothesis$ = この州会計検査院は真草である ; $proof$ = 
fact4 & fact15 -> int1: そのテイク・ファイブが解析方法だし高価過ぎる; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: もし「ある物は高価過ぎるし相応しい」ということは偽だとするとそれは高価過ぎない
事実2: もし何らかの物は留まらないならば「高価過ぎるしかつ相応しい」ということは成り立つということはない
事実3: もし仮にこの総排泄腔が留まらなくてドライバドリルでないとすればそのテイク・ファイブは留まるということはない
事実4: そのテイク・ファイブは解析方法だ
事実5: もしもそのテイク・ファイブが解析方法であるしそれにそれは高価過ぎれば「この州会計検査院は真草だ」ということは嘘である
事実6: この州会計検査院が解析方法でそれが高価過ぎるとするとそのテイク・ファイブは真草でない
事実7: そのテイク・ファイブは真草でない
事実8: そのＩＭエージプロパティは解析方法であるということはない
事実9: そのトランスポートは解析方法でそれにそれはレディバードだ
事実10: もしそのテイク・ファイブが高価過ぎないならこの州会計検査院は真草だし加えてそれは解析方法である
事実11: そのテイク・ファイブは上げ過ぎない
事実12: この州会計検査院は役員達でない
事実13: その国家主権は高価過ぎる
事実14: あの中東和平は高価過ぎるしかつ転がり具合だ
事実15: そのテイク・ファイブは高価過ぎる

仮説: この州会計検査院は真草である
1. 事実4と事実15から、推論1: "そのテイク・ファイブが解析方法だし高価過ぎる"が導かれる
2. 推論1と事実5から、仮説が否定される

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