「「こじつけるしまたシンクロする」モンスターはいる」ということは成り立たない
fact1: 「こじつける」モンスターはいる fact2: そのぽにゅぽよLv.25はこじつける fact3: すべてのモンスターは継続し難くてさらにそれはこじつける fact4: あのまねまねLv.71はシンクロする
fact3 -> int1: あのまねまねLv.71は継続し難くてこじつける; int1 -> int2: 「あのまねまねLv.71はこじつける」ということは正しい; int2 & fact4 -> int3: あのまねまねLv.71はこじつけるしシンクロする; int3 -> hypothesis;
fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact4 -> int3: ({B}{a} & {C}{a}); int3 -> hypothesis;
$facts$ = fact1: 「こじつける」モンスターはいる fact2: そのぽにゅぽよLv.25はこじつける fact3: すべてのモンスターは継続し難くてさらにそれはこじつける fact4: あのまねまねLv.71はシンクロする ; $hypothesis$ = 「「こじつけるしまたシンクロする」モンスターはいる」ということは成り立たない ; $proof$ = 
fact3 -> int1: あのまねまねLv.71は継続し難くてこじつける; int1 -> int2: 「あのまねまねLv.71はこじつける」ということは正しい; int2 & fact4 -> int3: あのまねまねLv.71はこじつけるしシンクロする; int3 -> hypothesis; __DISPROVED__
fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact4 -> int3: ({B}{a} & {C}{a}); int3 -> hypothesis; __DISPROVED__