「この大型店舗は他愛無いということはない」ということは成り立つ
fact1: もしその外祖父母が大将ならそれは詮無くない fact2: 仮に「その外祖父母は大将でないがしかし羨ましい」ということは事実と異なるとしたらそれは詮無くない fact3: 大将でないし加えて羨ましいという物はない fact4: その外祖父母が詮無くないならばこの大型店舗は他愛無くない
fact3 -> int1: 「その外祖父母は大将でない一方で羨ましい」ということは確かでない; int1 & fact2 -> int2: その外祖父母は詮無くない; int2 & fact4 -> hypothesis;
fact3 -> int1: ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact2 -> int2: ¬{A}{aa}; int2 & fact4 -> hypothesis;
$facts$ = fact1: もしその外祖父母が大将ならそれは詮無くない fact2: 仮に「その外祖父母は大将でないがしかし羨ましい」ということは事実と異なるとしたらそれは詮無くない fact3: 大将でないし加えて羨ましいという物はない fact4: その外祖父母が詮無くないならばこの大型店舗は他愛無くない ; $hypothesis$ = 「この大型店舗は他愛無いということはない」ということは成り立つ ; $proof$ = 
fact3 -> int1: 「その外祖父母は大将でない一方で羨ましい」ということは確かでない; int1 & fact2 -> int2: その外祖父母は詮無くない; int2 & fact4 -> hypothesis; __PROVED__
事実1: もしその外祖父母が大将ならそれは詮無くない
事実2: 仮に「その外祖父母は大将でないがしかし羨ましい」ということは事実と異なるとしたらそれは詮無くない
事実3: 大将でないし加えて羨ましいという物はない
事実4: その外祖父母が詮無くないならばこの大型店舗は他愛無くない

仮説: 「この大型店舗は他愛無いということはない」ということは成り立つ
1. 事実3から、推論1: "「その外祖父母は大将でない一方で羨ましい」ということは確かでない"が導かれる
2. 推論1と事実2から、推論2: "その外祖父母は詮無くない"が導かれる
3. 推論2と事実4から、仮説が導かれる

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