あのＶＴは御存じ無くない
fact1: もしその九十六人が楽しならこの十八年前は楽し fact2: もし仮にこの十八年前が楽しとすればその廃ビルは楽しない fact3: 仮になんらかの物が焼け出さないけれど国文科ならばあのＺＩＰ形式は様良くない fact4: もしもあのＶＴが楽しないとするとそのＺＩＰ形式は様良しかもしくは御存じ無いかまたはどちらもだ fact5: 「焼け出さなくてまた国文科でない」物はある fact6: あのＶＴが謳歌出来るとすればそれは御存じ無いということはない fact7: もしもそのＺＩＰ形式が様良くないとすればあのＶＴは謳歌出来るかあるいはそれは楽しかどちらもだ fact8: その九十六人は楽し fact9: 仮になんらかのものは謳歌出来るかあるいは楽しかもしくは両方だとするとそれは御存じ無くない fact10: 「あのＶＴは思考能力でない」ということは真実である fact11: 仮にそのＺＩＰ形式は焼け出すとすれば「あのＶＴは焼け出す」ということは真実である fact12: あのＶＴは様良しということはない fact13: その廃ビルが楽しないとすればそれは様良しししかもそれは謳歌出来る fact14: もし何らかのものが焼け出すということはなくておまけにそれが国文科でないならばあのＺＩＰ形式は様良しということはない fact15: この所得金額は御存じ無くない fact16: もし何らかの物が謳歌出来るとすれば御存じ無いということはない fact17: 「焼け出すけれど国文科でない」ものがあるとしたらそのＺＩＰ形式は様良くない
fact5 & fact14 -> int1: そのＺＩＰ形式は様良くない; int1 & fact7 -> int2: あのＶＴは謳歌出来るか楽し; fact9 -> int3: もし仮にあのＶＴは謳歌出来るかまたは楽しなら御存じ無くない; int2 & int3 -> hypothesis;
「あのＶＴは御存じ無い」ということは成り立つ
fact19 & fact22 -> int4: この十八年前は楽し; fact21 & int4 -> int5: 「その廃ビルは楽しない」ということは真実だ; fact20 & int5 -> int6: その廃ビルは様良しし更に謳歌出来る; int6 -> int7: その廃ビルは様良し; int7 -> int8: 様良し物はある;
$facts$ = fact1: もしその九十六人が楽しならこの十八年前は楽し fact2: もし仮にこの十八年前が楽しとすればその廃ビルは楽しない fact3: 仮になんらかの物が焼け出さないけれど国文科ならばあのＺＩＰ形式は様良くない fact4: もしもあのＶＴが楽しないとするとそのＺＩＰ形式は様良しかもしくは御存じ無いかまたはどちらもだ fact5: 「焼け出さなくてまた国文科でない」物はある fact6: あのＶＴが謳歌出来るとすればそれは御存じ無いということはない fact7: もしもそのＺＩＰ形式が様良くないとすればあのＶＴは謳歌出来るかあるいはそれは楽しかどちらもだ fact8: その九十六人は楽し fact9: 仮になんらかのものは謳歌出来るかあるいは楽しかもしくは両方だとするとそれは御存じ無くない fact10: 「あのＶＴは思考能力でない」ということは真実である fact11: 仮にそのＺＩＰ形式は焼け出すとすれば「あのＶＴは焼け出す」ということは真実である fact12: あのＶＴは様良しということはない fact13: その廃ビルが楽しないとすればそれは様良しししかもそれは謳歌出来る fact14: もし何らかのものが焼け出すということはなくておまけにそれが国文科でないならばあのＺＩＰ形式は様良しということはない fact15: この所得金額は御存じ無くない fact16: もし何らかの物が謳歌出来るとすれば御存じ無いということはない fact17: 「焼け出すけれど国文科でない」ものがあるとしたらそのＺＩＰ形式は様良くない ; $hypothesis$ = あのＶＴは御存じ無くない ; $proof$ = 
fact5 & fact14 -> int1: そのＺＩＰ形式は様良くない; int1 & fact7 -> int2: あのＶＴは謳歌出来るか楽し; fact9 -> int3: もし仮にあのＶＴは謳歌出来るかまたは楽しなら御存じ無くない; int2 & int3 -> hypothesis; __PROVED__
事実1: もしその九十六人が楽しならこの十八年前は楽し
事実2: もし仮にこの十八年前が楽しとすればその廃ビルは楽しない
事実3: 仮になんらかの物が焼け出さないけれど国文科ならばあのＺＩＰ形式は様良くない
事実4: もしもあのＶＴが楽しないとするとそのＺＩＰ形式は様良しかもしくは御存じ無いかまたはどちらもだ
事実5: 「焼け出さなくてまた国文科でない」物はある
事実6: あのＶＴが謳歌出来るとすればそれは御存じ無いということはない
事実7: もしもそのＺＩＰ形式が様良くないとすればあのＶＴは謳歌出来るかあるいはそれは楽しかどちらもだ
事実8: その九十六人は楽し
事実9: 仮になんらかのものは謳歌出来るかあるいは楽しかもしくは両方だとするとそれは御存じ無くない
事実10: 「あのＶＴは思考能力でない」ということは真実である
事実11: 仮にそのＺＩＰ形式は焼け出すとすれば「あのＶＴは焼け出す」ということは真実である
事実12: あのＶＴは様良しということはない
事実13: その廃ビルが楽しないとすればそれは様良しししかもそれは謳歌出来る
事実14: もし何らかのものが焼け出すということはなくておまけにそれが国文科でないならばあのＺＩＰ形式は様良しということはない
事実15: この所得金額は御存じ無くない
事実16: もし何らかの物が謳歌出来るとすれば御存じ無いということはない
事実17: 「焼け出すけれど国文科でない」ものがあるとしたらそのＺＩＰ形式は様良くない

仮説: あのＶＴは御存じ無くない
1. 事実5と事実14から、推論1: "そのＺＩＰ形式は様良くない"が導かれる
2. 推論1と事実7から、推論2: "あのＶＴは謳歌出来るか楽し"が導かれる
3. 事実9から、推論3: "もし仮にあのＶＴは謳歌出来るかまたは楽しなら御存じ無くない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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