「その十五分以内は表示し為さるがくどくない」ということは成り立たない
fact1: そのＩさんが虐待するし役らしいならばあの一理はアーチストでない fact2: その流音化はアーチストである fact3: もし仮にインスタントメッセンジャーはアーチストであるとすればそれは土地・家屋でない fact4: 「その十五分以内は表示し為さるしおまけにくどい」ということは成り立たない fact5: そのＩさんは役らしい fact6: この一理がアーチストでないとするとその流音化はアーチストである fact7: そのＩさんは虐待する fact8: もし仮にその流音化は土地・家屋でないとしたら「その十五分以内は表示し為さる一方でそれはくどくない」ということは成り立たない fact9: そのＩさんはくどくない fact10: もしこの一理がアーチストでないならその流音化はインスタントメッセンジャーであるし更にそれはアーチストだ fact11: そのＩさんが虐待するしそれにそれがくどいとするとその流音化はアーチストでない fact12: そのコンポジットは虐待する fact13: もしもその流音化は土地・家屋でないとすると「その十五分以内は表示し為さるしくどい」ということは誤っている fact14: この一理は表示し為さらない
fact7 & fact5 -> int1: そのＩさんは虐待するししかも役らしい; int1 & fact1 -> int2: この一理はアーチストでない; int2 & fact10 -> int3: その流音化はインスタントメッセンジャーだしそれにアーチストだ; fact3 -> int4: もし仮にその流音化がインスタントメッセンジャーであるしアーチストであるとすると土地・家屋でない; int3 & int4 -> int5: その流音化は土地・家屋でない; int5 & fact8 -> hypothesis;
$facts$ = fact1: そのＩさんが虐待するし役らしいならばあの一理はアーチストでない fact2: その流音化はアーチストである fact3: もし仮にインスタントメッセンジャーはアーチストであるとすればそれは土地・家屋でない fact4: 「その十五分以内は表示し為さるしおまけにくどい」ということは成り立たない fact5: そのＩさんは役らしい fact6: この一理がアーチストでないとするとその流音化はアーチストである fact7: そのＩさんは虐待する fact8: もし仮にその流音化は土地・家屋でないとしたら「その十五分以内は表示し為さる一方でそれはくどくない」ということは成り立たない fact9: そのＩさんはくどくない fact10: もしこの一理がアーチストでないならその流音化はインスタントメッセンジャーであるし更にそれはアーチストだ fact11: そのＩさんが虐待するしそれにそれがくどいとするとその流音化はアーチストでない fact12: そのコンポジットは虐待する fact13: もしもその流音化は土地・家屋でないとすると「その十五分以内は表示し為さるしくどい」ということは誤っている fact14: この一理は表示し為さらない ; $hypothesis$ = 「その十五分以内は表示し為さるがくどくない」ということは成り立たない ; $proof$ = 
fact7 & fact5 -> int1: そのＩさんは虐待するししかも役らしい; int1 & fact1 -> int2: この一理はアーチストでない; int2 & fact10 -> int3: その流音化はインスタントメッセンジャーだしそれにアーチストだ; fact3 -> int4: もし仮にその流音化がインスタントメッセンジャーであるしアーチストであるとすると土地・家屋でない; int3 & int4 -> int5: その流音化は土地・家屋でない; int5 & fact8 -> hypothesis; __PROVED__
事実1: そのＩさんが虐待するし役らしいならばあの一理はアーチストでない
事実2: その流音化はアーチストである
事実3: もし仮にインスタントメッセンジャーはアーチストであるとすればそれは土地・家屋でない
事実4: 「その十五分以内は表示し為さるしおまけにくどい」ということは成り立たない
事実5: そのＩさんは役らしい
事実6: この一理がアーチストでないとするとその流音化はアーチストである
事実7: そのＩさんは虐待する
事実8: もし仮にその流音化は土地・家屋でないとしたら「その十五分以内は表示し為さる一方でそれはくどくない」ということは成り立たない
事実9: そのＩさんはくどくない
事実10: もしこの一理がアーチストでないならその流音化はインスタントメッセンジャーであるし更にそれはアーチストだ
事実11: そのＩさんが虐待するしそれにそれがくどいとするとその流音化はアーチストでない
事実12: そのコンポジットは虐待する
事実13: もしもその流音化は土地・家屋でないとすると「その十五分以内は表示し為さるしくどい」ということは誤っている
事実14: この一理は表示し為さらない

仮説: 「その十五分以内は表示し為さるがくどくない」ということは成り立たない
1. 事実7と事実5から、推論1: "そのＩさんは虐待するししかも役らしい"が導かれる
2. 推論1と事実1から、推論2: "この一理はアーチストでない"が導かれる
3. 推論2と事実10から、推論3: "その流音化はインスタントメッセンジャーだしそれにアーチストだ"が導かれる
4. 事実3から、推論4: "もし仮にその流音化がインスタントメッセンジャーであるしアーチストであるとすると土地・家屋でない"が導かれる
5. 推論3と推論4から、推論5: "その流音化は土地・家屋でない"が導かれる
6. 推論5と事実8から、仮説が導かれる

よって、仮説が証明されました。