この成体脊髄はＸＰである
fact1: この成体脊髄は療養環境だ fact2: もし仮に「なにがしかの物はＸＰでなくてかつ式ファンだということはない」ということは間違いだとしたらそれはＸＰだ fact3: この成体脊髄は式ファンであるとすればそれはＸＰでない fact4: 「この御返事は急停止するし更に療養環境だ」ということは正しくないとするとあの取り潰しは療養環境でない fact5: もし仮になにがしかの物が式ファンであるかもしくはそれは療養環境であるかあるいは両方であるとすればそれはＸＰでない fact6: 式ファンはＸＰであるということはない fact7: もしもあの取り潰しは療養環境でないとしたら「「この成体脊髄はＸＰでなくて式ファンでない」ということは真実でない」ということは成り立つ
fact1 -> int1: この成体脊髄は式ファンであるかまたは療養環境だ; fact5 -> int2: 仮にこの成体脊髄が式ファンであるかそれが療養環境だとしたらそれはＸＰであるということはない; int1 & int2 -> hypothesis;
fact1 -> int1: ({A}{a} v {B}{a}); fact5 -> int2: ({A}{a} v {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
この成体脊髄はＸＰだ
fact10 -> int3: もし仮に「この成体脊髄はＸＰでなくてしかも式ファンでない」ということは嘘であるとするとＸＰだ;
$facts$ = fact1: この成体脊髄は療養環境だ fact2: もし仮に「なにがしかの物はＸＰでなくてかつ式ファンだということはない」ということは間違いだとしたらそれはＸＰだ fact3: この成体脊髄は式ファンであるとすればそれはＸＰでない fact4: 「この御返事は急停止するし更に療養環境だ」ということは正しくないとするとあの取り潰しは療養環境でない fact5: もし仮になにがしかの物が式ファンであるかもしくはそれは療養環境であるかあるいは両方であるとすればそれはＸＰでない fact6: 式ファンはＸＰであるということはない fact7: もしもあの取り潰しは療養環境でないとしたら「「この成体脊髄はＸＰでなくて式ファンでない」ということは真実でない」ということは成り立つ ; $hypothesis$ = この成体脊髄はＸＰである ; $proof$ = 
fact1 -> int1: この成体脊髄は式ファンであるかまたは療養環境だ; fact5 -> int2: 仮にこの成体脊髄が式ファンであるかそれが療養環境だとしたらそれはＸＰであるということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この成体脊髄は療養環境だ
事実2: もし仮に「なにがしかの物はＸＰでなくてかつ式ファンだということはない」ということは間違いだとしたらそれはＸＰだ
事実3: この成体脊髄は式ファンであるとすればそれはＸＰでない
事実4: 「この御返事は急停止するし更に療養環境だ」ということは正しくないとするとあの取り潰しは療養環境でない
事実5: もし仮になにがしかの物が式ファンであるかもしくはそれは療養環境であるかあるいは両方であるとすればそれはＸＰでない
事実6: 式ファンはＸＰであるということはない
事実7: もしもあの取り潰しは療養環境でないとしたら「「この成体脊髄はＸＰでなくて式ファンでない」ということは真実でない」ということは成り立つ

仮説: この成体脊髄はＸＰである
1. 事実1から、推論1: "この成体脊髄は式ファンであるかまたは療養環境だ"が導かれる
2. 事実5から、推論2: "仮にこの成体脊髄が式ファンであるかそれが療養環境だとしたらそれはＸＰであるということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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