あのしゃぐじ空間は崇拝しない
fact1: あのしゃぐじ空間は崇拝するし指示語だ fact2: もし仮にあの楽学規範は良くないならば「それは四等分するし愛し」ということは成り立たない fact3: 仮になにがしかのものはつるつるしないならば崇拝しないが指示語である
fact1 -> hypothesis;
fact1 -> hypothesis;
あのしゃぐじ空間は崇拝しない
fact4 -> int1: もし仮にあのしゃぐじ空間がつるつるしないならば崇拝しない一方で指示語である;
$facts$ = fact1: あのしゃぐじ空間は崇拝するし指示語だ fact2: もし仮にあの楽学規範は良くないならば「それは四等分するし愛し」ということは成り立たない fact3: 仮になにがしかのものはつるつるしないならば崇拝しないが指示語である ; $hypothesis$ = あのしゃぐじ空間は崇拝しない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: あのしゃぐじ空間は崇拝するし指示語だ
事実2: もし仮にあの楽学規範は良くないならば「それは四等分するし愛し」ということは成り立たない
事実3: 仮になにがしかのものはつるつるしないならば崇拝しないが指示語である

仮説: あのしゃぐじ空間は崇拝しない
1. 事実1から、仮説が否定される

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