あの試行は嘆ずない
fact1: この線分Ｇは弥次る fact2: あの試行はエネルギー代謝率でない fact3: もし仮になにがしかのものはエネルギー代謝率でないが弥次るとしたら「嘆ずない」ということは真実である fact4: あの試行は弥次る
fact2 & fact4 -> int1: あの試行はエネルギー代謝率でないがしかしそれは弥次る; fact3 -> int2: もしあの試行がエネルギー代謝率でないがしかし弥次るなら「嘆ずということはない」ということは真実だ; int1 & int2 -> hypothesis;
$facts$ = fact1: この線分Ｇは弥次る fact2: あの試行はエネルギー代謝率でない fact3: もし仮になにがしかのものはエネルギー代謝率でないが弥次るとしたら「嘆ずない」ということは真実である fact4: あの試行は弥次る ; $hypothesis$ = あの試行は嘆ずない ; $proof$ = 
fact2 & fact4 -> int1: あの試行はエネルギー代謝率でないがしかしそれは弥次る; fact3 -> int2: もしあの試行がエネルギー代謝率でないがしかし弥次るなら「嘆ずということはない」ということは真実だ; int1 & int2 -> hypothesis; __PROVED__
事実1: この線分Ｇは弥次る
事実2: あの試行はエネルギー代謝率でない
事実3: もし仮になにがしかのものはエネルギー代謝率でないが弥次るとしたら「嘆ずない」ということは真実である
事実4: あの試行は弥次る

仮説: あの試行は嘆ずない
1. 事実2と事実4から、推論1: "あの試行はエネルギー代謝率でないがしかしそれは弥次る"が導かれる
2. 事実3から、推論2: "もしあの試行がエネルギー代謝率でないがしかし弥次るなら「嘆ずということはない」ということは真実だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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