そのもにもにLv.73は薄明るくない
fact1: 仮にあのぽのぽくLv.91がコントロールし易いとするとそのもにもにLv.73は薄明るい fact2: もしあのぽのぽくLv.91が薄明るくないし素っ気なくないならばそのもにもにLv.73は薄明るくない fact3: もしあのぽのぽくLv.91が美しとすればあのぽのぽくLv.91はコントロールし易い fact4: あのぽのぽくLv.91は美しし加えて素っ気ない
fact4 -> int1: 「あのぽのぽくLv.91は美し」ということは事実だ; int1 & fact3 -> int2: あのぽのぽくLv.91はコントロールし易い; int2 & fact1 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
そのもにもにLv.73は薄明るくない
$facts$ = fact1: 仮にあのぽのぽくLv.91がコントロールし易いとするとそのもにもにLv.73は薄明るい fact2: もしあのぽのぽくLv.91が薄明るくないし素っ気なくないならばそのもにもにLv.73は薄明るくない fact3: もしあのぽのぽくLv.91が美しとすればあのぽのぽくLv.91はコントロールし易い fact4: あのぽのぽくLv.91は美しし加えて素っ気ない ; $hypothesis$ = そのもにもにLv.73は薄明るくない ; $proof$ = 
fact4 -> int1: 「あのぽのぽくLv.91は美し」ということは事実だ; int1 & fact3 -> int2: あのぽのぽくLv.91はコントロールし易い; int2 & fact1 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact1 -> hypothesis; __DISPROVED__