あのＮＰＶは優し
fact1: 仮に御存じ無いものが二倍すればそれは優しない fact2: あのＮＰＶは御存じ無い fact3: あのＮＰＶは二倍する fact4: あの十センチメートル程度は二倍する
fact2 & fact3 -> int1: あのＮＰＶは御存じ無いしまた二倍する; fact1 -> int2: あのＮＰＶが御存じ無いしその上二倍するなら優しない; int1 & int2 -> hypothesis;
fact2 & fact3 -> int1: ({A}{a} & {B}{a}); fact1 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: 仮に御存じ無いものが二倍すればそれは優しない fact2: あのＮＰＶは御存じ無い fact3: あのＮＰＶは二倍する fact4: あの十センチメートル程度は二倍する ; $hypothesis$ = あのＮＰＶは優し ; $proof$ = 
fact2 & fact3 -> int1: あのＮＰＶは御存じ無いしまた二倍する; fact1 -> int2: あのＮＰＶが御存じ無いしその上二倍するなら優しない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮に御存じ無いものが二倍すればそれは優しない
事実2: あのＮＰＶは御存じ無い
事実3: あのＮＰＶは二倍する
事実4: あの十センチメートル程度は二倍する

仮説: あのＮＰＶは優し
1. 事実2と事実3から、推論1: "あのＮＰＶは御存じ無いしまた二倍する"が導かれる
2. 事実1から、推論2: "あのＮＰＶが御存じ無いしその上二倍するなら優しない"が導かれる
3. 推論1と推論2から、仮説が否定される

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