「この自重が小渕政権だしそれにそれは曲解する」ということは事実でない
fact1: この自重が曲解するしその上しゃあ無い fact2: もしも「あるものは小渕政権でない」ということは真実だとしたら「しゃあ無いし談論風発する」ということは成り立つ fact3: この自重が術前診断でない一方で小渕政権だとすればこの連帯責任は小渕政権でない fact4: あの選挙演説は曲解するし纏め上げる fact5: 仮にとある物が曲解しないとすれば術前診断であるということはない一方で小渕政権だ fact6: この自重は談論風発しないがしかしそれは小渕政権だ
fact6 -> int1: この自重は小渕政権だ; fact1 -> int2: この自重は曲解する; int1 & int2 -> hypothesis;
fact6 -> int1: {B}{a}; fact1 -> int2: {C}{a}; int1 & int2 -> hypothesis;
この連帯責任はしゃあ無い
fact8 -> int3: もし仮にこの連帯責任は小渕政権でないならそれはしゃあ無くておまけに談論風発する; fact7 -> int4: もしこの自重が曲解しないならばそれは術前診断でないけれど小渕政権だ;
$facts$ = fact1: この自重が曲解するしその上しゃあ無い fact2: もしも「あるものは小渕政権でない」ということは真実だとしたら「しゃあ無いし談論風発する」ということは成り立つ fact3: この自重が術前診断でない一方で小渕政権だとすればこの連帯責任は小渕政権でない fact4: あの選挙演説は曲解するし纏め上げる fact5: 仮にとある物が曲解しないとすれば術前診断であるということはない一方で小渕政権だ fact6: この自重は談論風発しないがしかしそれは小渕政権だ ; $hypothesis$ = 「この自重が小渕政権だしそれにそれは曲解する」ということは事実でない ; $proof$ = 
fact6 -> int1: この自重は小渕政権だ; fact1 -> int2: この自重は曲解する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この自重が曲解するしその上しゃあ無い
事実2: もしも「あるものは小渕政権でない」ということは真実だとしたら「しゃあ無いし談論風発する」ということは成り立つ
事実3: この自重が術前診断でない一方で小渕政権だとすればこの連帯責任は小渕政権でない
事実4: あの選挙演説は曲解するし纏め上げる
事実5: 仮にとある物が曲解しないとすれば術前診断であるということはない一方で小渕政権だ
事実6: この自重は談論風発しないがしかしそれは小渕政権だ

仮説: 「この自重が小渕政権だしそれにそれは曲解する」ということは事実でない
1. 事実6から、推論1: "この自重は小渕政権だ"が導かれる
2. 事実1から、推論2: "この自重は曲解する"が導かれる
3. 推論1と推論2から、仮説が否定される

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