あの御幾らはホテルでそれは厳格主義である
fact1: それは嘔吐するし加えて塗り易いというものはない fact2: なんらかの物はフランチェスコ派であるということはないとすると「ホテルであるしそれに求める」ということは嘘だ fact3: あの御幾らがフランチェスコ派だしそれはホテルだ fact4: それはホテルであるしその上厳格主義だというものはない fact5: それは痒いしその上願うというものはない fact6: 荒々しいしまたひょろ長いというものはない
fact4 -> hypothesis;
fact4 -> hypothesis;
「あのＩＴ導入はホテルで求める」ということは間違っている
fact7 -> int1: もし仮にあのＩＴ導入はフランチェスコ派でないなら「ホテルでその上求める」ということは偽である;
$facts$ = fact1: それは嘔吐するし加えて塗り易いというものはない fact2: なんらかの物はフランチェスコ派であるということはないとすると「ホテルであるしそれに求める」ということは嘘だ fact3: あの御幾らがフランチェスコ派だしそれはホテルだ fact4: それはホテルであるしその上厳格主義だというものはない fact5: それは痒いしその上願うというものはない fact6: 荒々しいしまたひょろ長いというものはない ; $hypothesis$ = あの御幾らはホテルでそれは厳格主義である ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: それは嘔吐するし加えて塗り易いというものはない
事実2: なんらかの物はフランチェスコ派であるということはないとすると「ホテルであるしそれに求める」ということは嘘だ
事実3: あの御幾らがフランチェスコ派だしそれはホテルだ
事実4: それはホテルであるしその上厳格主義だというものはない
事実5: それは痒いしその上願うというものはない
事実6: 荒々しいしまたひょろ長いというものはない

仮説: あの御幾らはホテルでそれは厳格主義である
1. 事実4から、仮説が否定される

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