この警察権はレーダー探知器でない
fact1: 「この警察権は通い詰めるけれど鼻高々でない」ということは誤りであるとすると「それはレーダー探知器である」ということは成り立つ fact2: もしその栄冠は鼻高々だとすれば「掛け続けるし診療室でない」ということは成り立たない fact3: この警察権は安全保障体制である fact4: 「あの苦笑は長ける」ということは正しい fact5: 「この警察権は儚しけど奉納するということはない」ということは嘘であるとすればそれは鼻高々だ fact6: もし仮にその農民戸籍は鼻高々でないとしたらそれは当該要件だ fact7: 「この激変緩和措置は長ける」ということは真実だ fact8: 「この警察権は長ける」ということは正しい fact9: もしもこの警察権はレーダー探知器でないとすると分厚い fact10: この警察権はばら蒔く fact11: 仮にこの警察権は耕作放棄だとしたら「守り易いけど当該要件でない」ということは事実と異なる fact12: この警察権は長けるとすれば「それは通い詰めるけれど鼻高々でない」ということは真実であるということはない fact13: 「「「この警察権は長けるけれど打ちでない」ということは成り立つ」ということは成り立たないならばこの警察権は講説だ」ということは成り立つ fact14: 「この警察権が通い詰めるしその上それは鼻高々である」ということは間違っている fact15: もし「このタキシード姿は頭蓋底だけど大量生産しない」ということは成り立たないとしたらそれは注意す fact16: あの藩屏は長ける fact17: もし仮にこの冷却管は当該要件であるとすれば「それはレーダー探知器だがしかし軽擦法ストロークでない」ということは成り立つということはない
fact12 & fact8 -> int1: 「この警察権は通い詰める一方で鼻高々でない」ということは間違いである; int1 & fact1 -> hypothesis;
fact12 & fact8 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 & fact1 -> hypothesis;
$facts$ = fact1: 「この警察権は通い詰めるけれど鼻高々でない」ということは誤りであるとすると「それはレーダー探知器である」ということは成り立つ fact2: もしその栄冠は鼻高々だとすれば「掛け続けるし診療室でない」ということは成り立たない fact3: この警察権は安全保障体制である fact4: 「あの苦笑は長ける」ということは正しい fact5: 「この警察権は儚しけど奉納するということはない」ということは嘘であるとすればそれは鼻高々だ fact6: もし仮にその農民戸籍は鼻高々でないとしたらそれは当該要件だ fact7: 「この激変緩和措置は長ける」ということは真実だ fact8: 「この警察権は長ける」ということは正しい fact9: もしもこの警察権はレーダー探知器でないとすると分厚い fact10: この警察権はばら蒔く fact11: 仮にこの警察権は耕作放棄だとしたら「守り易いけど当該要件でない」ということは事実と異なる fact12: この警察権は長けるとすれば「それは通い詰めるけれど鼻高々でない」ということは真実であるということはない fact13: 「「「この警察権は長けるけれど打ちでない」ということは成り立つ」ということは成り立たないならばこの警察権は講説だ」ということは成り立つ fact14: 「この警察権が通い詰めるしその上それは鼻高々である」ということは間違っている fact15: もし「このタキシード姿は頭蓋底だけど大量生産しない」ということは成り立たないとしたらそれは注意す fact16: あの藩屏は長ける fact17: もし仮にこの冷却管は当該要件であるとすれば「それはレーダー探知器だがしかし軽擦法ストロークでない」ということは成り立つということはない ; $hypothesis$ = この警察権はレーダー探知器でない ; $proof$ = 
fact12 & fact8 -> int1: 「この警察権は通い詰める一方で鼻高々でない」ということは間違いである; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: 「この警察権は通い詰めるけれど鼻高々でない」ということは誤りであるとすると「それはレーダー探知器である」ということは成り立つ
事実2: もしその栄冠は鼻高々だとすれば「掛け続けるし診療室でない」ということは成り立たない
事実3: この警察権は安全保障体制である
事実4: 「あの苦笑は長ける」ということは正しい
事実5: 「この警察権は儚しけど奉納するということはない」ということは嘘であるとすればそれは鼻高々だ
事実6: もし仮にその農民戸籍は鼻高々でないとしたらそれは当該要件だ
事実7: 「この激変緩和措置は長ける」ということは真実だ
事実8: 「この警察権は長ける」ということは正しい
事実9: もしもこの警察権はレーダー探知器でないとすると分厚い
事実10: この警察権はばら蒔く
事実11: 仮にこの警察権は耕作放棄だとしたら「守り易いけど当該要件でない」ということは事実と異なる
事実12: この警察権は長けるとすれば「それは通い詰めるけれど鼻高々でない」ということは真実であるということはない
事実13: 「「「この警察権は長けるけれど打ちでない」ということは成り立つ」ということは成り立たないならばこの警察権は講説だ」ということは成り立つ
事実14: 「この警察権が通い詰めるしその上それは鼻高々である」ということは間違っている
事実15: もし「このタキシード姿は頭蓋底だけど大量生産しない」ということは成り立たないとしたらそれは注意す
事実16: あの藩屏は長ける
事実17: もし仮にこの冷却管は当該要件であるとすれば「それはレーダー探知器だがしかし軽擦法ストロークでない」ということは成り立つということはない

仮説: この警察権はレーダー探知器でない
1. 事実12と事実8から、推論1: "「この警察権は通い詰める一方で鼻高々でない」ということは間違いである"が導かれる
2. 推論1と事実1から、仮説が否定される

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