「あのホット・セブンは身元確認だ」ということは本当だ
fact1: あのホット・セブンは淀殿である fact2: 「その育成策は納得し難くて与え難い」ということは偽である fact3: あのホット・セブンは追従する fact4: その通報義務は防止する fact5: 「専有部分である」物はあるなら「あのホット・セブンは走行するしまた防止する」ということは嘘である fact6: 「酔う」物はある fact7: もしも「「酔う」ということは誤っていない」ものはあるとすれば「この合議制は走行するがしかし防止しない」ということは間違っている fact8: もし「この合議制は走行するし加えて身元確認である」ということは誤りであるとすればあのホット・セブンは身元確認でない fact9: もし仮にあのホット・セブンが身元確認ならそれは防止する fact10: あのホット・セブンは防止する fact11: もしも何らかの物は専有部分ならば「身元確認である」ということは正しい fact12: 仮に「この合議制は走行するが防止しない」ということは嘘ならあのホット・セブンは専有部分である
fact6 & fact7 -> int1: 「この合議制は走行するけどそれは防止しない」ということは成り立つということはない; int1 & fact12 -> int2: あのホット・セブンは専有部分だ; fact11 -> int3: もし仮にあのホット・セブンは専有部分であるとしたらそれは身元確認だ; int2 & int3 -> hypothesis;
あのホット・セブンは身元確認でない
$facts$ = fact1: あのホット・セブンは淀殿である fact2: 「その育成策は納得し難くて与え難い」ということは偽である fact3: あのホット・セブンは追従する fact4: その通報義務は防止する fact5: 「専有部分である」物はあるなら「あのホット・セブンは走行するしまた防止する」ということは嘘である fact6: 「酔う」物はある fact7: もしも「「酔う」ということは誤っていない」ものはあるとすれば「この合議制は走行するがしかし防止しない」ということは間違っている fact8: もし「この合議制は走行するし加えて身元確認である」ということは誤りであるとすればあのホット・セブンは身元確認でない fact9: もし仮にあのホット・セブンが身元確認ならそれは防止する fact10: あのホット・セブンは防止する fact11: もしも何らかの物は専有部分ならば「身元確認である」ということは正しい fact12: 仮に「この合議制は走行するが防止しない」ということは嘘ならあのホット・セブンは専有部分である ; $hypothesis$ = 「あのホット・セブンは身元確認だ」ということは本当だ ; $proof$ = 
fact6 & fact7 -> int1: 「この合議制は走行するけどそれは防止しない」ということは成り立つということはない; int1 & fact12 -> int2: あのホット・セブンは専有部分だ; fact11 -> int3: もし仮にあのホット・セブンは専有部分であるとしたらそれは身元確認だ; int2 & int3 -> hypothesis; __PROVED__
事実1: あのホット・セブンは淀殿である
事実2: 「その育成策は納得し難くて与え難い」ということは偽である
事実3: あのホット・セブンは追従する
事実4: その通報義務は防止する
事実5: 「専有部分である」物はあるなら「あのホット・セブンは走行するしまた防止する」ということは嘘である
事実6: 「酔う」物はある
事実7: もしも「「酔う」ということは誤っていない」ものはあるとすれば「この合議制は走行するがしかし防止しない」ということは間違っている
事実8: もし「この合議制は走行するし加えて身元確認である」ということは誤りであるとすればあのホット・セブンは身元確認でない
事実9: もし仮にあのホット・セブンが身元確認ならそれは防止する
事実10: あのホット・セブンは防止する
事実11: もしも何らかの物は専有部分ならば「身元確認である」ということは正しい
事実12: 仮に「この合議制は走行するが防止しない」ということは嘘ならあのホット・セブンは専有部分である

仮説: 「あのホット・セブンは身元確認だ」ということは本当だ
1. 事実6と事実7から、推論1: "「この合議制は走行するけどそれは防止しない」ということは成り立つということはない"が導かれる
2. 推論1と事実12から、推論2: "あのホット・セブンは専有部分だ"が導かれる
3. 事実11から、推論3: "もし仮にあのホット・セブンは専有部分であるとしたらそれは身元確認だ"が導かれる
4. 推論2と推論3から、仮説が導かれる

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