「その捜査官は狂態だがしかしそれは弛いということはない」ということは嘘である
fact1: そのイギリス史が弗素だとするとその捜査官が狂態だけどそれは弛いということはない fact2: 「そのイギリス史は弗素である」ということは事実であるならその捜査官は狂態だ fact3: その捜査官は狂態だ fact4: 「「ＲＶＰだし無量無辺である」ということは成り立たない」物はある fact5: 「「ＲＶＰだが無量無辺でない」ということは事実でない」ものはある fact6: もし仮に「「ＲＶＰであるし無量無辺でない」ということは成り立たない」ものがあるならそのイギリス史は弗素だ fact7: 「「狂態で加えて弛くない」ということは偽な」物はある fact8: 「「弗素だしまた弛い」ということは成り立たない」物はある fact9: もしも「「狂態でない」ということは確かな」ものがあるとすればその捜査官は弛い
fact5 & fact6 -> int1: 「そのイギリス史は弗素だ」ということは成り立つ; int1 & fact1 -> hypothesis;
$facts$ = fact1: そのイギリス史が弗素だとするとその捜査官が狂態だけどそれは弛いということはない fact2: 「そのイギリス史は弗素である」ということは事実であるならその捜査官は狂態だ fact3: その捜査官は狂態だ fact4: 「「ＲＶＰだし無量無辺である」ということは成り立たない」物はある fact5: 「「ＲＶＰだが無量無辺でない」ということは事実でない」ものはある fact6: もし仮に「「ＲＶＰであるし無量無辺でない」ということは成り立たない」ものがあるならそのイギリス史は弗素だ fact7: 「「狂態で加えて弛くない」ということは偽な」物はある fact8: 「「弗素だしまた弛い」ということは成り立たない」物はある fact9: もしも「「狂態でない」ということは確かな」ものがあるとすればその捜査官は弛い ; $hypothesis$ = 「その捜査官は狂態だがしかしそれは弛いということはない」ということは嘘である ; $proof$ = 
fact5 & fact6 -> int1: 「そのイギリス史は弗素だ」ということは成り立つ; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: そのイギリス史が弗素だとするとその捜査官が狂態だけどそれは弛いということはない
事実2: 「そのイギリス史は弗素である」ということは事実であるならその捜査官は狂態だ
事実3: その捜査官は狂態だ
事実4: 「「ＲＶＰだし無量無辺である」ということは成り立たない」物はある
事実5: 「「ＲＶＰだが無量無辺でない」ということは事実でない」ものはある
事実6: もし仮に「「ＲＶＰであるし無量無辺でない」ということは成り立たない」ものがあるならそのイギリス史は弗素だ
事実7: 「「狂態で加えて弛くない」ということは偽な」物はある
事実8: 「「弗素だしまた弛い」ということは成り立たない」物はある
事実9: もしも「「狂態でない」ということは確かな」ものがあるとすればその捜査官は弛い

仮説: 「その捜査官は狂態だがしかしそれは弛いということはない」ということは嘘である
1. 事実5と事実6から、推論1: "「そのイギリス史は弗素だ」ということは成り立つ"が導かれる
2. 推論1と事実1から、仮説が否定される

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