その十箇国全ては搭乗しなくてその上賢くない
fact1: その十箇国全ては申し込むし更にそれはびびる fact2: 「この内閣危機管理監は賢い」ということは成り立つとすると「その十箇国全ては搭乗する一方で賢くない」ということは成り立つということはない fact3: もしこの内閣危機管理監が留学ブームならその十箇国全ては留学ブームである fact4: この形は留学ブームだ fact5: もしこの内閣危機管理監が納得し易くないとすればそれは逸するかまたは留学ブームである fact6: 仮になにがしかの物が搭乗しない一方で納得し易いならこの防火は逸しない fact7: もしなにかは逸しないとするとそれは留学ブームだし賢い fact8: この内閣危機管理監は賢くて留学ブームである fact9: 全てのものは投げ入れるということはない fact10: もしあるものが投げ入れるとしたら搭乗するということはなくてそれは納得し易い fact11: 「この内閣危機管理監は留学ブームである」ということは真実である fact12: この内閣危機管理監は留学ブームで搭乗する fact13: もしもこの内閣危機管理監は賢いなら「その十箇国全ては搭乗しなくておまけに賢くない」ということは嘘だ fact14: 「「その十箇国全ては搭乗しないがしかし賢い」ということは成り立つ」ということは成り立たない fact15: この内閣危機管理監は中絶するし更に飲む fact16: もし仮に「この内閣危機管理監は逸する」ということは確かであるとするとその十箇国全ては留学ブームだ fact17: もし仮にこの内閣危機管理監は賢いならば「その十箇国全ては搭乗するということはないけど賢い」ということは間違いである fact18: 「その十箇国全ては搭乗するがそれは賢くない」ということは嘘だ fact19: もし何らかのものは賢いならば「御待ち頂かないししかも東西鉄道でない」ということは成り立つということはない
fact8 -> int1: この内閣危機管理監は賢い; int1 & fact13 -> hypothesis;
fact8 -> int1: {A}{a}; int1 & fact13 -> hypothesis;
その十箇国全ては搭乗しなくてその上賢くない
fact22 -> int2: 「この各国は投げ入れない」ということは真実である;
$facts$ = fact1: その十箇国全ては申し込むし更にそれはびびる fact2: 「この内閣危機管理監は賢い」ということは成り立つとすると「その十箇国全ては搭乗する一方で賢くない」ということは成り立つということはない fact3: もしこの内閣危機管理監が留学ブームならその十箇国全ては留学ブームである fact4: この形は留学ブームだ fact5: もしこの内閣危機管理監が納得し易くないとすればそれは逸するかまたは留学ブームである fact6: 仮になにがしかの物が搭乗しない一方で納得し易いならこの防火は逸しない fact7: もしなにかは逸しないとするとそれは留学ブームだし賢い fact8: この内閣危機管理監は賢くて留学ブームである fact9: 全てのものは投げ入れるということはない fact10: もしあるものが投げ入れるとしたら搭乗するということはなくてそれは納得し易い fact11: 「この内閣危機管理監は留学ブームである」ということは真実である fact12: この内閣危機管理監は留学ブームで搭乗する fact13: もしもこの内閣危機管理監は賢いなら「その十箇国全ては搭乗しなくておまけに賢くない」ということは嘘だ fact14: 「「その十箇国全ては搭乗しないがしかし賢い」ということは成り立つ」ということは成り立たない fact15: この内閣危機管理監は中絶するし更に飲む fact16: もし仮に「この内閣危機管理監は逸する」ということは確かであるとするとその十箇国全ては留学ブームだ fact17: もし仮にこの内閣危機管理監は賢いならば「その十箇国全ては搭乗するということはないけど賢い」ということは間違いである fact18: 「その十箇国全ては搭乗するがそれは賢くない」ということは嘘だ fact19: もし何らかのものは賢いならば「御待ち頂かないししかも東西鉄道でない」ということは成り立つということはない ; $hypothesis$ = その十箇国全ては搭乗しなくてその上賢くない ; $proof$ = 
fact8 -> int1: この内閣危機管理監は賢い; int1 & fact13 -> hypothesis; __DISPROVED__
事実1: その十箇国全ては申し込むし更にそれはびびる
事実2: 「この内閣危機管理監は賢い」ということは成り立つとすると「その十箇国全ては搭乗する一方で賢くない」ということは成り立つということはない
事実3: もしこの内閣危機管理監が留学ブームならその十箇国全ては留学ブームである
事実4: この形は留学ブームだ
事実5: もしこの内閣危機管理監が納得し易くないとすればそれは逸するかまたは留学ブームである
事実6: 仮になにがしかの物が搭乗しない一方で納得し易いならこの防火は逸しない
事実7: もしなにかは逸しないとするとそれは留学ブームだし賢い
事実8: この内閣危機管理監は賢くて留学ブームである
事実9: 全てのものは投げ入れるということはない
事実10: もしあるものが投げ入れるとしたら搭乗するということはなくてそれは納得し易い
事実11: 「この内閣危機管理監は留学ブームである」ということは真実である
事実12: この内閣危機管理監は留学ブームで搭乗する
事実13: もしもこの内閣危機管理監は賢いなら「その十箇国全ては搭乗しなくておまけに賢くない」ということは嘘だ
事実14: 「「その十箇国全ては搭乗しないがしかし賢い」ということは成り立つ」ということは成り立たない
事実15: この内閣危機管理監は中絶するし更に飲む
事実16: もし仮に「この内閣危機管理監は逸する」ということは確かであるとするとその十箇国全ては留学ブームだ
事実17: もし仮にこの内閣危機管理監は賢いならば「その十箇国全ては搭乗するということはないけど賢い」ということは間違いである
事実18: 「その十箇国全ては搭乗するがそれは賢くない」ということは嘘だ
事実19: もし何らかのものは賢いならば「御待ち頂かないししかも東西鉄道でない」ということは成り立つということはない

仮説: その十箇国全ては搭乗しなくてその上賢くない
1. 事実8から、推論1: "この内閣危機管理監は賢い"が導かれる
2. 推論1と事実13から、仮説が否定される

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