その同会社は報道管制でない
fact1: あの北京政府は掻き易くない fact2: もしもその同会社が溶けるとすればそれは宣教しない fact3: もし仮になんらかの物は茹で零すとすると「それは報道管制だということはない」ということは真実である fact4: その同会社は間断無くないなら「インタビューするし正しいということはない」ということは偽である fact5: その同会社は見回りでないしかつ出し為さらない fact6: 「この二法はめでたしないしまたナビゲートしない」ということは誤っている fact7: その議会政治は扱き上げない fact8: 仮に「その同会社は正しくない」ということは成り立つとしたらそれは報道管制だ fact9: もしもその下喉頭神経が高度化しないしその上振興しないならおどろおどろしくない fact10: 仮にその同会社が扱き上げるということはないし茹で零さないならそれは正しいということはない fact11: その同会社は全面改装しない fact12: その同会社は貴方らしくない fact13: もしも「何かは掻き易くないしその上成し難くない」ということは成り立たないとするとそれは扱き上げない fact14: その同会社は茹で零さない fact15: 「その同会社は袍でないしさらにそれはっ屁でない」ということは成り立たない fact16: もし何かは捺印するとすればいとおしくない fact17: もしその同会社は全面改装するということはないとしたら「掻き易くないし加えて成し難くない」ということは嘘だ fact18: この鍼は茹で零さない fact19: もし仮に何かは報道管制であるなら茹で零すということはない
fact17 & fact11 -> int1: 「その同会社は掻き易くないしかつ成し難いということはない」ということは偽だ; fact13 -> int2: 「「その同会社は掻き易くないしそれは成し難くない」ということは事実である」ということは正しいということはないならそれは扱き上げない; int1 & int2 -> int3: 「その同会社は扱き上げる」ということは間違いである; int3 & fact14 -> int4: その同会社は扱き上げるということはないししかも茹で零さない; int4 & fact10 -> int5: その同会社は正しくない; int5 & fact8 -> hypothesis;
$facts$ = fact1: あの北京政府は掻き易くない fact2: もしもその同会社が溶けるとすればそれは宣教しない fact3: もし仮になんらかの物は茹で零すとすると「それは報道管制だということはない」ということは真実である fact4: その同会社は間断無くないなら「インタビューするし正しいということはない」ということは偽である fact5: その同会社は見回りでないしかつ出し為さらない fact6: 「この二法はめでたしないしまたナビゲートしない」ということは誤っている fact7: その議会政治は扱き上げない fact8: 仮に「その同会社は正しくない」ということは成り立つとしたらそれは報道管制だ fact9: もしもその下喉頭神経が高度化しないしその上振興しないならおどろおどろしくない fact10: 仮にその同会社が扱き上げるということはないし茹で零さないならそれは正しいということはない fact11: その同会社は全面改装しない fact12: その同会社は貴方らしくない fact13: もしも「何かは掻き易くないしその上成し難くない」ということは成り立たないとするとそれは扱き上げない fact14: その同会社は茹で零さない fact15: 「その同会社は袍でないしさらにそれはっ屁でない」ということは成り立たない fact16: もし何かは捺印するとすればいとおしくない fact17: もしその同会社は全面改装するということはないとしたら「掻き易くないし加えて成し難くない」ということは嘘だ fact18: この鍼は茹で零さない fact19: もし仮に何かは報道管制であるなら茹で零すということはない ; $hypothesis$ = その同会社は報道管制でない ; $proof$ = 
fact17 & fact11 -> int1: 「その同会社は掻き易くないしかつ成し難いということはない」ということは偽だ; fact13 -> int2: 「「その同会社は掻き易くないしそれは成し難くない」ということは事実である」ということは正しいということはないならそれは扱き上げない; int1 & int2 -> int3: 「その同会社は扱き上げる」ということは間違いである; int3 & fact14 -> int4: その同会社は扱き上げるということはないししかも茹で零さない; int4 & fact10 -> int5: その同会社は正しくない; int5 & fact8 -> hypothesis; __DISPROVED__
事実1: あの北京政府は掻き易くない
事実2: もしもその同会社が溶けるとすればそれは宣教しない
事実3: もし仮になんらかの物は茹で零すとすると「それは報道管制だということはない」ということは真実である
事実4: その同会社は間断無くないなら「インタビューするし正しいということはない」ということは偽である
事実5: その同会社は見回りでないしかつ出し為さらない
事実6: 「この二法はめでたしないしまたナビゲートしない」ということは誤っている
事実7: その議会政治は扱き上げない
事実8: 仮に「その同会社は正しくない」ということは成り立つとしたらそれは報道管制だ
事実9: もしもその下喉頭神経が高度化しないしその上振興しないならおどろおどろしくない
事実10: 仮にその同会社が扱き上げるということはないし茹で零さないならそれは正しいということはない
事実11: その同会社は全面改装しない
事実12: その同会社は貴方らしくない
事実13: もしも「何かは掻き易くないしその上成し難くない」ということは成り立たないとするとそれは扱き上げない
事実14: その同会社は茹で零さない
事実15: 「その同会社は袍でないしさらにそれはっ屁でない」ということは成り立たない
事実16: もし何かは捺印するとすればいとおしくない
事実17: もしその同会社は全面改装するということはないとしたら「掻き易くないし加えて成し難くない」ということは嘘だ
事実18: この鍼は茹で零さない
事実19: もし仮に何かは報道管制であるなら茹で零すということはない

仮説: その同会社は報道管制でない
1. 事実17と事実11から、推論1: "「その同会社は掻き易くないしかつ成し難いということはない」ということは偽だ"が導かれる
2. 事実13から、推論2: "「「その同会社は掻き易くないしそれは成し難くない」ということは事実である」ということは正しいということはないならそれは扱き上げない"が導かれる
3. 推論1と推論2から、推論3: "「その同会社は扱き上げる」ということは間違いである"が導かれる
4. 推論3と事実14から、推論4: "その同会社は扱き上げるということはないししかも茹で零さない"が導かれる
5. 推論4と事実10から、推論5: "その同会社は正しくない"が導かれる
6. 推論5と事実8から、仮説が否定される

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