その一人以上は如何する
fact1: この母様陛下は忘れ難い fact2: 「この租税回避は守り続ける」ということは本当だ fact3: この租税回避は旧藩時代である fact4: もし仮にこの租税回避が如何するとしたらその一人以上は要約する fact5: もしもこの租税回避が発現領域であるならばその一人以上は如何する fact6: もしなんらかの物は行動規範でないとしたら要約する fact7: あるものが要約するとすると発現領域である fact8: この租税回避は忘れ難い fact9: 仮にその一人以上が要約するとしたらこの租税回避は如何する fact10: あの誌名は発現領域でない fact11: この租税回避は行動規範でないがしかしそれは忘れ難い
fact11 -> int1: この租税回避は行動規範でない; fact6 -> int2: もしこの租税回避が行動規範だということはないならば要約する; int1 & int2 -> int3: この租税回避は要約する; fact7 -> int4: もしこの租税回避が要約するとしたら発現領域である; int3 & int4 -> int5: この租税回避は発現領域である; int5 & fact5 -> hypothesis;
$facts$ = fact1: この母様陛下は忘れ難い fact2: 「この租税回避は守り続ける」ということは本当だ fact3: この租税回避は旧藩時代である fact4: もし仮にこの租税回避が如何するとしたらその一人以上は要約する fact5: もしもこの租税回避が発現領域であるならばその一人以上は如何する fact6: もしなんらかの物は行動規範でないとしたら要約する fact7: あるものが要約するとすると発現領域である fact8: この租税回避は忘れ難い fact9: 仮にその一人以上が要約するとしたらこの租税回避は如何する fact10: あの誌名は発現領域でない fact11: この租税回避は行動規範でないがしかしそれは忘れ難い ; $hypothesis$ = その一人以上は如何する ; $proof$ = 
fact11 -> int1: この租税回避は行動規範でない; fact6 -> int2: もしこの租税回避が行動規範だということはないならば要約する; int1 & int2 -> int3: この租税回避は要約する; fact7 -> int4: もしこの租税回避が要約するとしたら発現領域である; int3 & int4 -> int5: この租税回避は発現領域である; int5 & fact5 -> hypothesis; __PROVED__
事実1: この母様陛下は忘れ難い
事実2: 「この租税回避は守り続ける」ということは本当だ
事実3: この租税回避は旧藩時代である
事実4: もし仮にこの租税回避が如何するとしたらその一人以上は要約する
事実5: もしもこの租税回避が発現領域であるならばその一人以上は如何する
事実6: もしなんらかの物は行動規範でないとしたら要約する
事実7: あるものが要約するとすると発現領域である
事実8: この租税回避は忘れ難い
事実9: 仮にその一人以上が要約するとしたらこの租税回避は如何する
事実10: あの誌名は発現領域でない
事実11: この租税回避は行動規範でないがしかしそれは忘れ難い

仮説: その一人以上は如何する
1. 事実11から、推論1: "この租税回避は行動規範でない"が導かれる
2. 事実6から、推論2: "もしこの租税回避が行動規範だということはないならば要約する"が導かれる
3. 推論1と推論2から、推論3: "この租税回避は要約する"が導かれる
4. 事実7から、推論4: "もしこの租税回避が要約するとしたら発現領域である"が導かれる
5. 推論3と推論4から、推論5: "この租税回避は発現領域である"が導かれる
6. 推論5と事実5から、仮説が導かれる

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