あの逆転現象は追っ払う
fact1: 「追っ払わない」ものはある fact2: 「「「飲食しないしかつ通夜でない」ということは事実である」ものはある」ということは真実であるとするとあの逆転現象は追っ払わない fact3: もしもあのロングゲインが幅広くなくてまた住み込まないとするとあの逆転現象は通夜でない fact4: もし仮にあの逆転現象が追っ払わない一方で飲食するならこの連なりは飲食しない fact5: とある物は飲食しなくてそれに通夜でない fact6: もし仮にあのロングゲインが飲食するとするとあの逆転現象は追っ払う fact7: とある物は飲食しない一方で通夜である
fact5 & fact2 -> hypothesis;
fact5 & fact2 -> hypothesis;
この連なりは飲食しない
$facts$ = fact1: 「追っ払わない」ものはある fact2: 「「「飲食しないしかつ通夜でない」ということは事実である」ものはある」ということは真実であるとするとあの逆転現象は追っ払わない fact3: もしもあのロングゲインが幅広くなくてまた住み込まないとするとあの逆転現象は通夜でない fact4: もし仮にあの逆転現象が追っ払わない一方で飲食するならこの連なりは飲食しない fact5: とある物は飲食しなくてそれに通夜でない fact6: もし仮にあのロングゲインが飲食するとするとあの逆転現象は追っ払う fact7: とある物は飲食しない一方で通夜である ; $hypothesis$ = あの逆転現象は追っ払う ; $proof$ = 
fact5 & fact2 -> hypothesis; __DISPROVED__
事実1: 「追っ払わない」ものはある
事実2: 「「「飲食しないしかつ通夜でない」ということは事実である」ものはある」ということは真実であるとするとあの逆転現象は追っ払わない
事実3: もしもあのロングゲインが幅広くなくてまた住み込まないとするとあの逆転現象は通夜でない
事実4: もし仮にあの逆転現象が追っ払わない一方で飲食するならこの連なりは飲食しない
事実5: とある物は飲食しなくてそれに通夜でない
事実6: もし仮にあのロングゲインが飲食するとするとあの逆転現象は追っ払う
事実7: とある物は飲食しない一方で通夜である

仮説: あの逆転現象は追っ払う
1. 事実5と事実2から、仮説が否定される

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