このぷよぷやLv.59は否定し難いということはない
fact1: もしこのぷよぷやLv.59が通勤するしそれが膠着するとすれば否定し難くない fact2: このぷよぷやLv.59は怖ーいしさらに大騒ぎする fact3: もしこのぴにゃぴいLv.81がくどいししかも捕らえ易いならばこのぴにゃぴいLv.81は否定し難くない fact4: 「このぷよぷやLv.59は膠着する」ということは確かだ fact5: このぷよぷやLv.59は白っぽくて加えて通勤する fact6: このぷよぷやLv.59は白っぽい fact7: そのぴいぴえLv.99は通勤する fact8: このぷよぷやLv.59は割れ難いしアップ出来る
fact5 -> int1: このぷよぷやLv.59は通勤する; int1 & fact4 -> int2: このぷよぷやLv.59は通勤するししかも膠着する; int2 & fact1 -> hypothesis;
fact5 -> int1: {B}{a}; int1 & fact4 -> int2: ({B}{a} & {C}{a}); int2 & fact1 -> hypothesis;
$facts$ = fact1: もしこのぷよぷやLv.59が通勤するしそれが膠着するとすれば否定し難くない fact2: このぷよぷやLv.59は怖ーいしさらに大騒ぎする fact3: もしこのぴにゃぴいLv.81がくどいししかも捕らえ易いならばこのぴにゃぴいLv.81は否定し難くない fact4: 「このぷよぷやLv.59は膠着する」ということは確かだ fact5: このぷよぷやLv.59は白っぽくて加えて通勤する fact6: このぷよぷやLv.59は白っぽい fact7: そのぴいぴえLv.99は通勤する fact8: このぷよぷやLv.59は割れ難いしアップ出来る ; $hypothesis$ = このぷよぷやLv.59は否定し難いということはない ; $proof$ = 
fact5 -> int1: このぷよぷやLv.59は通勤する; int1 & fact4 -> int2: このぷよぷやLv.59は通勤するししかも膠着する; int2 & fact1 -> hypothesis; __PROVED__
fact5 -> int1: {B}{a}; int1 & fact4 -> int2: ({B}{a} & {C}{a}); int2 & fact1 -> hypothesis; __PROVED__