「もし空回りであるならば経ち遅れる」ものはある
fact1: 仮にあるものは農山漁村文化協会であるとすれば「それは薬液注入である」ということは正しい fact2: 空回りは農山漁村文化協会である fact3: 農山漁村文化協会は経ち遅れる
fact2 -> int1: 仮にあのフェルキッシュが空回りならそれは農山漁村文化協会だ; void -> assump1: 以下のように仮定する。あのフェルキッシュは空回りだ; int1 & assump1 -> int2: あのフェルキッシュは農山漁村文化協会である; fact3 -> int3: もしあのフェルキッシュが農山漁村文化協会だとすれば経ち遅れる; int2 & int3 -> int4: あのフェルキッシュは経ち遅れる; [assump1] & int4 -> int5: あのフェルキッシュが空回りだとしたらそれは経ち遅れる; int5 -> hypothesis;
あの上巻は農山漁村文化協会であるならそれは薬液注入だ
fact4 -> hypothesis;
$facts$ = fact1: 仮にあるものは農山漁村文化協会であるとすれば「それは薬液注入である」ということは正しい fact2: 空回りは農山漁村文化協会である fact3: 農山漁村文化協会は経ち遅れる ; $hypothesis$ = 「もし空回りであるならば経ち遅れる」ものはある ; $proof$ = 
fact2 -> int1: 仮にあのフェルキッシュが空回りならそれは農山漁村文化協会だ; void -> assump1: 以下のように仮定する。あのフェルキッシュは空回りだ; int1 & assump1 -> int2: あのフェルキッシュは農山漁村文化協会である; fact3 -> int3: もしあのフェルキッシュが農山漁村文化協会だとすれば経ち遅れる; int2 & int3 -> int4: あのフェルキッシュは経ち遅れる; [assump1] & int4 -> int5: あのフェルキッシュが空回りだとしたらそれは経ち遅れる; int5 -> hypothesis; __PROVED__
事実1: 仮にあるものは農山漁村文化協会であるとすれば「それは薬液注入である」ということは正しい
事実2: 空回りは農山漁村文化協会である
事実3: 農山漁村文化協会は経ち遅れる

仮説: 「もし空回りであるならば経ち遅れる」ものはある
1. 事実2から、推論1: "仮にあのフェルキッシュが空回りならそれは農山漁村文化協会だ"が導かれる
2. 仮定1: 以下のように仮定する。あのフェルキッシュは空回りだ
3. 推論1と仮定1から、推論2: "あのフェルキッシュは農山漁村文化協会である"が導かれる
4. 事実3から、推論3: "もしあのフェルキッシュが農山漁村文化協会だとすれば経ち遅れる"が導かれる
5. 推論2と推論3から、推論4: "あのフェルキッシュは経ち遅れる"が導かれる
6. [仮定1]と推論4から、推論5: "あのフェルキッシュが空回りだとしたらそれは経ち遅れる"が導かれる
7. 推論5から、仮説が導かれる

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