その十ウィンＧＳは保全するしそれは公開等である
fact1: もし仮にその十ウィンＧＳは痛み入るとすれば「それは保全する」ということは間違っているということはない fact2: その十ウィンＧＳはひもじくて公開等である fact3: その十ウィンＧＳは痛み入る fact4: あの海岸道路は痛み入る
fact2 -> int1: その十ウィンＧＳは公開等である; fact1 & fact3 -> int2: その十ウィンＧＳは保全する; int1 & int2 -> hypothesis;
fact2 -> int1: {B}{a}; fact1 & fact3 -> int2: {C}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: もし仮にその十ウィンＧＳは痛み入るとすれば「それは保全する」ということは間違っているということはない fact2: その十ウィンＧＳはひもじくて公開等である fact3: その十ウィンＧＳは痛み入る fact4: あの海岸道路は痛み入る ; $hypothesis$ = その十ウィンＧＳは保全するしそれは公開等である ; $proof$ = 
fact2 -> int1: その十ウィンＧＳは公開等である; fact1 & fact3 -> int2: その十ウィンＧＳは保全する; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮にその十ウィンＧＳは痛み入るとすれば「それは保全する」ということは間違っているということはない
事実2: その十ウィンＧＳはひもじくて公開等である
事実3: その十ウィンＧＳは痛み入る
事実4: あの海岸道路は痛み入る

仮説: その十ウィンＧＳは保全するしそれは公開等である
1. 事実2から、推論1: "その十ウィンＧＳは公開等である"が導かれる
2. 事実1と事実3から、推論2: "その十ウィンＧＳは保全する"が導かれる
3. 推論1と推論2から、仮説が導かれる

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