その日本語入力システムはどうして良い
fact1: 仮にあの司法書士訴訟が生すとすればあの日本語入力システムはどうして良くない fact2: 「あの司法書士訴訟は生すということはないけど雨筋汚れだ」ということは誤っている fact3: 「御漏らしするししかも振り抜く」ものはある fact4: その日本語入力システムはしつっこくない fact5: もしそのＫＢＳは説法しないとしたら「あの司法書士訴訟は生さないがしつっこい」ということは間違いだ fact6: もし仮にあの司法書士訴訟は説法するとしたら「そのＫＢＳはしつっこいということはない」ということは成り立つ fact7: 仮に「御漏らしするし振り抜く」ものがあればそのＫＢＳは説法しない fact8: 「もしも「あの司法書士訴訟は生さない一方でしつっこい」ということは成り立たないとすればその日本語入力システムはどうして良いということはない」ということは確かだ fact9: 仮にあるものは御漏らししないとしたら「どうして良い」ということは確かである fact10: 仮にそのＫＢＳは生さないししつっこくないならそれは説法する fact11: 「あの司法書士訴訟は生すし説法する」ということは嘘だ fact12: そのＫＢＳは生すとしたら「あの司法書士訴訟は説法しない」ということは成り立つ
fact3 & fact7 -> int1: 「そのＫＢＳは説法しない」ということは成り立つ; int1 & fact5 -> int2: 「あの司法書士訴訟は生さない一方でしつっこい」ということは成り立たない; int2 & fact8 -> hypothesis;
「その日本語入力システムはどうして良い」ということは確かである
fact14 -> int3: 「その日本語入力システムは御漏らししない」ということは確かであるとすればそれはどうして良い;
$facts$ = fact1: 仮にあの司法書士訴訟が生すとすればあの日本語入力システムはどうして良くない fact2: 「あの司法書士訴訟は生すということはないけど雨筋汚れだ」ということは誤っている fact3: 「御漏らしするししかも振り抜く」ものはある fact4: その日本語入力システムはしつっこくない fact5: もしそのＫＢＳは説法しないとしたら「あの司法書士訴訟は生さないがしつっこい」ということは間違いだ fact6: もし仮にあの司法書士訴訟は説法するとしたら「そのＫＢＳはしつっこいということはない」ということは成り立つ fact7: 仮に「御漏らしするし振り抜く」ものがあればそのＫＢＳは説法しない fact8: 「もしも「あの司法書士訴訟は生さない一方でしつっこい」ということは成り立たないとすればその日本語入力システムはどうして良いということはない」ということは確かだ fact9: 仮にあるものは御漏らししないとしたら「どうして良い」ということは確かである fact10: 仮にそのＫＢＳは生さないししつっこくないならそれは説法する fact11: 「あの司法書士訴訟は生すし説法する」ということは嘘だ fact12: そのＫＢＳは生すとしたら「あの司法書士訴訟は説法しない」ということは成り立つ ; $hypothesis$ = その日本語入力システムはどうして良い ; $proof$ = 
fact3 & fact7 -> int1: 「そのＫＢＳは説法しない」ということは成り立つ; int1 & fact5 -> int2: 「あの司法書士訴訟は生さない一方でしつっこい」ということは成り立たない; int2 & fact8 -> hypothesis; __DISPROVED__
事実1: 仮にあの司法書士訴訟が生すとすればあの日本語入力システムはどうして良くない
事実2: 「あの司法書士訴訟は生すということはないけど雨筋汚れだ」ということは誤っている
事実3: 「御漏らしするししかも振り抜く」ものはある
事実4: その日本語入力システムはしつっこくない
事実5: もしそのＫＢＳは説法しないとしたら「あの司法書士訴訟は生さないがしつっこい」ということは間違いだ
事実6: もし仮にあの司法書士訴訟は説法するとしたら「そのＫＢＳはしつっこいということはない」ということは成り立つ
事実7: 仮に「御漏らしするし振り抜く」ものがあればそのＫＢＳは説法しない
事実8: 「もしも「あの司法書士訴訟は生さない一方でしつっこい」ということは成り立たないとすればその日本語入力システムはどうして良いということはない」ということは確かだ
事実9: 仮にあるものは御漏らししないとしたら「どうして良い」ということは確かである
事実10: 仮にそのＫＢＳは生さないししつっこくないならそれは説法する
事実11: 「あの司法書士訴訟は生すし説法する」ということは嘘だ
事実12: そのＫＢＳは生すとしたら「あの司法書士訴訟は説法しない」ということは成り立つ

仮説: その日本語入力システムはどうして良い
1. 事実3と事実7から、推論1: "「そのＫＢＳは説法しない」ということは成り立つ"が導かれる
2. 推論1と事実5から、推論2: "「あの司法書士訴訟は生さない一方でしつっこい」ということは成り立たない"が導かれる
3. 推論2と事実8から、仮説が否定される

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