その国立博物館は混入し易い
fact1: もしもあの感情系が心変わりするしそれに怠いならその大命題は怠くらない fact2: 仮に「その利用料負担軽減は協働しない」ということは成り立つとすれば「それは混入し易い」ということは確かである fact3: あの国際ペンは混入し易くない fact4: その不当利得返還請求権は混入し易くない fact5: あの感情系が得ないとするとそれは心変わりするしまた怠い fact6: その国立博物館は怠いかあるいはそれは地域歯科保健活動でないかどちらもだ fact7: その研究途上は伝達する fact8: その国立博物館はフーリエ変換する fact9: その国立博物館は怠いかまたは地域歯科保健活動であるかどちらもである fact10: その八項目は怠くらない fact11: その国立博物館は地域歯科保健活動であるかかわゆくないかまたは両方ともだ fact12: もしその国立博物館は地域歯科保健活動でないとするとそれは伝達しない fact13: もしその大命題は怠くらないとすれば「その国立博物館は怠い」ということは成り立つ fact14: もしその国立博物館が怠いかもしくはそれは地域歯科保健活動でないとしたら伝達しない fact15: 怠いものは伝達するということはないかまたは語り継がないかまたはどちらもだ fact16: もしその国立博物館は混入し易くないならばそれは伝達する fact17: その国立博物館は夫婦家族制である fact18: その国立博物館は審美でない
void -> assump1: 以下のように仮定する。その国立博物館は混入し易いということはない; fact16 & assump1 -> int1: その国立博物館は伝達する; fact6 & fact14 -> int2: その国立博物館は伝達しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact16 & assump1 -> int1: {B}{a}; fact6 & fact14 -> int2: ¬{B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「その選手全員は地域歯科保健活動だということはない」ということは事実だ
fact20 -> int4: もし仮にその国立博物館が怠いとしたらそれは伝達しないかまたは語り継がない;
$facts$ = fact1: もしもあの感情系が心変わりするしそれに怠いならその大命題は怠くらない fact2: 仮に「その利用料負担軽減は協働しない」ということは成り立つとすれば「それは混入し易い」ということは確かである fact3: あの国際ペンは混入し易くない fact4: その不当利得返還請求権は混入し易くない fact5: あの感情系が得ないとするとそれは心変わりするしまた怠い fact6: その国立博物館は怠いかあるいはそれは地域歯科保健活動でないかどちらもだ fact7: その研究途上は伝達する fact8: その国立博物館はフーリエ変換する fact9: その国立博物館は怠いかまたは地域歯科保健活動であるかどちらもである fact10: その八項目は怠くらない fact11: その国立博物館は地域歯科保健活動であるかかわゆくないかまたは両方ともだ fact12: もしその国立博物館は地域歯科保健活動でないとするとそれは伝達しない fact13: もしその大命題は怠くらないとすれば「その国立博物館は怠い」ということは成り立つ fact14: もしその国立博物館が怠いかもしくはそれは地域歯科保健活動でないとしたら伝達しない fact15: 怠いものは伝達するということはないかまたは語り継がないかまたはどちらもだ fact16: もしその国立博物館は混入し易くないならばそれは伝達する fact17: その国立博物館は夫婦家族制である fact18: その国立博物館は審美でない ; $hypothesis$ = その国立博物館は混入し易い ; $proof$ = 
void -> assump1: 以下のように仮定する。その国立博物館は混入し易いということはない; fact16 & assump1 -> int1: その国立博物館は伝達する; fact6 & fact14 -> int2: その国立博物館は伝達しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしもあの感情系が心変わりするしそれに怠いならその大命題は怠くらない
事実2: 仮に「その利用料負担軽減は協働しない」ということは成り立つとすれば「それは混入し易い」ということは確かである
事実3: あの国際ペンは混入し易くない
事実4: その不当利得返還請求権は混入し易くない
事実5: あの感情系が得ないとするとそれは心変わりするしまた怠い
事実6: その国立博物館は怠いかあるいはそれは地域歯科保健活動でないかどちらもだ
事実7: その研究途上は伝達する
事実8: その国立博物館はフーリエ変換する
事実9: その国立博物館は怠いかまたは地域歯科保健活動であるかどちらもである
事実10: その八項目は怠くらない
事実11: その国立博物館は地域歯科保健活動であるかかわゆくないかまたは両方ともだ
事実12: もしその国立博物館は地域歯科保健活動でないとするとそれは伝達しない
事実13: もしその大命題は怠くらないとすれば「その国立博物館は怠い」ということは成り立つ
事実14: もしその国立博物館が怠いかもしくはそれは地域歯科保健活動でないとしたら伝達しない
事実15: 怠いものは伝達するということはないかまたは語り継がないかまたはどちらもだ
事実16: もしその国立博物館は混入し易くないならばそれは伝達する
事実17: その国立博物館は夫婦家族制である
事実18: その国立博物館は審美でない

仮説: その国立博物館は混入し易い
1. 仮定1: 以下のように仮定する。その国立博物館は混入し易いということはない
2. 事実16と仮定1から、推論1: "その国立博物館は伝達する"が導かれる
3. 事実6と事実14から、推論2: "その国立博物館は伝達しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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