あのアンケートは大人らしい
fact1: その含嗽は凍て付かないかまたは専門特化する fact2: もし何らかの物は専門特化するとすると「それは侵入し易くない」ということは間違っているということはない fact3: 仮に牧草地は侵入し易くないとするとそれは切ない fact4: もし「その含嗽は専門特化する」ということは本当であるとしたら侵入し易くない fact5: もしも「あるものは牧草地でない」ということは誤りでないとしたら「それは大人らしいし更に侵入し易い」ということは誤りである fact6: あのフォルダ名が牧草地でないしかつそれが取り直さないとしたらその含嗽は牧草地である fact7: もしもその含嗽が切ないとするとあのアンケートは大人らしい fact8: あのアンケートは凍て付く fact9: もし仮になにかは取り直すということはないとすると凍て付くということはない fact10: もしその実際生活は取り直すということはないならば「あのフォルダ名は切なくて悍ましい」ということは誤っている fact11: もし仮に「その含嗽は切なくない」ということは事実ならばそれは大人らしくない fact12: もし仮に「「あのフォルダ名は切なくて悍ましい」ということは成り立つということはない」ということは成り立つとするとあのアンケートは牧草地でない fact13: 「あのフォルダ名は凍て付かない」ということは成り立つ fact14: 仮に何らかの物が御天気でないなら偉いさんでなくて加えて申し立て人だ fact15: 大人らしくない牧草地は取り直す fact16: あのフォルダ名は御喋り出来るがけばけばしくない fact17: あのフォルダ名は侵入し易いということはないかもしくは牧草地であるかまたは両方ともだ fact18: もしもなんらかのものが凍て付かないかもしくは専門特化するならそれは侵入し易いということはない fact19: あのフォルダ名は牧草地であるということはない fact20: 「その含嗽は苦しみ始めない」ということは偽でない fact21: もしも何かは偉いさんでないけど申し立て人だとしたらそれは取り直さない fact22: 切なくないかもしくは大人らしいものは専門特化するということはない fact23: あのフォルダ名は取り直さない
fact18 -> int1: もし仮にその含嗽が凍て付かないかもしくはそれが専門特化するならそれは侵入し易いということはない; int1 & fact1 -> int2: その含嗽は侵入し易くない; fact23 & fact19 -> int3: 「あのフォルダ名は牧草地だということはなくて取り直すということはない」ということは真実だ; fact6 & int3 -> int4: その含嗽は牧草地だ; int2 & int4 -> int5: その含嗽は牧草地であるが侵入し易くない; fact3 -> int6: もしも「その含嗽は牧草地である一方で侵入し易くない」ということは真実だとしたら切ない; int5 & int6 -> int7: その含嗽は切ない; int7 & fact7 -> hypothesis;
あのアンケートは大人らしくない
fact27 -> int8: もしあのアンケートは牧草地でないとすると「大人らしいし侵入し易い」ということは成り立たない; fact28 -> int9: 仮にその実際生活が偉いさんでないがそれが申し立て人だとすれば取り直さない; fact25 -> int10: もし仮に「この観光ガイドは御天気だ」ということは成り立たないとするとそれは偉いさんでないしさらにそれは申し立て人である;
$facts$ = fact1: その含嗽は凍て付かないかまたは専門特化する fact2: もし何らかの物は専門特化するとすると「それは侵入し易くない」ということは間違っているということはない fact3: 仮に牧草地は侵入し易くないとするとそれは切ない fact4: もし「その含嗽は専門特化する」ということは本当であるとしたら侵入し易くない fact5: もしも「あるものは牧草地でない」ということは誤りでないとしたら「それは大人らしいし更に侵入し易い」ということは誤りである fact6: あのフォルダ名が牧草地でないしかつそれが取り直さないとしたらその含嗽は牧草地である fact7: もしもその含嗽が切ないとするとあのアンケートは大人らしい fact8: あのアンケートは凍て付く fact9: もし仮になにかは取り直すということはないとすると凍て付くということはない fact10: もしその実際生活は取り直すということはないならば「あのフォルダ名は切なくて悍ましい」ということは誤っている fact11: もし仮に「その含嗽は切なくない」ということは事実ならばそれは大人らしくない fact12: もし仮に「「あのフォルダ名は切なくて悍ましい」ということは成り立つということはない」ということは成り立つとするとあのアンケートは牧草地でない fact13: 「あのフォルダ名は凍て付かない」ということは成り立つ fact14: 仮に何らかの物が御天気でないなら偉いさんでなくて加えて申し立て人だ fact15: 大人らしくない牧草地は取り直す fact16: あのフォルダ名は御喋り出来るがけばけばしくない fact17: あのフォルダ名は侵入し易いということはないかもしくは牧草地であるかまたは両方ともだ fact18: もしもなんらかのものが凍て付かないかもしくは専門特化するならそれは侵入し易いということはない fact19: あのフォルダ名は牧草地であるということはない fact20: 「その含嗽は苦しみ始めない」ということは偽でない fact21: もしも何かは偉いさんでないけど申し立て人だとしたらそれは取り直さない fact22: 切なくないかもしくは大人らしいものは専門特化するということはない fact23: あのフォルダ名は取り直さない ; $hypothesis$ = あのアンケートは大人らしい ; $proof$ = 
fact18 -> int1: もし仮にその含嗽が凍て付かないかもしくはそれが専門特化するならそれは侵入し易いということはない; int1 & fact1 -> int2: その含嗽は侵入し易くない; fact23 & fact19 -> int3: 「あのフォルダ名は牧草地だということはなくて取り直すということはない」ということは真実だ; fact6 & int3 -> int4: その含嗽は牧草地だ; int2 & int4 -> int5: その含嗽は牧草地であるが侵入し易くない; fact3 -> int6: もしも「その含嗽は牧草地である一方で侵入し易くない」ということは真実だとしたら切ない; int5 & int6 -> int7: その含嗽は切ない; int7 & fact7 -> hypothesis; __PROVED__
事実1: その含嗽は凍て付かないかまたは専門特化する
事実2: もし何らかの物は専門特化するとすると「それは侵入し易くない」ということは間違っているということはない
事実3: 仮に牧草地は侵入し易くないとするとそれは切ない
事実4: もし「その含嗽は専門特化する」ということは本当であるとしたら侵入し易くない
事実5: もしも「あるものは牧草地でない」ということは誤りでないとしたら「それは大人らしいし更に侵入し易い」ということは誤りである
事実6: あのフォルダ名が牧草地でないしかつそれが取り直さないとしたらその含嗽は牧草地である
事実7: もしもその含嗽が切ないとするとあのアンケートは大人らしい
事実8: あのアンケートは凍て付く
事実9: もし仮になにかは取り直すということはないとすると凍て付くということはない
事実10: もしその実際生活は取り直すということはないならば「あのフォルダ名は切なくて悍ましい」ということは誤っている
事実11: もし仮に「その含嗽は切なくない」ということは事実ならばそれは大人らしくない
事実12: もし仮に「「あのフォルダ名は切なくて悍ましい」ということは成り立つということはない」ということは成り立つとするとあのアンケートは牧草地でない
事実13: 「あのフォルダ名は凍て付かない」ということは成り立つ
事実14: 仮に何らかの物が御天気でないなら偉いさんでなくて加えて申し立て人だ
事実15: 大人らしくない牧草地は取り直す
事実16: あのフォルダ名は御喋り出来るがけばけばしくない
事実17: あのフォルダ名は侵入し易いということはないかもしくは牧草地であるかまたは両方ともだ
事実18: もしもなんらかのものが凍て付かないかもしくは専門特化するならそれは侵入し易いということはない
事実19: あのフォルダ名は牧草地であるということはない
事実20: 「その含嗽は苦しみ始めない」ということは偽でない
事実21: もしも何かは偉いさんでないけど申し立て人だとしたらそれは取り直さない
事実22: 切なくないかもしくは大人らしいものは専門特化するということはない
事実23: あのフォルダ名は取り直さない

仮説: あのアンケートは大人らしい
1. 事実18から、推論1: "もし仮にその含嗽が凍て付かないかもしくはそれが専門特化するならそれは侵入し易いということはない"が導かれる
2. 推論1と事実1から、推論2: "その含嗽は侵入し易くない"が導かれる
3. 事実23と事実19から、推論3: "「あのフォルダ名は牧草地だということはなくて取り直すということはない」ということは真実だ"が導かれる
4. 事実6と推論3から、推論4: "その含嗽は牧草地だ"が導かれる
5. 推論2と推論4から、推論5: "その含嗽は牧草地であるが侵入し易くない"が導かれる
6. 事実3から、推論6: "もしも「その含嗽は牧草地である一方で侵入し易くない」ということは真実だとしたら切ない"が導かれる
7. 推論5と推論6から、推論7: "その含嗽は切ない"が導かれる
8. 推論7と事実7から、仮説が導かれる

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