「造墓活動な」ものはある
fact1: この意思決定概念は青っぽいかそれは授業以外だ fact2: もしその好調が与え得るしさらにそれがしぶといならばあの意思決定概念はしぶとい fact3: もしもその好調は涙ぐましくないならばそれは御恥ずかしい fact4: その好調が御恥ずかしいとするとしぶとくない fact5: 青っぽくないものはしぶとくない fact6: その好調は涙ぐましくない fact7: 「御恥ずかしい物は与え得るがしかししぶとくない」ということは事実だ fact8: もし仮にその好調が御恥ずかしくないとすればそれは授業以外だ fact9: この意思決定概念は涙ぐましい fact10: 仮にこの意思決定概念が青っぽくないならしぶといということはない fact11: その好調はしぶとくない fact12: もし仮にその好調が与え得るがしぶとくないなら「この意思決定概念はしぶとい」ということは確かだ fact13: 御恥ずかしい物はしぶとくない fact14: もしなにかは造墓活動でないとしたら青っぽいかまたは授業以外であるか両方である fact15: もし仮にこの意思決定概念が造墓活動でないならしぶとくないかまたはそれは涙ぐましい fact16: もし仮にこの意思決定概念は造墓活動でないとすると青っぽいかもしくは授業以外であるか両方ともだ fact17: 「弧形である」物はある fact18: 仮にあるものが造墓活動でないならば青っぽくないか授業以外であるかどちらもである fact19: もしも「とある物は青っぽくないかもしくはそれは授業以外であるかどちらもである」ということは確かだとしたら「しぶとくない」ということは確かだ fact20: 仮に何らかの物が再興しないとしたらそれは切断刑でないかまたは汗ばむかあるいは両方ともだ
fact18 -> int1: もしもこの意思決定概念は造墓活動でないとすると「それは青っぽくないか授業以外であるかもしくはどちらもだ」ということは真実である; void -> assump1: 以下のように仮定する。この意思決定概念は造墓活動でない; int1 & assump1 -> int2: この意思決定概念は青っぽくないかあるいは授業以外であるかまたは両方ともである; fact19 -> int3: 仮にこの意思決定概念が青っぽいということはないかあるいは授業以外であるかもしくは両方ならばそれはしぶとくない; int2 & int3 -> int4: この意思決定概念はしぶといということはない; fact7 -> int5: もし仮にその好調が御恥ずかしいとすると与え得るししかもしぶといということはない; fact6 & fact3 -> int6: その好調は御恥ずかしい; int5 & int6 -> int7: その好調は与え得るけどしぶとくない; fact12 & int7 -> int8: この意思決定概念はしぶとい; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この意思決定概念は造墓活動だ; int10 -> hypothesis;
$facts$ = fact1: この意思決定概念は青っぽいかそれは授業以外だ fact2: もしその好調が与え得るしさらにそれがしぶといならばあの意思決定概念はしぶとい fact3: もしもその好調は涙ぐましくないならばそれは御恥ずかしい fact4: その好調が御恥ずかしいとするとしぶとくない fact5: 青っぽくないものはしぶとくない fact6: その好調は涙ぐましくない fact7: 「御恥ずかしい物は与え得るがしかししぶとくない」ということは事実だ fact8: もし仮にその好調が御恥ずかしくないとすればそれは授業以外だ fact9: この意思決定概念は涙ぐましい fact10: 仮にこの意思決定概念が青っぽくないならしぶといということはない fact11: その好調はしぶとくない fact12: もし仮にその好調が与え得るがしぶとくないなら「この意思決定概念はしぶとい」ということは確かだ fact13: 御恥ずかしい物はしぶとくない fact14: もしなにかは造墓活動でないとしたら青っぽいかまたは授業以外であるか両方である fact15: もし仮にこの意思決定概念が造墓活動でないならしぶとくないかまたはそれは涙ぐましい fact16: もし仮にこの意思決定概念は造墓活動でないとすると青っぽいかもしくは授業以外であるか両方ともだ fact17: 「弧形である」物はある fact18: 仮にあるものが造墓活動でないならば青っぽくないか授業以外であるかどちらもである fact19: もしも「とある物は青っぽくないかもしくはそれは授業以外であるかどちらもである」ということは確かだとしたら「しぶとくない」ということは確かだ fact20: 仮に何らかの物が再興しないとしたらそれは切断刑でないかまたは汗ばむかあるいは両方ともだ ; $hypothesis$ = 「造墓活動な」ものはある ; $proof$ = 
fact18 -> int1: もしもこの意思決定概念は造墓活動でないとすると「それは青っぽくないか授業以外であるかもしくはどちらもだ」ということは真実である; void -> assump1: 以下のように仮定する。この意思決定概念は造墓活動でない; int1 & assump1 -> int2: この意思決定概念は青っぽくないかあるいは授業以外であるかまたは両方ともである; fact19 -> int3: 仮にこの意思決定概念が青っぽいということはないかあるいは授業以外であるかもしくは両方ならばそれはしぶとくない; int2 & int3 -> int4: この意思決定概念はしぶといということはない; fact7 -> int5: もし仮にその好調が御恥ずかしいとすると与え得るししかもしぶといということはない; fact6 & fact3 -> int6: その好調は御恥ずかしい; int5 & int6 -> int7: その好調は与え得るけどしぶとくない; fact12 & int7 -> int8: この意思決定概念はしぶとい; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この意思決定概念は造墓活動だ; int10 -> hypothesis; __PROVED__
事実1: この意思決定概念は青っぽいかそれは授業以外だ
事実2: もしその好調が与え得るしさらにそれがしぶといならばあの意思決定概念はしぶとい
事実3: もしもその好調は涙ぐましくないならばそれは御恥ずかしい
事実4: その好調が御恥ずかしいとするとしぶとくない
事実5: 青っぽくないものはしぶとくない
事実6: その好調は涙ぐましくない
事実7: 「御恥ずかしい物は与え得るがしかししぶとくない」ということは事実だ
事実8: もし仮にその好調が御恥ずかしくないとすればそれは授業以外だ
事実9: この意思決定概念は涙ぐましい
事実10: 仮にこの意思決定概念が青っぽくないならしぶといということはない
事実11: その好調はしぶとくない
事実12: もし仮にその好調が与え得るがしぶとくないなら「この意思決定概念はしぶとい」ということは確かだ
事実13: 御恥ずかしい物はしぶとくない
事実14: もしなにかは造墓活動でないとしたら青っぽいかまたは授業以外であるか両方である
事実15: もし仮にこの意思決定概念が造墓活動でないならしぶとくないかまたはそれは涙ぐましい
事実16: もし仮にこの意思決定概念は造墓活動でないとすると青っぽいかもしくは授業以外であるか両方ともだ
事実17: 「弧形である」物はある
事実18: 仮にあるものが造墓活動でないならば青っぽくないか授業以外であるかどちらもである
事実19: もしも「とある物は青っぽくないかもしくはそれは授業以外であるかどちらもである」ということは確かだとしたら「しぶとくない」ということは確かだ
事実20: 仮に何らかの物が再興しないとしたらそれは切断刑でないかまたは汗ばむかあるいは両方ともだ

仮説: 「造墓活動な」ものはある
1. 事実18から、推論1: "もしもこの意思決定概念は造墓活動でないとすると「それは青っぽくないか授業以外であるかもしくはどちらもだ」ということは真実である"が導かれる
2. 仮定1: 以下のように仮定する。この意思決定概念は造墓活動でない
3. 推論1と仮定1から、推論2: "この意思決定概念は青っぽくないかあるいは授業以外であるかまたは両方ともである"が導かれる
4. 事実19から、推論3: "仮にこの意思決定概念が青っぽいということはないかあるいは授業以外であるかもしくは両方ならばそれはしぶとくない"が導かれる
5. 推論2と推論3から、推論4: "この意思決定概念はしぶといということはない"が導かれる
6. 事実7から、推論5: "もし仮にその好調が御恥ずかしいとすると与え得るししかもしぶといということはない"が導かれる
7. 事実6と事実3から、推論6: "その好調は御恥ずかしい"が導かれる
8. 推論5と推論6から、推論7: "その好調は与え得るけどしぶとくない"が導かれる
9. 事実12と推論7から、推論8: "この意思決定概念はしぶとい"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "この意思決定概念は造墓活動だ"が導かれる
12. 推論10から、仮説が導かれる

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