「あの論者は秘密主金剛手だということはないしかつ薄青くない」ということは間違っている
fact1: もしもこのドーズ案は熱気物でないとしたら「あの論者は秘密主金剛手でないしそれにそれは薄青くない」ということは成り立たない fact2: もしその指折りが高官ならばこのドーズ案は高官である fact3: もしあの論者は熱気物でないならばそれは薄青くない fact4: 若いものは追加インストールする fact5: もしあの論者が熱気物だということはないとすれば秘密主金剛手でないしまたそれは薄青くない fact6: 仮にこの専門家集団が追加インストールするとしたらその試験日は発生し易いがしかし丸め込まない fact7: このドーズ案が高官であるとするとあの論者は熱気物である fact8: 仮にこの道路構造モデルが追加インストールするとするとこの専門家集団は追加インストールする fact9: もし仮に「とあるものは相応しかない」ということは成り立てば「それは苛つかなくてそれに裁定しない」ということは成り立たない fact10: 仮に「そのコンビニ弁当は苛つく」ということは事実なら「その指折りは格好良くないしそれは高官でない」ということは正しくない fact11: あの論者は薄青くない fact12: もし仮に「あの論者は熱気物である」ということは成り立つならこの二期会週間は秘密主金剛手でないかもしくは格好良くない fact13: もしも「なにがしかのものは苛つくということはないしさらに裁定しない」ということは事実と異なれば苛つく fact14: もしもその試験日が発生し易いけれどそれが丸め込まないならばあのコンビニ弁当は相応しかない fact15: もし「この専門家集団は丸め込むかまたはそれは発生し易くない」ということは成り立つということはないならばその試験日は相応しかない fact16: あの論者は熱気物でない fact17: もしとあるものが秘密主金剛手でないかそれが格好良くないなら秘密主金剛手であるということはない fact18: 仮にその試験日は相応しかないなら「そのコンビニ弁当は裁定するし苛つく」ということは成り立たない fact19: 仮にこの道路構造モデルが閉じ籠もるということはないならばそれは若いし更に二ＰＸである fact20: この道路構造モデルは閉じ籠もらないけどそれは連合する
fact5 & fact16 -> hypothesis;
fact5 & fact16 -> hypothesis;
「あの論者は秘密主金剛手でなくて更に薄青くない」ということは事実と異なる
fact25 -> int1: もしも「そのコンビニ弁当は苛つくということはなくて加えて裁定しない」ということは成り立つということはないとしたら苛つく; fact29 -> int2: もし仮にそのコンビニ弁当は相応しかないとすれば「苛つかないし裁定しない」ということは間違いである; fact27 -> int3: この道路構造モデルが若いとすればそれは追加インストールする; fact23 -> int4: この道路構造モデルは閉じ籠もらない; fact21 & int4 -> int5: この道路構造モデルが若いしその上それは二ＰＸだ; int5 -> int6: 「この道路構造モデルは若い」ということは正しい; int3 & int6 -> int7: この道路構造モデルは追加インストールする; fact30 & int7 -> int8: この専門家集団は追加インストールする; fact26 & int8 -> int9: その試験日は発生し易いがしかし丸め込むということはない; fact24 & int9 -> int10: そのコンビニ弁当は相応しかない; int2 & int10 -> int11: 「そのコンビニ弁当は苛つかないし裁定するということはない」ということは嘘だ; int1 & int11 -> int12: 「そのコンビニ弁当は苛つく」ということは真実である; fact22 & int12 -> int13: 「その指折りは格好良いということはないし高官でない」ということは誤りである; int13 -> int14: 「「格好良くないしさらに高官でない」ということは成り立たない」物はある;
$facts$ = fact1: もしもこのドーズ案は熱気物でないとしたら「あの論者は秘密主金剛手でないしそれにそれは薄青くない」ということは成り立たない fact2: もしその指折りが高官ならばこのドーズ案は高官である fact3: もしあの論者は熱気物でないならばそれは薄青くない fact4: 若いものは追加インストールする fact5: もしあの論者が熱気物だということはないとすれば秘密主金剛手でないしまたそれは薄青くない fact6: 仮にこの専門家集団が追加インストールするとしたらその試験日は発生し易いがしかし丸め込まない fact7: このドーズ案が高官であるとするとあの論者は熱気物である fact8: 仮にこの道路構造モデルが追加インストールするとするとこの専門家集団は追加インストールする fact9: もし仮に「とあるものは相応しかない」ということは成り立てば「それは苛つかなくてそれに裁定しない」ということは成り立たない fact10: 仮に「そのコンビニ弁当は苛つく」ということは事実なら「その指折りは格好良くないしそれは高官でない」ということは正しくない fact11: あの論者は薄青くない fact12: もし仮に「あの論者は熱気物である」ということは成り立つならこの二期会週間は秘密主金剛手でないかもしくは格好良くない fact13: もしも「なにがしかのものは苛つくということはないしさらに裁定しない」ということは事実と異なれば苛つく fact14: もしもその試験日が発生し易いけれどそれが丸め込まないならばあのコンビニ弁当は相応しかない fact15: もし「この専門家集団は丸め込むかまたはそれは発生し易くない」ということは成り立つということはないならばその試験日は相応しかない fact16: あの論者は熱気物でない fact17: もしとあるものが秘密主金剛手でないかそれが格好良くないなら秘密主金剛手であるということはない fact18: 仮にその試験日は相応しかないなら「そのコンビニ弁当は裁定するし苛つく」ということは成り立たない fact19: 仮にこの道路構造モデルが閉じ籠もるということはないならばそれは若いし更に二ＰＸである fact20: この道路構造モデルは閉じ籠もらないけどそれは連合する ; $hypothesis$ = 「あの論者は秘密主金剛手だということはないしかつ薄青くない」ということは間違っている ; $proof$ = 
fact5 & fact16 -> hypothesis; __DISPROVED__
事実1: もしもこのドーズ案は熱気物でないとしたら「あの論者は秘密主金剛手でないしそれにそれは薄青くない」ということは成り立たない
事実2: もしその指折りが高官ならばこのドーズ案は高官である
事実3: もしあの論者は熱気物でないならばそれは薄青くない
事実4: 若いものは追加インストールする
事実5: もしあの論者が熱気物だということはないとすれば秘密主金剛手でないしまたそれは薄青くない
事実6: 仮にこの専門家集団が追加インストールするとしたらその試験日は発生し易いがしかし丸め込まない
事実7: このドーズ案が高官であるとするとあの論者は熱気物である
事実8: 仮にこの道路構造モデルが追加インストールするとするとこの専門家集団は追加インストールする
事実9: もし仮に「とあるものは相応しかない」ということは成り立てば「それは苛つかなくてそれに裁定しない」ということは成り立たない
事実10: 仮に「そのコンビニ弁当は苛つく」ということは事実なら「その指折りは格好良くないしそれは高官でない」ということは正しくない
事実11: あの論者は薄青くない
事実12: もし仮に「あの論者は熱気物である」ということは成り立つならこの二期会週間は秘密主金剛手でないかもしくは格好良くない
事実13: もしも「なにがしかのものは苛つくということはないしさらに裁定しない」ということは事実と異なれば苛つく
事実14: もしもその試験日が発生し易いけれどそれが丸め込まないならばあのコンビニ弁当は相応しかない
事実15: もし「この専門家集団は丸め込むかまたはそれは発生し易くない」ということは成り立つということはないならばその試験日は相応しかない
事実16: あの論者は熱気物でない
事実17: もしとあるものが秘密主金剛手でないかそれが格好良くないなら秘密主金剛手であるということはない
事実18: 仮にその試験日は相応しかないなら「そのコンビニ弁当は裁定するし苛つく」ということは成り立たない
事実19: 仮にこの道路構造モデルが閉じ籠もるということはないならばそれは若いし更に二ＰＸである
事実20: この道路構造モデルは閉じ籠もらないけどそれは連合する

仮説: 「あの論者は秘密主金剛手だということはないしかつ薄青くない」ということは間違っている
1. 事実5と事実16から、仮説が否定される

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