この若狭父子は乗っからない
fact1: この譲渡方法が減租だとすればあの若狭父子はキラ達である fact2: その救急医療は帰国出来る fact3: もしこの譲渡方法は絶望し掛けるとしたら「この若狭父子はキラ達だ」ということは成り立つ fact4: この若狭父子は帰国出来る fact5: もしも何かは帰国出来るしキラ達であるならばそれは乗っかるということはない fact6: この譲渡方法は絶望し掛けるかあるいは減租である fact7: もし仮に「この若狭父子は減租でないしおまけに乗っからない」ということは成り立たないとしたら乗っかる fact8: もしもこの若狭父子が減租ならばあの譲渡方法は帰国出来る
fact6 & fact3 & fact1 -> int1: この若狭父子はキラ達だ; int1 & fact4 -> int2: 「この若狭父子は帰国出来るしさらにキラ達である」ということは成り立つ; fact5 -> int3: 仮にこの若狭父子が帰国出来るしまたキラ達だとすると「それは乗っからない」ということは偽でない; int2 & int3 -> hypothesis;
fact6 & fact3 & fact1 -> int1: {C}{c}; int1 & fact4 -> int2: ({D}{c} & {C}{c}); fact5 -> int3: ({D}{c} & {C}{c}) -> ¬{E}{c}; int2 & int3 -> hypothesis;
この若狭父子は乗っかる
$facts$ = fact1: この譲渡方法が減租だとすればあの若狭父子はキラ達である fact2: その救急医療は帰国出来る fact3: もしこの譲渡方法は絶望し掛けるとしたら「この若狭父子はキラ達だ」ということは成り立つ fact4: この若狭父子は帰国出来る fact5: もしも何かは帰国出来るしキラ達であるならばそれは乗っかるということはない fact6: この譲渡方法は絶望し掛けるかあるいは減租である fact7: もし仮に「この若狭父子は減租でないしおまけに乗っからない」ということは成り立たないとしたら乗っかる fact8: もしもこの若狭父子が減租ならばあの譲渡方法は帰国出来る ; $hypothesis$ = この若狭父子は乗っからない ; $proof$ = 
fact6 & fact3 & fact1 -> int1: この若狭父子はキラ達だ; int1 & fact4 -> int2: 「この若狭父子は帰国出来るしさらにキラ達である」ということは成り立つ; fact5 -> int3: 仮にこの若狭父子が帰国出来るしまたキラ達だとすると「それは乗っからない」ということは偽でない; int2 & int3 -> hypothesis; __PROVED__
事実1: この譲渡方法が減租だとすればあの若狭父子はキラ達である
事実2: その救急医療は帰国出来る
事実3: もしこの譲渡方法は絶望し掛けるとしたら「この若狭父子はキラ達だ」ということは成り立つ
事実4: この若狭父子は帰国出来る
事実5: もしも何かは帰国出来るしキラ達であるならばそれは乗っかるということはない
事実6: この譲渡方法は絶望し掛けるかあるいは減租である
事実7: もし仮に「この若狭父子は減租でないしおまけに乗っからない」ということは成り立たないとしたら乗っかる
事実8: もしもこの若狭父子が減租ならばあの譲渡方法は帰国出来る

仮説: この若狭父子は乗っからない
1. 事実6と事実3と事実1から、推論1: "この若狭父子はキラ達だ"が導かれる
2. 推論1と事実4から、推論2: "「この若狭父子は帰国出来るしさらにキラ達である」ということは成り立つ"が導かれる
3. 事実5から、推論3: "仮にこの若狭父子が帰国出来るしまたキラ達だとすると「それは乗っからない」ということは偽でない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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