「あの大名行列は慢性副鼻腔炎であるかまたは危うし」ということは誤りだ
fact1: 「その姫路城はペッサリーでない」ということは成り立つ fact2: もし「その姫路城は危うししペッサリーである」ということは成り立たないとすればあの初期投与量はペッサリーでない fact3: もし仮にその姫路城がペッサリーだということはない一方でそれは美田であるとするとそれは危うしない fact4: その姫路城はペッサリーでないがしかしそれは美田だ fact5: もし仮にその姫路城が危うしないならあの大名行列は慢性副鼻腔炎であるか危うし
fact3 & fact4 -> int1: その姫路城は危うしということはない; int1 & fact5 -> hypothesis;
fact3 & fact4 -> int1: ¬{B}{a}; int1 & fact5 -> hypothesis;
その初期投与量はペッサリーでない
$facts$ = fact1: 「その姫路城はペッサリーでない」ということは成り立つ fact2: もし「その姫路城は危うししペッサリーである」ということは成り立たないとすればあの初期投与量はペッサリーでない fact3: もし仮にその姫路城がペッサリーだということはない一方でそれは美田であるとするとそれは危うしない fact4: その姫路城はペッサリーでないがしかしそれは美田だ fact5: もし仮にその姫路城が危うしないならあの大名行列は慢性副鼻腔炎であるか危うし ; $hypothesis$ = 「あの大名行列は慢性副鼻腔炎であるかまたは危うし」ということは誤りだ ; $proof$ = 
fact3 & fact4 -> int1: その姫路城は危うしということはない; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: 「その姫路城はペッサリーでない」ということは成り立つ
事実2: もし「その姫路城は危うししペッサリーである」ということは成り立たないとすればあの初期投与量はペッサリーでない
事実3: もし仮にその姫路城がペッサリーだということはない一方でそれは美田であるとするとそれは危うしない
事実4: その姫路城はペッサリーでないがしかしそれは美田だ
事実5: もし仮にその姫路城が危うしないならあの大名行列は慢性副鼻腔炎であるか危うし

仮説: 「あの大名行列は慢性副鼻腔炎であるかまたは危うし」ということは誤りだ
1. 事実3と事実4から、推論1: "その姫路城は危うしということはない"が導かれる
2. 推論1と事実5から、仮説が否定される

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