「この窒素源は絡めるけどそれは休離しない」ということは確かである
fact1: もしも何かは興奮し易いなら「絡める一方で休離しない」ということは事実と異なる fact2: もしもこの交付決定は多いということはないし反グローバリゼーションでないとしたら興奮し易くない fact3: 「もしあのゴーヤーは興奮し易くないしまた絡めるということはないとしたら「この交付決定は絡めるということはない」ということは本当である」ということは真実である fact4: もし「あのゴーヤーは休離するということはない」ということは真実なら「この窒素源は絡める」ということは真実だ fact5: この窒素源は興奮し易いということはない fact6: この交付決定は多くないしさらに反グローバリゼーションでない fact7: もし仮にこの交付決定が興奮し易くないとしたらあのゴーヤーは休離しない fact8: あのゴーヤーが休離するということはないならこの窒素源は絡める一方で休離しない fact9: 「あのゴーヤーは反グローバリゼーションでない」ということは成り立つ
fact2 & fact6 -> int1: この交付決定は興奮し易くない; int1 & fact7 -> int2: あのゴーヤーは休離しない; int2 & fact8 -> hypothesis;
この交付決定は絡めない
$facts$ = fact1: もしも何かは興奮し易いなら「絡める一方で休離しない」ということは事実と異なる fact2: もしもこの交付決定は多いということはないし反グローバリゼーションでないとしたら興奮し易くない fact3: 「もしあのゴーヤーは興奮し易くないしまた絡めるということはないとしたら「この交付決定は絡めるということはない」ということは本当である」ということは真実である fact4: もし「あのゴーヤーは休離するということはない」ということは真実なら「この窒素源は絡める」ということは真実だ fact5: この窒素源は興奮し易いということはない fact6: この交付決定は多くないしさらに反グローバリゼーションでない fact7: もし仮にこの交付決定が興奮し易くないとしたらあのゴーヤーは休離しない fact8: あのゴーヤーが休離するということはないならこの窒素源は絡める一方で休離しない fact9: 「あのゴーヤーは反グローバリゼーションでない」ということは成り立つ ; $hypothesis$ = 「この窒素源は絡めるけどそれは休離しない」ということは確かである ; $proof$ = 
fact2 & fact6 -> int1: この交付決定は興奮し易くない; int1 & fact7 -> int2: あのゴーヤーは休離しない; int2 & fact8 -> hypothesis; __PROVED__
事実1: もしも何かは興奮し易いなら「絡める一方で休離しない」ということは事実と異なる
事実2: もしもこの交付決定は多いということはないし反グローバリゼーションでないとしたら興奮し易くない
事実3: 「もしあのゴーヤーは興奮し易くないしまた絡めるということはないとしたら「この交付決定は絡めるということはない」ということは本当である」ということは真実である
事実4: もし「あのゴーヤーは休離するということはない」ということは真実なら「この窒素源は絡める」ということは真実だ
事実5: この窒素源は興奮し易いということはない
事実6: この交付決定は多くないしさらに反グローバリゼーションでない
事実7: もし仮にこの交付決定が興奮し易くないとしたらあのゴーヤーは休離しない
事実8: あのゴーヤーが休離するということはないならこの窒素源は絡める一方で休離しない
事実9: 「あのゴーヤーは反グローバリゼーションでない」ということは成り立つ

仮説: 「この窒素源は絡めるけどそれは休離しない」ということは確かである
1. 事実2と事実6から、推論1: "この交付決定は興奮し易くない"が導かれる
2. 推論1と事実7から、推論2: "あのゴーヤーは休離しない"が導かれる
3. 推論2と事実8から、仮説が導かれる

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