このケインジアンは嫌らしくない
fact1: もし仮になんらかのものが押し付けがましいということはないとしたら御座らないかもしくは述べ上げるということはないか両方である fact2: もしも何らかのものはニューヨーク・タイムズでないとすれば「押し付けがましいということはない」ということは確かである fact3: もし何らかの物が苦しいとすると和約でないが人間っぽい fact4: 苦しくない物は人間っぽいし和約だ fact5: もしも「幼稚園保育法であるししかも現下な」物はあるとすれば「あの総監はバイスだということはない」ということは本当である fact6: なにがしかの物は人間っぽいなら「それがニューヨーク・タイムズでなくてその上押し付けはましいということはない」ということは誤っている fact7: もし仮にあの総監はバイスでないとしたらそれは苦しくないし芳しくない fact8: もし「あの総監がニューヨーク・タイムズでなくて押し付けはましくらない」ということは事実と異なるとしたらこの後ろ盾は嫌らしくない fact9: もしもなにがしかのものは御座らないならば「それは嫌らしいということはない」ということは確かである fact10: このケインジアンは幼稚園保育法である fact11: この後ろ盾は知りゃしないかもしくはそれは増員す fact12: この後ろ盾が嫌らしくないならその中間地域は御座るし述べ上げる fact13: もしこの後ろ盾が知りゃしないかあるいはそれは増員すかあるいは両方ともだとするとあの総監は御座らない fact14: このケインジアンが和約でない一方でそれは人間っぽいならば「それはニューヨーク・タイムズでない」ということは確かだ fact15: あの総監は述べ上げるし押し付けがましい fact16: 「このケインジアンは号数である」ということは本当だ fact17: もしもこのケインジアンが号数だとすれば現下である fact18: もし仮にあの総監が御座らないけどそれが述べ上げればこのケインジアンは嫌らしい
fact13 & fact11 -> int1: あの総監は御座らない; fact15 -> int2: あの総監は述べ上げる; int1 & int2 -> int3: あの総監は御座らないけれど述べ上げる; int3 & fact18 -> hypothesis;
「その中間地域は御座る」ということは正しい
fact22 -> int4: 仮にあの総監は人間っぽいとすれば「それがニューヨーク・タイムズでなくて押し付けはましくらない」ということは成り立たない; fact24 -> int5: もしもあの総監が苦しくないとするとそれは人間っぽいしそれは和約だ; fact23 & fact21 -> int6: このケインジアンは現下である; fact19 & int6 -> int7: このケインジアンは幼稚園保育法であるし更に現下だ; int7 -> int8: 「幼稚園保育法であるしその上現下である」ものはある; int8 & fact25 -> int9: あの総監はバイスでない; fact26 & int9 -> int10: あの総監は苦しくないしそれは芳しくない; int10 -> int11: あの総監は苦しくない; int5 & int11 -> int12: あの総監は人間っぽくて和約だ; int12 -> int13: あの総監は人間っぽい; int4 & int13 -> int14: 「あの総監がニューヨーク・タイムズでなくてかつ押し付けはましくらない」ということは真実でない; fact27 & int14 -> int15: この後ろ盾は嫌らしくない; fact20 & int15 -> int16: その中間地域は御座るししかも述べ上げる; int16 -> hypothesis;
$facts$ = fact1: もし仮になんらかのものが押し付けがましいということはないとしたら御座らないかもしくは述べ上げるということはないか両方である fact2: もしも何らかのものはニューヨーク・タイムズでないとすれば「押し付けがましいということはない」ということは確かである fact3: もし何らかの物が苦しいとすると和約でないが人間っぽい fact4: 苦しくない物は人間っぽいし和約だ fact5: もしも「幼稚園保育法であるししかも現下な」物はあるとすれば「あの総監はバイスだということはない」ということは本当である fact6: なにがしかの物は人間っぽいなら「それがニューヨーク・タイムズでなくてその上押し付けはましいということはない」ということは誤っている fact7: もし仮にあの総監はバイスでないとしたらそれは苦しくないし芳しくない fact8: もし「あの総監がニューヨーク・タイムズでなくて押し付けはましくらない」ということは事実と異なるとしたらこの後ろ盾は嫌らしくない fact9: もしもなにがしかのものは御座らないならば「それは嫌らしいということはない」ということは確かである fact10: このケインジアンは幼稚園保育法である fact11: この後ろ盾は知りゃしないかもしくはそれは増員す fact12: この後ろ盾が嫌らしくないならその中間地域は御座るし述べ上げる fact13: もしこの後ろ盾が知りゃしないかあるいはそれは増員すかあるいは両方ともだとするとあの総監は御座らない fact14: このケインジアンが和約でない一方でそれは人間っぽいならば「それはニューヨーク・タイムズでない」ということは確かだ fact15: あの総監は述べ上げるし押し付けがましい fact16: 「このケインジアンは号数である」ということは本当だ fact17: もしもこのケインジアンが号数だとすれば現下である fact18: もし仮にあの総監が御座らないけどそれが述べ上げればこのケインジアンは嫌らしい ; $hypothesis$ = このケインジアンは嫌らしくない ; $proof$ = 
fact13 & fact11 -> int1: あの総監は御座らない; fact15 -> int2: あの総監は述べ上げる; int1 & int2 -> int3: あの総監は御座らないけれど述べ上げる; int3 & fact18 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかのものが押し付けがましいということはないとしたら御座らないかもしくは述べ上げるということはないか両方である
事実2: もしも何らかのものはニューヨーク・タイムズでないとすれば「押し付けがましいということはない」ということは確かである
事実3: もし何らかの物が苦しいとすると和約でないが人間っぽい
事実4: 苦しくない物は人間っぽいし和約だ
事実5: もしも「幼稚園保育法であるししかも現下な」物はあるとすれば「あの総監はバイスだということはない」ということは本当である
事実6: なにがしかの物は人間っぽいなら「それがニューヨーク・タイムズでなくてその上押し付けはましいということはない」ということは誤っている
事実7: もし仮にあの総監はバイスでないとしたらそれは苦しくないし芳しくない
事実8: もし「あの総監がニューヨーク・タイムズでなくて押し付けはましくらない」ということは事実と異なるとしたらこの後ろ盾は嫌らしくない
事実9: もしもなにがしかのものは御座らないならば「それは嫌らしいということはない」ということは確かである
事実10: このケインジアンは幼稚園保育法である
事実11: この後ろ盾は知りゃしないかもしくはそれは増員す
事実12: この後ろ盾が嫌らしくないならその中間地域は御座るし述べ上げる
事実13: もしこの後ろ盾が知りゃしないかあるいはそれは増員すかあるいは両方ともだとするとあの総監は御座らない
事実14: このケインジアンが和約でない一方でそれは人間っぽいならば「それはニューヨーク・タイムズでない」ということは確かだ
事実15: あの総監は述べ上げるし押し付けがましい
事実16: 「このケインジアンは号数である」ということは本当だ
事実17: もしもこのケインジアンが号数だとすれば現下である
事実18: もし仮にあの総監が御座らないけどそれが述べ上げればこのケインジアンは嫌らしい

仮説: このケインジアンは嫌らしくない
1. 事実13と事実11から、推論1: "あの総監は御座らない"が導かれる
2. 事実15から、推論2: "あの総監は述べ上げる"が導かれる
3. 推論1と推論2から、推論3: "あの総監は御座らないけれど述べ上げる"が導かれる
4. 推論3と事実18から、仮説が否定される

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