この幾何学的図形は敗死しない
fact1: この分割等は悍ましかない fact2: この幾何学的図形はバイヤー達であるか悍ましいかまたは両方である fact3: もしこの分割等が敗死するとすると語基でない fact4: この幾何学的図形は敗死するかあるいはそれはアドバイス通りでない fact5: 「この朔蓬は占領地域だししかも保険料額だ」ということは確かでない fact6: もしこの分割等がアドバイス通りでないならこの幾何学的図形はバイヤー達であるか悍ましいということはない fact7: この分割等はアドバイス通りでない fact8: もしなんらかの物は占領地域だということはないとすると「それは都市再開発であるしさらに保険料額だ」ということは偽である fact9: この分割等がアドバイス通りでないとするとこの幾何学的図形はバイヤー達であるかもしくはそれは悍ましいかまたは両方だ fact10: もし「「都市再開発でその上保険料額だ」ということは確かでない」物があるならこの幾何学的図形は都市再開発であるということはない fact11: この幾何学的図形がバイヤー達であるかあるいは悍ましくないかまたは両方ならばそれは敗死しない
fact6 & fact7 -> int1: この幾何学的図形はバイヤー達であるかもしくは悍ましくないか両方ともだ; int1 & fact11 -> hypothesis;
この幾何学的図形は敗死する
fact13 -> int2: もしもこの朔蓬は占領地域でないなら「都市再開発でかつ保険料額である」ということは成り立たない;
$facts$ = fact1: この分割等は悍ましかない fact2: この幾何学的図形はバイヤー達であるか悍ましいかまたは両方である fact3: もしこの分割等が敗死するとすると語基でない fact4: この幾何学的図形は敗死するかあるいはそれはアドバイス通りでない fact5: 「この朔蓬は占領地域だししかも保険料額だ」ということは確かでない fact6: もしこの分割等がアドバイス通りでないならこの幾何学的図形はバイヤー達であるか悍ましいということはない fact7: この分割等はアドバイス通りでない fact8: もしなんらかの物は占領地域だということはないとすると「それは都市再開発であるしさらに保険料額だ」ということは偽である fact9: この分割等がアドバイス通りでないとするとこの幾何学的図形はバイヤー達であるかもしくはそれは悍ましいかまたは両方だ fact10: もし「「都市再開発でその上保険料額だ」ということは確かでない」物があるならこの幾何学的図形は都市再開発であるということはない fact11: この幾何学的図形がバイヤー達であるかあるいは悍ましくないかまたは両方ならばそれは敗死しない ; $hypothesis$ = この幾何学的図形は敗死しない ; $proof$ = 
fact6 & fact7 -> int1: この幾何学的図形はバイヤー達であるかもしくは悍ましくないか両方ともだ; int1 & fact11 -> hypothesis; __PROVED__
事実1: この分割等は悍ましかない
事実2: この幾何学的図形はバイヤー達であるか悍ましいかまたは両方である
事実3: もしこの分割等が敗死するとすると語基でない
事実4: この幾何学的図形は敗死するかあるいはそれはアドバイス通りでない
事実5: 「この朔蓬は占領地域だししかも保険料額だ」ということは確かでない
事実6: もしこの分割等がアドバイス通りでないならこの幾何学的図形はバイヤー達であるか悍ましいということはない
事実7: この分割等はアドバイス通りでない
事実8: もしなんらかの物は占領地域だということはないとすると「それは都市再開発であるしさらに保険料額だ」ということは偽である
事実9: この分割等がアドバイス通りでないとするとこの幾何学的図形はバイヤー達であるかもしくはそれは悍ましいかまたは両方だ
事実10: もし「「都市再開発でその上保険料額だ」ということは確かでない」物があるならこの幾何学的図形は都市再開発であるということはない
事実11: この幾何学的図形がバイヤー達であるかあるいは悍ましくないかまたは両方ならばそれは敗死しない

仮説: この幾何学的図形は敗死しない
1. 事実6と事実7から、推論1: "この幾何学的図形はバイヤー達であるかもしくは悍ましくないか両方ともだ"が導かれる
2. 推論1と事実11から、仮説が導かれる

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