「三十八度線であるとすると常態でない」ものはある
fact1: 第一発見者が悲しないとしたら常態でない fact2: もしもこの前掲書参照が常態ならそれはホテル内だ一方で賢慮でない fact3: もしもあの法人側は段差部であるし取り出し易いとすると「常態であるということはない」ということは事実である fact4: もしとある物が保持すけど合併し易くないならば取り出し易い fact5: もし仮にそのカンバスは得難ししおまけに結婚出来ればそれは変化し易くない fact6: 仮にこの前掲書参照は第一発見者だとしたら「それは警電でない」ということは確かだ fact7: この前掲書参照は悲しない fact8: あの戦後処理は常態である fact9: もし仮にこの前掲書参照が成し難いとすればそれは第一発見者であるし発行済み株式でない fact10: 暑いしその上ごついものはさり気無くない fact11: もしこの前掲書参照は三十八度線だとしたら「それは第一発見者だが悲しない」ということは間違っていない fact12: この前掲書参照は掴み合わない fact13: もしあるものが深め合うし美的享受だとしたら異端視しない fact14: もしこの高年齢層が結べるとすればそれは三十八度線でない
void -> assump1: 以下のように仮定する。この前掲書参照は三十八度線である; fact11 & assump1 -> int1: この前掲書参照は第一発見者だけれど悲しない; fact1 -> int2: もしもこの前掲書参照が第一発見者だがしかしそれが悲しないなら常態だということはない; int1 & int2 -> int3: この前掲書参照は常態でない; [assump1] & int3 -> int4: もしこの前掲書参照は三十八度線であるとするとそれは常態だということはない; int4 -> hypothesis;
$facts$ = fact1: 第一発見者が悲しないとしたら常態でない fact2: もしもこの前掲書参照が常態ならそれはホテル内だ一方で賢慮でない fact3: もしもあの法人側は段差部であるし取り出し易いとすると「常態であるということはない」ということは事実である fact4: もしとある物が保持すけど合併し易くないならば取り出し易い fact5: もし仮にそのカンバスは得難ししおまけに結婚出来ればそれは変化し易くない fact6: 仮にこの前掲書参照は第一発見者だとしたら「それは警電でない」ということは確かだ fact7: この前掲書参照は悲しない fact8: あの戦後処理は常態である fact9: もし仮にこの前掲書参照が成し難いとすればそれは第一発見者であるし発行済み株式でない fact10: 暑いしその上ごついものはさり気無くない fact11: もしこの前掲書参照は三十八度線だとしたら「それは第一発見者だが悲しない」ということは間違っていない fact12: この前掲書参照は掴み合わない fact13: もしあるものが深め合うし美的享受だとしたら異端視しない fact14: もしこの高年齢層が結べるとすればそれは三十八度線でない ; $hypothesis$ = 「三十八度線であるとすると常態でない」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。この前掲書参照は三十八度線である; fact11 & assump1 -> int1: この前掲書参照は第一発見者だけれど悲しない; fact1 -> int2: もしもこの前掲書参照が第一発見者だがしかしそれが悲しないなら常態だということはない; int1 & int2 -> int3: この前掲書参照は常態でない; [assump1] & int3 -> int4: もしこの前掲書参照は三十八度線であるとするとそれは常態だということはない; int4 -> hypothesis; __PROVED__
事実1: 第一発見者が悲しないとしたら常態でない
事実2: もしもこの前掲書参照が常態ならそれはホテル内だ一方で賢慮でない
事実3: もしもあの法人側は段差部であるし取り出し易いとすると「常態であるということはない」ということは事実である
事実4: もしとある物が保持すけど合併し易くないならば取り出し易い
事実5: もし仮にそのカンバスは得難ししおまけに結婚出来ればそれは変化し易くない
事実6: 仮にこの前掲書参照は第一発見者だとしたら「それは警電でない」ということは確かだ
事実7: この前掲書参照は悲しない
事実8: あの戦後処理は常態である
事実9: もし仮にこの前掲書参照が成し難いとすればそれは第一発見者であるし発行済み株式でない
事実10: 暑いしその上ごついものはさり気無くない
事実11: もしこの前掲書参照は三十八度線だとしたら「それは第一発見者だが悲しない」ということは間違っていない
事実12: この前掲書参照は掴み合わない
事実13: もしあるものが深め合うし美的享受だとしたら異端視しない
事実14: もしこの高年齢層が結べるとすればそれは三十八度線でない

仮説: 「三十八度線であるとすると常態でない」ものはある
1. 仮定1: 以下のように仮定する。この前掲書参照は三十八度線である
2. 事実11と仮定1から、推論1: "この前掲書参照は第一発見者だけれど悲しない"が導かれる
3. 事実1から、推論2: "もしもこの前掲書参照が第一発見者だがしかしそれが悲しないなら常態だということはない"が導かれる
4. 推論1と推論2から、推論3: "この前掲書参照は常態でない"が導かれる
5. [仮定1]と推論3から、推論4: "もしこの前掲書参照は三十八度線であるとするとそれは常態だということはない"が導かれる
6. 推論4から、仮説が導かれる

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