この総仕上げは類上皮細胞肉芽腫でない
fact1: もし仮にあるものが左室流出路でないとすれば類上皮細胞肉芽腫であるししかもそれは御出掛け下さる fact2: この総仕上げは御出掛け下さらない fact3: この総仕上げは御出掛け下さるということはないとすると「それは終結であるし当該事業計画等だ」ということは成り立つということはない fact4: もしこの総仕上げが御若くないならそれは彼女らしいということはない fact5: 仮にこの総仕上げは舌炎だということはないとすれば「変化し易くて若々しい」ということは嘘だ fact6: その判決は御出掛け下さらない fact7: もしも「ある物が終結だし更にそれは当該事業計画等である」ということは間違いだとするとそれは類上皮細胞肉芽腫だということはない
fact3 & fact2 -> int1: 「この総仕上げは終結であるしそれは当該事業計画等だ」ということは偽である; fact7 -> int2: 仮に「この総仕上げは終結であるしさらに当該事業計画等である」ということは成り立たないならば「類上皮細胞肉芽腫でない」ということは誤りでない; int1 & int2 -> hypothesis;
この総仕上げは類上皮細胞肉芽腫である
fact8 -> int3: もしもこの総仕上げが左室流出路でないとすれば類上皮細胞肉芽腫であるししかも御出掛け下さる;
$facts$ = fact1: もし仮にあるものが左室流出路でないとすれば類上皮細胞肉芽腫であるししかもそれは御出掛け下さる fact2: この総仕上げは御出掛け下さらない fact3: この総仕上げは御出掛け下さるということはないとすると「それは終結であるし当該事業計画等だ」ということは成り立つということはない fact4: もしこの総仕上げが御若くないならそれは彼女らしいということはない fact5: 仮にこの総仕上げは舌炎だということはないとすれば「変化し易くて若々しい」ということは嘘だ fact6: その判決は御出掛け下さらない fact7: もしも「ある物が終結だし更にそれは当該事業計画等である」ということは間違いだとするとそれは類上皮細胞肉芽腫だということはない ; $hypothesis$ = この総仕上げは類上皮細胞肉芽腫でない ; $proof$ = 
fact3 & fact2 -> int1: 「この総仕上げは終結であるしそれは当該事業計画等だ」ということは偽である; fact7 -> int2: 仮に「この総仕上げは終結であるしさらに当該事業計画等である」ということは成り立たないならば「類上皮細胞肉芽腫でない」ということは誤りでない; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮にあるものが左室流出路でないとすれば類上皮細胞肉芽腫であるししかもそれは御出掛け下さる
事実2: この総仕上げは御出掛け下さらない
事実3: この総仕上げは御出掛け下さるということはないとすると「それは終結であるし当該事業計画等だ」ということは成り立つということはない
事実4: もしこの総仕上げが御若くないならそれは彼女らしいということはない
事実5: 仮にこの総仕上げは舌炎だということはないとすれば「変化し易くて若々しい」ということは嘘だ
事実6: その判決は御出掛け下さらない
事実7: もしも「ある物が終結だし更にそれは当該事業計画等である」ということは間違いだとするとそれは類上皮細胞肉芽腫だということはない

仮説: この総仕上げは類上皮細胞肉芽腫でない
1. 事実3と事実2から、推論1: "「この総仕上げは終結であるしそれは当該事業計画等だ」ということは偽である"が導かれる
2. 事実7から、推論2: "仮に「この総仕上げは終結であるしさらに当該事業計画等である」ということは成り立たないならば「類上皮細胞肉芽腫でない」ということは誤りでない"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。