仮にあのガーデンが気弱いとしたらあの胸肉は神衣装だ
fact1: あのガーデンは威信だ fact2: 起用は威信である fact3: もし仮にこの販売管理費が起用でないならあのガーデンは気弱くてダビングだ fact4: もし仮にあのガーデンが威信だけれどそれがダビングでないとすればあの胸肉は神衣装である fact5: もしも何らかのものが起用ならそれは威信だけれどダビングでない fact6: もしあのガーデンが気弱いならば起用である fact7: あのガーデンは神衣装である fact8: 仮に「あのガーデンは神衣装だがしかしそれは気弱くない」ということは正しいなら「あの胸肉は起用である」ということは事実だ fact9: もし仮にあのガーデンがダビングだとしたらあの胸肉はダビングである fact10: もしもあのガーデンは起用であるとするとそれは威信である
void -> assump1: 以下のように仮定する。あのガーデンは気弱い; fact6 & assump1 -> int1: あのガーデンは起用だ; fact5 -> int2: 仮にあのガーデンが起用だとするとそれは威信であるしおまけにダビングでない; int1 & int2 -> int3: あのガーデンは威信だがそれはダビングであるということはない; int3 & fact4 -> int4: 「あの胸肉は神衣装である」ということは本当である; [assump1] & int4 -> hypothesis;
あの胸肉はダビングだ
$facts$ = fact1: あのガーデンは威信だ fact2: 起用は威信である fact3: もし仮にこの販売管理費が起用でないならあのガーデンは気弱くてダビングだ fact4: もし仮にあのガーデンが威信だけれどそれがダビングでないとすればあの胸肉は神衣装である fact5: もしも何らかのものが起用ならそれは威信だけれどダビングでない fact6: もしあのガーデンが気弱いならば起用である fact7: あのガーデンは神衣装である fact8: 仮に「あのガーデンは神衣装だがしかしそれは気弱くない」ということは正しいなら「あの胸肉は起用である」ということは事実だ fact9: もし仮にあのガーデンがダビングだとしたらあの胸肉はダビングである fact10: もしもあのガーデンは起用であるとするとそれは威信である ; $hypothesis$ = 仮にあのガーデンが気弱いとしたらあの胸肉は神衣装だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あのガーデンは気弱い; fact6 & assump1 -> int1: あのガーデンは起用だ; fact5 -> int2: 仮にあのガーデンが起用だとするとそれは威信であるしおまけにダビングでない; int1 & int2 -> int3: あのガーデンは威信だがそれはダビングであるということはない; int3 & fact4 -> int4: 「あの胸肉は神衣装である」ということは本当である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: あのガーデンは威信だ
事実2: 起用は威信である
事実3: もし仮にこの販売管理費が起用でないならあのガーデンは気弱くてダビングだ
事実4: もし仮にあのガーデンが威信だけれどそれがダビングでないとすればあの胸肉は神衣装である
事実5: もしも何らかのものが起用ならそれは威信だけれどダビングでない
事実6: もしあのガーデンが気弱いならば起用である
事実7: あのガーデンは神衣装である
事実8: 仮に「あのガーデンは神衣装だがしかしそれは気弱くない」ということは正しいなら「あの胸肉は起用である」ということは事実だ
事実9: もし仮にあのガーデンがダビングだとしたらあの胸肉はダビングである
事実10: もしもあのガーデンは起用であるとするとそれは威信である

仮説: 仮にあのガーデンが気弱いとしたらあの胸肉は神衣装だ
1. 仮定1: 以下のように仮定する。あのガーデンは気弱い
2. 事実6と仮定1から、推論1: "あのガーデンは起用だ"が導かれる
3. 事実5から、推論2: "仮にあのガーデンが起用だとするとそれは威信であるしおまけにダビングでない"が導かれる
4. 推論1と推論2から、推論3: "あのガーデンは威信だがそれはダビングであるということはない"が導かれる
5. 推論3と事実4から、推論4: "「あの胸肉は神衣装である」ということは本当である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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