仮にその皇恩が補給物資であるけれどそれが揺るがしないとするとその生理的役割は色好い
fact1: もしその皇恩は補給物資だが揺るがしないとすればそれは活用し易い fact2: もしも「その皇恩は活用し易い」ということは成り立つとしたらその生理的役割は雄々しい fact3: もしもその生理的役割が雄々しいなら八十九年度である fact4: もしその生理的役割がイラク戦争だとするとそれは色好い fact5: 八十九年度はイラク戦争である
void -> assump1: 以下のように仮定する。その皇恩は補給物資であるがしかし揺るがさない; fact1 & assump1 -> int1: その皇恩は活用し易い; int1 & fact2 -> int2: その生理的役割は雄々しい; int2 & fact3 -> int3: その生理的役割は八十九年度だ; fact5 -> int4: その生理的役割は八十九年度だとしたら「それはイラク戦争だ」ということは真実だ; int3 & int4 -> int5: その生理的役割はイラク戦争である; int5 & fact4 -> int6: その生理的役割は色好い; [assump1] & int6 -> hypothesis;
$facts$ = fact1: もしその皇恩は補給物資だが揺るがしないとすればそれは活用し易い fact2: もしも「その皇恩は活用し易い」ということは成り立つとしたらその生理的役割は雄々しい fact3: もしもその生理的役割が雄々しいなら八十九年度である fact4: もしその生理的役割がイラク戦争だとするとそれは色好い fact5: 八十九年度はイラク戦争である ; $hypothesis$ = 仮にその皇恩が補給物資であるけれどそれが揺るがしないとするとその生理的役割は色好い ; $proof$ = 
void -> assump1: 以下のように仮定する。その皇恩は補給物資であるがしかし揺るがさない; fact1 & assump1 -> int1: その皇恩は活用し易い; int1 & fact2 -> int2: その生理的役割は雄々しい; int2 & fact3 -> int3: その生理的役割は八十九年度だ; fact5 -> int4: その生理的役割は八十九年度だとしたら「それはイラク戦争だ」ということは真実だ; int3 & int4 -> int5: その生理的役割はイラク戦争である; int5 & fact4 -> int6: その生理的役割は色好い; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もしその皇恩は補給物資だが揺るがしないとすればそれは活用し易い
事実2: もしも「その皇恩は活用し易い」ということは成り立つとしたらその生理的役割は雄々しい
事実3: もしもその生理的役割が雄々しいなら八十九年度である
事実4: もしその生理的役割がイラク戦争だとするとそれは色好い
事実5: 八十九年度はイラク戦争である

仮説: 仮にその皇恩が補給物資であるけれどそれが揺るがしないとするとその生理的役割は色好い
1. 仮定1: 以下のように仮定する。その皇恩は補給物資であるがしかし揺るがさない
2. 事実1と仮定1から、推論1: "その皇恩は活用し易い"が導かれる
3. 推論1と事実2から、推論2: "その生理的役割は雄々しい"が導かれる
4. 推論2と事実3から、推論3: "その生理的役割は八十九年度だ"が導かれる
5. 事実5から、推論4: "その生理的役割は八十九年度だとしたら「それはイラク戦争だ」ということは真実だ"が導かれる
6. 推論3と推論4から、推論5: "その生理的役割はイラク戦争である"が導かれる
7. 推論5と事実4から、推論6: "その生理的役割は色好い"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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