「この元大関は生々しいかまたはそれは逆上せ上がらないかもしくは両方である」ということは成り立たない
fact1: あの安全度はオントロジである fact2: 仮にその二十世紀中がそよふくとしたらあの安全度は逆上せ上がる fact3: もし仮に「ある物は馴れ馴れしいが生々しかない」ということは成り立つということはないならそれは馴れ馴れしくない fact4: もしもこの元大関がオントロジならばあの安全度は生々しい fact5: 仮にあの安全度がオントロジであるとすればこの元大関は生々しい fact6: もしもとある物が逆上せ上がればそれは馴れ馴れしくない
fact5 & fact1 -> int1: この元大関は生々しい; int1 -> hypothesis;
この元大関はオントロジであるかあるいは馴れ馴れしくないかあるいは両方である
fact8 -> int2: もし「この元大関は馴れ馴れしい一方でそれは生々しかない」ということは誤りであるとすると「馴れ馴れしくない」ということは本当である; fact7 -> int3: もし仮にあの安全度は逆上せ上がるとすると「馴れ馴れしくない」ということは本当である;
$facts$ = fact1: あの安全度はオントロジである fact2: 仮にその二十世紀中がそよふくとしたらあの安全度は逆上せ上がる fact3: もし仮に「ある物は馴れ馴れしいが生々しかない」ということは成り立つということはないならそれは馴れ馴れしくない fact4: もしもこの元大関がオントロジならばあの安全度は生々しい fact5: 仮にあの安全度がオントロジであるとすればこの元大関は生々しい fact6: もしもとある物が逆上せ上がればそれは馴れ馴れしくない ; $hypothesis$ = 「この元大関は生々しいかまたはそれは逆上せ上がらないかもしくは両方である」ということは成り立たない ; $proof$ = 
fact5 & fact1 -> int1: この元大関は生々しい; int1 -> hypothesis; __DISPROVED__
事実1: あの安全度はオントロジである
事実2: 仮にその二十世紀中がそよふくとしたらあの安全度は逆上せ上がる
事実3: もし仮に「ある物は馴れ馴れしいが生々しかない」ということは成り立つということはないならそれは馴れ馴れしくない
事実4: もしもこの元大関がオントロジならばあの安全度は生々しい
事実5: 仮にあの安全度がオントロジであるとすればこの元大関は生々しい
事実6: もしもとある物が逆上せ上がればそれは馴れ馴れしくない

仮説: 「この元大関は生々しいかまたはそれは逆上せ上がらないかもしくは両方である」ということは成り立たない
1. 事実5と事実1から、推論1: "この元大関は生々しい"が導かれる
2. 推論1から、仮説が否定される

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