あのぷのぷのLv.1は夥しくない
fact1: 仮にあのぷのぷのLv.1が危なっかしいとしたらそれは格好悪い fact2: そのぽにょぽやLv.43は灰色っぽい fact3: もしあのぷのぷのLv.1が格好悪いとすればそれは夥しい fact4: あのぷのぷのLv.1は危なっかしくてさらにそれは灰色っぽい
fact4 -> int1: あのぷのぷのLv.1は危なっかしい; int1 & fact1 -> int2: あのぷのぷのLv.1は格好悪い; int2 & fact3 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
$facts$ = fact1: 仮にあのぷのぷのLv.1が危なっかしいとしたらそれは格好悪い fact2: そのぽにょぽやLv.43は灰色っぽい fact3: もしあのぷのぷのLv.1が格好悪いとすればそれは夥しい fact4: あのぷのぷのLv.1は危なっかしくてさらにそれは灰色っぽい ; $hypothesis$ = あのぷのぷのLv.1は夥しくない ; $proof$ = 
fact4 -> int1: あのぷのぷのLv.1は危なっかしい; int1 & fact1 -> int2: あのぷのぷのLv.1は格好悪い; int2 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact3 -> hypothesis; __DISPROVED__