この理解・解釈は狂喜するしおまけに嚥下する
fact1: 何らかの物は女らしくないならば「狂喜するしさらにそれは嚥下する」ということは真実だということはない fact2: もしあのＴＭ構造体が狂喜しないとしたらこの理解・解釈は女らしい fact3: この理解・解釈は嚥下する fact4: 「あのＴＭ構造体が狂喜しないならばこの理解・解釈は嚥下するしさらに女らしい」ということは本当だ fact5: もし仮にあのＴＭ構造体が女らしくないとするとこの理解・解釈は嚥下する fact6: あのＴＭ構造体が女らしくないならばこの理解・解釈は狂喜するしおまけにそれは嚥下する fact7: 「この理解・解釈は心室中隔欠損症だ」ということは確かだ fact8: あのＴＭ構造体は女らしくない fact9: もし仮にこの理解・解釈が女らしくないとすればあのＴＭ構造体は嚥下するし狂喜する fact10: 「この理解・解釈は女らしい」ということは事実だ fact11: あのＴＭ構造体は狂喜しない
fact6 & fact8 -> hypothesis;
fact6 & fact8 -> hypothesis;
「この理解・解釈は狂喜するし嚥下する」ということは間違いである
fact12 -> int1: もしこの理解・解釈は女らしくないなら「それは狂喜するしそれにそれは嚥下する」ということは成り立たない;
$facts$ = fact1: 何らかの物は女らしくないならば「狂喜するしさらにそれは嚥下する」ということは真実だということはない fact2: もしあのＴＭ構造体が狂喜しないとしたらこの理解・解釈は女らしい fact3: この理解・解釈は嚥下する fact4: 「あのＴＭ構造体が狂喜しないならばこの理解・解釈は嚥下するしさらに女らしい」ということは本当だ fact5: もし仮にあのＴＭ構造体が女らしくないとするとこの理解・解釈は嚥下する fact6: あのＴＭ構造体が女らしくないならばこの理解・解釈は狂喜するしおまけにそれは嚥下する fact7: 「この理解・解釈は心室中隔欠損症だ」ということは確かだ fact8: あのＴＭ構造体は女らしくない fact9: もし仮にこの理解・解釈が女らしくないとすればあのＴＭ構造体は嚥下するし狂喜する fact10: 「この理解・解釈は女らしい」ということは事実だ fact11: あのＴＭ構造体は狂喜しない ; $hypothesis$ = この理解・解釈は狂喜するしおまけに嚥下する ; $proof$ = 
fact6 & fact8 -> hypothesis; __PROVED__
事実1: 何らかの物は女らしくないならば「狂喜するしさらにそれは嚥下する」ということは真実だということはない
事実2: もしあのＴＭ構造体が狂喜しないとしたらこの理解・解釈は女らしい
事実3: この理解・解釈は嚥下する
事実4: 「あのＴＭ構造体が狂喜しないならばこの理解・解釈は嚥下するしさらに女らしい」ということは本当だ
事実5: もし仮にあのＴＭ構造体が女らしくないとするとこの理解・解釈は嚥下する
事実6: あのＴＭ構造体が女らしくないならばこの理解・解釈は狂喜するしおまけにそれは嚥下する
事実7: 「この理解・解釈は心室中隔欠損症だ」ということは確かだ
事実8: あのＴＭ構造体は女らしくない
事実9: もし仮にこの理解・解釈が女らしくないとすればあのＴＭ構造体は嚥下するし狂喜する
事実10: 「この理解・解釈は女らしい」ということは事実だ
事実11: あのＴＭ構造体は狂喜しない

仮説: この理解・解釈は狂喜するしおまけに嚥下する
1. 事実6と事実8から、仮説が導かれる

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