その徐放製剤は転写調節因子でない
fact1: もしその疲労物質が近代民主主義であるしかつそれが立ち歩きするとすれば転写調節因子でない fact2: その徐放製剤は近代民主主義でない fact3: もしその徐放製剤が売り出すならばあの疲労物質は立ち歩きする fact4: もし仮になにがしかのものは近代民主主義でないけれど豪遊すればそれは転写調節因子である fact5: 「その疲労物質は立ち歩きするし近代民主主義である」ということは成り立たない fact6: 「その茹で卵は痛ーいしそれに生温かい」ということは間違っている fact7: 「その疲労物質はなあい」ということは事実である fact8: その疲労物質は編纂する fact9: 「あのアニマルは豪遊する」ということは真実である fact10: 仮にその徐放製剤は転写調節因子でない一方で近代民主主義であるなら「なあい」ということは事実である fact11: もし仮に何らかの物は編纂するなら「立ち歩きするしそれにそれは売り出さない」ということは成り立たない fact12: もしもなあい物が編纂するとしたら立ち歩きしない fact13: もしその徐放製剤が近代民主主義だしさらにそれが豪遊するなら転写調節因子である fact14: 「何かは立ち歩きするけれど売り出さない」ということは間違いだとすると転写調節因子だということはない fact15: 「仮にその徐放製剤はなあくないが売り出すとしたらその徐放製剤は豪遊する」ということは事実と異ならない fact16: もしも近代民主主義が豪遊するとすると転写調節因子である fact17: 仮にその徐放製剤が近代民主主義だとすれば売り出す fact18: 「その徐放製剤は近代民主主義でないけれど豪遊する」ということは誤りならそれは売り出す fact19: 「その徐放製剤は近代民主主義だし豪遊する」ということは成り立つということはない fact20: もしもあのエゴイストは痛ーくないならばあの疲労物質はなあくないがしかし手っ取り早い fact21: その疲労物質は売り出す fact22: 「あの彩りは売り出す」ということは成り立つ
void -> assump1: 以下のように仮定する。「その徐放製剤は近代民主主義でないがしかし豪遊する」ということは偽だ; fact18 & assump1 -> int1: その徐放製剤は売り出す; int1 & fact3 -> int2: その疲労物質は立ち歩きする; fact12 -> int3: もしその疲労物質がなあいしさらにそれが編纂するとするとそれは立ち歩きするということはない; fact8 & fact7 -> int4: その疲労物質はなあいし更に編纂する; int3 & int4 -> int5: その疲労物質は立ち歩きしない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その徐放製剤は近代民主主義でないけど豪遊する; fact4 -> int8: その徐放製剤が近代民主主義だということはないけど豪遊するとしたらそれは転写調節因子である; int7 & int8 -> hypothesis;
その徐放製剤は転写調節因子でない
fact23 -> int9: 仮に「その徐放製剤は立ち歩きするけど売り出さない」ということは成り立たないとすれば転写調節因子であるということはない; fact26 -> int10: もし仮にその徐放製剤は編纂するとすると「「立ち歩きするし売り出さない」ということは本当だ」ということは誤っている; fact24 -> int11: 「「痛ーいし生温かい」ということは成り立たない」物はある;
$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$ = 
void -> assump1: 以下のように仮定する。「その徐放製剤は近代民主主義でないがしかし豪遊する」ということは偽だ; fact18 & assump1 -> int1: その徐放製剤は売り出す; int1 & fact3 -> int2: その疲労物質は立ち歩きする; fact12 -> int3: もしその疲労物質がなあいしさらにそれが編纂するとするとそれは立ち歩きするということはない; fact8 & fact7 -> int4: その疲労物質はなあいし更に編纂する; int3 & int4 -> int5: その疲労物質は立ち歩きしない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その徐放製剤は近代民主主義でないけど豪遊する; fact4 -> 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. 仮定1: 以下のように仮定する。「その徐放製剤は近代民主主義でないがしかし豪遊する」ということは偽だ
2. 事実18と仮定1から、推論1: "その徐放製剤は売り出す"が導かれる
3. 推論1と事実3から、推論2: "その疲労物質は立ち歩きする"が導かれる
4. 事実12から、推論3: "もしその疲労物質がなあいしさらにそれが編纂するとするとそれは立ち歩きするということはない"が導かれる
5. 事実8と事実7から、推論4: "その疲労物質はなあいし更に編纂する"が導かれる
6. 推論3と推論4から、推論5: "その疲労物質は立ち歩きしない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その徐放製剤は近代民主主義でないけど豪遊する"が導かれる
9. 事実4から、推論8: "その徐放製剤が近代民主主義だということはないけど豪遊するとしたらそれは転写調節因子である"が導かれる
10. 推論7と推論8から、仮説が否定される

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