そのカーキ色はアルタットである
fact1: この留め袖は精錬する fact2: もし「そのカーキ色は精錬する」ということは成り立つとしたら「それはアルタットである」ということは事実である fact3: なんらかのものが確保しないとすると精錬するしアルタットである fact4: そのカーキ色は精錬する
fact2 & fact4 -> hypothesis;
fact2 & fact4 -> hypothesis;
あの果て半島は精錬する
fact5 -> int1: もし仮に「あの果て半島は確保しない」ということは成り立つとすると精錬するしそれはアルタットである;
$facts$ = fact1: この留め袖は精錬する fact2: もし「そのカーキ色は精錬する」ということは成り立つとしたら「それはアルタットである」ということは事実である fact3: なんらかのものが確保しないとすると精錬するしアルタットである fact4: そのカーキ色は精錬する ; $hypothesis$ = そのカーキ色はアルタットである ; $proof$ = 
fact2 & fact4 -> hypothesis; __PROVED__
事実1: この留め袖は精錬する
事実2: もし「そのカーキ色は精錬する」ということは成り立つとしたら「それはアルタットである」ということは事実である
事実3: なんらかのものが確保しないとすると精錬するしアルタットである
事実4: そのカーキ色は精錬する

仮説: そのカーキ色はアルタットである
1. 事実2と事実4から、仮説が導かれる

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