この色は境界領域である
fact1: もし仮に何らかの物が軟らかいしまたそれが朝ならばそれは境界領域でない fact2: もしもあの農協組織がチャージするか苛々するということはないかあるいは両方ならこの色は境界領域である fact3: あの農協組織はチャージするかまたはそれは苛々しないかあるいは両方だ
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
この色は境界領域でない
fact4 -> int1: もしもこの色は軟らかいししかも朝だとすると境界領域でない;
$facts$ = fact1: もし仮に何らかの物が軟らかいしまたそれが朝ならばそれは境界領域でない fact2: もしもあの農協組織がチャージするか苛々するということはないかあるいは両方ならこの色は境界領域である fact3: あの農協組織はチャージするかまたはそれは苛々しないかあるいは両方だ ; $hypothesis$ = この色は境界領域である ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: もし仮に何らかの物が軟らかいしまたそれが朝ならばそれは境界領域でない
事実2: もしもあの農協組織がチャージするか苛々するということはないかあるいは両方ならこの色は境界領域である
事実3: あの農協組織はチャージするかまたはそれは苛々しないかあるいは両方だ

仮説: この色は境界領域である
1. 事実2と事実3から、仮説が導かれる

よって、仮説が証明されました。