「この病みは駕洛国記でなくて加えてそれは四連スロットルでない」ということは成り立たない
fact1: 仮にあの十四号室は四連スロットルでないならば「「その監査報告書は薬臭いけど四連スロットルでない」ということは正しい」ということは事実でない fact2: 仮に「ある物は年輪でなくてそれは四連スロットルであるということはない」ということは成り立たないとしたら「支持しない」ということは正しい fact3: 「この病みは駕洛国記であるということはないけど四連スロットルである」ということは成り立つということはない fact4: 「もしもその監査報告書がちかちかする一方でそれが四連スロットルでないとするとこの病みは四連スロットルでない」ということは間違いでない fact5: その監査報告書が薬臭くないけど支持するとするとあの十四号室は四連スロットルでない fact6: もしあるものは駕洛国記でないなら「それは年輪でないし加えてそれは四連スロットルでない」ということは間違っている fact7: もし仮に「なにかは駕洛国記であるが脂っぽくない」ということは成り立たないとすればそれは駕洛国記でない fact8: あの十四号室は支持するということはない fact9: 年輪でまた脂っぽいという物はない fact10: その監査報告書は薬臭いということはないがそれは支持する fact11: その監査報告書は支持する fact12: もしあの十四号室は四連スロットルでないとしたら「この病みは駕洛国記でなくてしかもそれは四連スロットルでない」ということは偽である
fact5 & fact10 -> int1: あの十四号室は四連スロットルでない; int1 & fact12 -> hypothesis;
fact5 & fact10 -> int1: ¬{B}{b}; int1 & fact12 -> hypothesis;
あのエアコン付けＷは支持しない
fact15 -> int2: 「あのエアコン付けＷは年輪でなくてそれは四連スロットルでない」ということは成り立たないならそれは支持するということはない; fact14 -> int3: もしあのエアコン付けＷは駕洛国記でないとすると「それは年輪でないしまた四連スロットルでない」ということは成り立たない; fact13 -> int4: 仮に「あのエアコン付けＷは駕洛国記だがそれは脂っぽくない」ということは嘘であるとすれば「それは駕洛国記でない」ということは成り立つ;
$facts$ = fact1: 仮にあの十四号室は四連スロットルでないならば「「その監査報告書は薬臭いけど四連スロットルでない」ということは正しい」ということは事実でない fact2: 仮に「ある物は年輪でなくてそれは四連スロットルであるということはない」ということは成り立たないとしたら「支持しない」ということは正しい fact3: 「この病みは駕洛国記であるということはないけど四連スロットルである」ということは成り立つということはない fact4: 「もしもその監査報告書がちかちかする一方でそれが四連スロットルでないとするとこの病みは四連スロットルでない」ということは間違いでない fact5: その監査報告書が薬臭くないけど支持するとするとあの十四号室は四連スロットルでない fact6: もしあるものは駕洛国記でないなら「それは年輪でないし加えてそれは四連スロットルでない」ということは間違っている fact7: もし仮に「なにかは駕洛国記であるが脂っぽくない」ということは成り立たないとすればそれは駕洛国記でない fact8: あの十四号室は支持するということはない fact9: 年輪でまた脂っぽいという物はない fact10: その監査報告書は薬臭いということはないがそれは支持する fact11: その監査報告書は支持する fact12: もしあの十四号室は四連スロットルでないとしたら「この病みは駕洛国記でなくてしかもそれは四連スロットルでない」ということは偽である ; $hypothesis$ = 「この病みは駕洛国記でなくて加えてそれは四連スロットルでない」ということは成り立たない ; $proof$ = 
fact5 & fact10 -> int1: あの十四号室は四連スロットルでない; int1 & fact12 -> hypothesis; __PROVED__
事実1: 仮にあの十四号室は四連スロットルでないならば「「その監査報告書は薬臭いけど四連スロットルでない」ということは正しい」ということは事実でない
事実2: 仮に「ある物は年輪でなくてそれは四連スロットルであるということはない」ということは成り立たないとしたら「支持しない」ということは正しい
事実3: 「この病みは駕洛国記であるということはないけど四連スロットルである」ということは成り立つということはない
事実4: 「もしもその監査報告書がちかちかする一方でそれが四連スロットルでないとするとこの病みは四連スロットルでない」ということは間違いでない
事実5: その監査報告書が薬臭くないけど支持するとするとあの十四号室は四連スロットルでない
事実6: もしあるものは駕洛国記でないなら「それは年輪でないし加えてそれは四連スロットルでない」ということは間違っている
事実7: もし仮に「なにかは駕洛国記であるが脂っぽくない」ということは成り立たないとすればそれは駕洛国記でない
事実8: あの十四号室は支持するということはない
事実9: 年輪でまた脂っぽいという物はない
事実10: その監査報告書は薬臭いということはないがそれは支持する
事実11: その監査報告書は支持する
事実12: もしあの十四号室は四連スロットルでないとしたら「この病みは駕洛国記でなくてしかもそれは四連スロットルでない」ということは偽である

仮説: 「この病みは駕洛国記でなくて加えてそれは四連スロットルでない」ということは成り立たない
1. 事実5と事実10から、推論1: "あの十四号室は四連スロットルでない"が導かれる
2. 推論1と事実12から、仮説が導かれる

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