このクーポン利息収入は奥床しくない
fact1: 「このごまかしは触れ込みだし紛らわしい」ということは間違っているとしたらこの津田殿は紛らわしいということはない fact2: 仮にこの撮像方法は紛らわしくないとしたら「それはビールだしそれに奥床しい」ということは本当である fact3: この洗いはドイツ文化だ fact4: このコントロールプロパティがぎこちないならばこのクーポン利息収入は奥床しくない fact5: 「仮にこの撮像方法がドイツ文化であるとすればこのコントロールプロパティはぎこちない」ということは偽でない fact6: もし「この撮像方法は奥床しくないかあるいはドイツ文化でないかどちらもである」ということは嘘だとするとこのクーポン利息収入は奥床しい fact7: このクーポン利息収入がビールだとすればこの撮像方法はドイツ文化でない fact8: この撮像方法はビールだ fact9: この撮像方法はドイツ文化であるし加えてそれはビールである
fact9 -> int1: この撮像方法はドイツ文化である; int1 & fact5 -> int2: このコントロールプロパティはぎこちない; int2 & fact4 -> hypothesis;
このクーポン利息収入は奥床しい
$facts$ = fact1: 「このごまかしは触れ込みだし紛らわしい」ということは間違っているとしたらこの津田殿は紛らわしいということはない fact2: 仮にこの撮像方法は紛らわしくないとしたら「それはビールだしそれに奥床しい」ということは本当である fact3: この洗いはドイツ文化だ fact4: このコントロールプロパティがぎこちないならばこのクーポン利息収入は奥床しくない fact5: 「仮にこの撮像方法がドイツ文化であるとすればこのコントロールプロパティはぎこちない」ということは偽でない fact6: もし「この撮像方法は奥床しくないかあるいはドイツ文化でないかどちらもである」ということは嘘だとするとこのクーポン利息収入は奥床しい fact7: このクーポン利息収入がビールだとすればこの撮像方法はドイツ文化でない fact8: この撮像方法はビールだ fact9: この撮像方法はドイツ文化であるし加えてそれはビールである ; $hypothesis$ = このクーポン利息収入は奥床しくない ; $proof$ = 
fact9 -> int1: この撮像方法はドイツ文化である; int1 & fact5 -> int2: このコントロールプロパティはぎこちない; int2 & fact4 -> hypothesis; __PROVED__
事実1: 「このごまかしは触れ込みだし紛らわしい」ということは間違っているとしたらこの津田殿は紛らわしいということはない
事実2: 仮にこの撮像方法は紛らわしくないとしたら「それはビールだしそれに奥床しい」ということは本当である
事実3: この洗いはドイツ文化だ
事実4: このコントロールプロパティがぎこちないならばこのクーポン利息収入は奥床しくない
事実5: 「仮にこの撮像方法がドイツ文化であるとすればこのコントロールプロパティはぎこちない」ということは偽でない
事実6: もし「この撮像方法は奥床しくないかあるいはドイツ文化でないかどちらもである」ということは嘘だとするとこのクーポン利息収入は奥床しい
事実7: このクーポン利息収入がビールだとすればこの撮像方法はドイツ文化でない
事実8: この撮像方法はビールだ
事実9: この撮像方法はドイツ文化であるし加えてそれはビールである

仮説: このクーポン利息収入は奥床しくない
1. 事実9から、推論1: "この撮像方法はドイツ文化である"が導かれる
2. 推論1と事実5から、推論2: "このコントロールプロパティはぎこちない"が導かれる
3. 推論2と事実4から、仮説が導かれる

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