その一考は増え難い
fact1: その一考はネガティブセレクションであるしそれに小文字だ fact2: その証紙は取り組み易くてまたそれは小文字である fact3: もしその一考が盲ならば扱い易くない fact4: その一考が小文字だとすると増え難くない fact5: あの砂埃はネガティブセレクションだ fact6: その一考はパフォーマンスタブである
fact1 -> int1: その一考は小文字である; int1 & fact4 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact4 -> hypothesis;
$facts$ = fact1: その一考はネガティブセレクションであるしそれに小文字だ fact2: その証紙は取り組み易くてまたそれは小文字である fact3: もしその一考が盲ならば扱い易くない fact4: その一考が小文字だとすると増え難くない fact5: あの砂埃はネガティブセレクションだ fact6: その一考はパフォーマンスタブである ; $hypothesis$ = その一考は増え難い ; $proof$ = 
fact1 -> int1: その一考は小文字である; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: その一考はネガティブセレクションであるしそれに小文字だ
事実2: その証紙は取り組み易くてまたそれは小文字である
事実3: もしその一考が盲ならば扱い易くない
事実4: その一考が小文字だとすると増え難くない
事実5: あの砂埃はネガティブセレクションだ
事実6: その一考はパフォーマンスタブである

仮説: その一考は増え難い
1. 事実1から、推論1: "その一考は小文字である"が導かれる
2. 推論1と事実4から、仮説が否定される

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