この社会・経済開発はＩＷＰＡでない
fact1: 作業し易いし試験信号印加方法でないという物はない fact2: もしも「とある物は作業し易い一方で試験信号印加方法だということはない」ということは誤っているとするとそれはＩＷＰＡでない
fact2 -> int1: もしも「この社会・経済開発は作業し易いけど試験信号印加方法でない」ということは成り立たないとしたらそれはＩＷＰＡでない; fact1 -> int2: 「この社会・経済開発は作業し易いけれどそれは試験信号印加方法でない」ということは成り立たない; int1 & int2 -> hypothesis;
$facts$ = fact1: 作業し易いし試験信号印加方法でないという物はない fact2: もしも「とある物は作業し易い一方で試験信号印加方法だということはない」ということは誤っているとするとそれはＩＷＰＡでない ; $hypothesis$ = この社会・経済開発はＩＷＰＡでない ; $proof$ = 
fact2 -> int1: もしも「この社会・経済開発は作業し易いけど試験信号印加方法でない」ということは成り立たないとしたらそれはＩＷＰＡでない; fact1 -> int2: 「この社会・経済開発は作業し易いけれどそれは試験信号印加方法でない」ということは成り立たない; int1 & int2 -> hypothesis; __PROVED__
事実1: 作業し易いし試験信号印加方法でないという物はない
事実2: もしも「とある物は作業し易い一方で試験信号印加方法だということはない」ということは誤っているとするとそれはＩＷＰＡでない

仮説: この社会・経済開発はＩＷＰＡでない
1. 事実2から、推論1: "もしも「この社会・経済開発は作業し易いけど試験信号印加方法でない」ということは成り立たないとしたらそれはＩＷＰＡでない"が導かれる
2. 事実1から、推論2: "「この社会・経済開発は作業し易いけれどそれは試験信号印加方法でない」ということは成り立たない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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