その小像は義務化する一方で普及するということはない
fact1: 仮にその交ぜ方は普及するとすると「「その小像は義務化するけれど普及しない」ということは正しい」ということは事実でない fact2: もしもその小像が航空自衛隊であるとするとそれは義務化するし更にそれは普及するということはない fact3: 仮に何らかのものは航空自衛隊であるならそれは普及する fact4: その交ぜ方は普及するがしかし航空自衛隊でない fact5: その交ぜ方は義務化するがしかし航空自衛隊でない
fact4 -> int1: その交ぜ方は普及する; int1 & fact1 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
この習合は普及する
fact6 -> int2: もしもこの習合は航空自衛隊であるとすると普及する;
$facts$ = fact1: 仮にその交ぜ方は普及するとすると「「その小像は義務化するけれど普及しない」ということは正しい」ということは事実でない fact2: もしもその小像が航空自衛隊であるとするとそれは義務化するし更にそれは普及するということはない fact3: 仮に何らかのものは航空自衛隊であるならそれは普及する fact4: その交ぜ方は普及するがしかし航空自衛隊でない fact5: その交ぜ方は義務化するがしかし航空自衛隊でない ; $hypothesis$ = その小像は義務化する一方で普及するということはない ; $proof$ = 
fact4 -> int1: その交ぜ方は普及する; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にその交ぜ方は普及するとすると「「その小像は義務化するけれど普及しない」ということは正しい」ということは事実でない
事実2: もしもその小像が航空自衛隊であるとするとそれは義務化するし更にそれは普及するということはない
事実3: 仮に何らかのものは航空自衛隊であるならそれは普及する
事実4: その交ぜ方は普及するがしかし航空自衛隊でない
事実5: その交ぜ方は義務化するがしかし航空自衛隊でない

仮説: その小像は義務化する一方で普及するということはない
1. 事実4から、推論1: "その交ぜ方は普及する"が導かれる
2. 推論1と事実1から、仮説が否定される

よって、仮説が否定されました。