この初封は安っぽいしおまけにエロい
fact1: この初封はエロい fact2: 「あのＥＤＩネットは焦げ臭いし把握し易い」ということは成り立つということはないとしたらこの大資本は半裸でない fact3: もしもなんらかのものが半裸でないならこの初封は安っぽくてそれはエロい fact4: もしもとあるものは半裸でないなら「この初封はエロい」ということは正しい fact5: 仮にあのＥＤＩネットは半裸でないとしたら「この初封は安っぽくておまけにそれはエロい」ということは間違っている fact6: 「あのＥＤＩネットは焦げ臭いしその上把握し易い」ということは成り立たない
fact2 & fact6 -> int1: この大資本は半裸でない; int1 -> int2: とあるものは半裸でない; int2 & fact3 -> hypothesis;
「この初封は安っぽくて加えてエロい」ということは事実と異なる
$facts$ = fact1: この初封はエロい fact2: 「あのＥＤＩネットは焦げ臭いし把握し易い」ということは成り立つということはないとしたらこの大資本は半裸でない fact3: もしもなんらかのものが半裸でないならこの初封は安っぽくてそれはエロい fact4: もしもとあるものは半裸でないなら「この初封はエロい」ということは正しい fact5: 仮にあのＥＤＩネットは半裸でないとしたら「この初封は安っぽくておまけにそれはエロい」ということは間違っている fact6: 「あのＥＤＩネットは焦げ臭いしその上把握し易い」ということは成り立たない ; $hypothesis$ = この初封は安っぽいしおまけにエロい ; $proof$ = 
fact2 & fact6 -> int1: この大資本は半裸でない; int1 -> int2: とあるものは半裸でない; int2 & fact3 -> hypothesis; __PROVED__
事実1: この初封はエロい
事実2: 「あのＥＤＩネットは焦げ臭いし把握し易い」ということは成り立つということはないとしたらこの大資本は半裸でない
事実3: もしもなんらかのものが半裸でないならこの初封は安っぽくてそれはエロい
事実4: もしもとあるものは半裸でないなら「この初封はエロい」ということは正しい
事実5: 仮にあのＥＤＩネットは半裸でないとしたら「この初封は安っぽくておまけにそれはエロい」ということは間違っている
事実6: 「あのＥＤＩネットは焦げ臭いしその上把握し易い」ということは成り立たない

仮説: この初封は安っぽいしおまけにエロい
1. 事実2と事実6から、推論1: "この大資本は半裸でない"が導かれる
2. 推論1から、推論2: "とあるものは半裸でない"が導かれる
3. 推論2と事実3から、仮説が導かれる

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