もしあの補正が濃縮であるとすればあの試みは改選する
fact1: もしもその州レベルが過不足無いとするとこの試みは結婚す fact2: もしなにかは結婚すとすれば改選する fact3: その州レベルが結婚すなら過不足無い fact4: この不溶性は過不足無い fact5: あの補正は改選する fact6: 「もしあの補正が過不足無いとすればあの州レベルは濃縮である」ということは本当である fact7: あの補正は結婚す fact8: この試みは過不足無い fact9: この試みは濃縮だ fact10: あの補正が濃縮ならその州レベルは過不足無い fact11: あの参加団体は濃縮である fact12: その州レベルは濃縮である fact13: 「その州レベルは改選する」ということは正しい fact14: もし仮にその州レベルが改選するとすればあの試みは過不足無い fact15: もしその州レベルが過不足無いならそれは結婚す fact16: その州レベルは逢い引きする fact17: 「あの補正は過不足無い」ということは正しい
void -> assump1: 以下のように仮定する。あの補正は濃縮である; fact10 & assump1 -> int1: その州レベルは過不足無い; int1 & fact1 -> int2: この試みは結婚す; fact2 -> int3: もしもこの試みは結婚すなら「改選する」ということは本当だ; int2 & int3 -> int4: この試みは改選する; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もしもその州レベルが過不足無いとするとこの試みは結婚す fact2: もしなにかは結婚すとすれば改選する fact3: その州レベルが結婚すなら過不足無い fact4: この不溶性は過不足無い fact5: あの補正は改選する fact6: 「もしあの補正が過不足無いとすればあの州レベルは濃縮である」ということは本当である fact7: あの補正は結婚す fact8: この試みは過不足無い fact9: この試みは濃縮だ fact10: あの補正が濃縮ならその州レベルは過不足無い fact11: あの参加団体は濃縮である fact12: その州レベルは濃縮である fact13: 「その州レベルは改選する」ということは正しい fact14: もし仮にその州レベルが改選するとすればあの試みは過不足無い fact15: もしその州レベルが過不足無いならそれは結婚す fact16: その州レベルは逢い引きする fact17: 「あの補正は過不足無い」ということは正しい ; $hypothesis$ = もしあの補正が濃縮であるとすればあの試みは改選する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの補正は濃縮である; fact10 & assump1 -> int1: その州レベルは過不足無い; int1 & fact1 -> int2: この試みは結婚す; fact2 -> int3: もしもこの試みは結婚すなら「改選する」ということは本当だ; int2 & int3 -> int4: この試みは改選する; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしもその州レベルが過不足無いとするとこの試みは結婚す
事実2: もしなにかは結婚すとすれば改選する
事実3: その州レベルが結婚すなら過不足無い
事実4: この不溶性は過不足無い
事実5: あの補正は改選する
事実6: 「もしあの補正が過不足無いとすればあの州レベルは濃縮である」ということは本当である
事実7: あの補正は結婚す
事実8: この試みは過不足無い
事実9: この試みは濃縮だ
事実10: あの補正が濃縮ならその州レベルは過不足無い
事実11: あの参加団体は濃縮である
事実12: その州レベルは濃縮である
事実13: 「その州レベルは改選する」ということは正しい
事実14: もし仮にその州レベルが改選するとすればあの試みは過不足無い
事実15: もしその州レベルが過不足無いならそれは結婚す
事実16: その州レベルは逢い引きする
事実17: 「あの補正は過不足無い」ということは正しい

仮説: もしあの補正が濃縮であるとすればあの試みは改選する
1. 仮定1: 以下のように仮定する。あの補正は濃縮である
2. 事実10と仮定1から、推論1: "その州レベルは過不足無い"が導かれる
3. 推論1と事実1から、推論2: "この試みは結婚す"が導かれる
4. 事実2から、推論3: "もしもこの試みは結婚すなら「改選する」ということは本当だ"が導かれる
5. 推論2と推論3から、推論4: "この試みは改選する"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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