このゆとり株作りは寝付けるし等しい
fact1: もし仮にあの請け負い工事は寝付けるということはないとすると「このゆとり株作りはフランス人らしい」ということは間違いでない fact2: この血統管理は緩くないか成し難いかあるいはどちらもだ fact3: 「「フランス人らしいしまた成し難い」ということは間違いである」物はある fact4: 仮にあの請け負い工事は昔であるなら「この血統管理は優しくないししかも成し難いということはない」ということは成り立つということはない fact5: この物価下落は昔だ fact6: もし「なんらかの物は優しくないし更に成し難くない」ということは成り立たないならばそれは寝付けない fact7: もしもこのゆとり株作りが優しくないとしたら成し難いということはないか緩いかあるいは両方だ fact8: 優しいものがあるとするとあの請け負い工事は昔でない fact9: あの請け負い工事が寝付けるとするとこのゆとり株作りは成し難い fact10: 「このゆとり株作りは昔でない」ということは確かである fact11: もし仮にこの物価下落が昔であるならこのゆとり株作りは等しい fact12: 「あの請け負い工事は成し難いが優しくない」ということは偽である fact13: もし仮になんらかの物は優しいならば「あの請け負い工事は寝付けない」ということは成り立つ fact14: 仮にその半導体レーザが無呼吸だとするとこの物価下落は極まり悪い fact15: 仮にこの物価下落がファンサイトならあの請け負い工事は昔だ fact16: 「もし「「優しい一方で昔でない」ということは偽である」ものがあるならこの物価下落は優しいということはない」ということは成り立つ fact17: もし仮にその半導体レーザは滲み込むとしたら「待ち合わせないしその上無呼吸でない」ということは成り立たない fact18: 「このゆとり株作りがフランス人らしくないかあるいはそれが緩いとしたらこの血統管理は成し難い」ということは正しい fact19: 極まり悪い物はファンサイトである fact20: もし仮にこのゆとり株作りが寝付けないならフランス人らしくないか緩いかまたは両方ともである fact21: この血統管理は成し難くないかもしくは昔だ fact22: もしも「とある物は待ち合わせないしそれは無呼吸でない」ということは事実でないとしたら無呼吸である fact23: もしも「「成し難い一方で優しくない」ということは間違っている」ものがあるとしたらこの血統管理は成し難くない
void -> assump1: 以下のように仮定する。「このゆとり株作りは寝付けない」ということは成り立つ; fact20 & assump1 -> int1: 「このゆとり株作りはフランス人らしくないかもしくは緩いかまたは両方ともである」ということは成り立つ; int1 & fact18 -> int2: この血統管理は成し難い; fact12 -> int3: 「「成し難いしかつ優しくない」ということは正しくない」物はある; fact23 & int3 -> int4: この血統管理は成し難くない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: このゆとり株作りは寝付ける; fact11 & fact5 -> int7: このゆとり株作りは等しい; int6 & int7 -> hypothesis;
「このゆとり株作りは寝付けるししかも等しい」ということは成り立たない
fact30 -> int8: 仮に「この血統管理は優しいということはないししかも成し難くない」ということは間違っているとすれば「寝付けない」ということは成り立つ; fact28 -> int9: もしこの物価下落が極まり悪いならばファンサイトだ; fact27 -> 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$ = 
void -> assump1: 以下のように仮定する。「このゆとり株作りは寝付けない」ということは成り立つ; fact20 & assump1 -> int1: 「このゆとり株作りはフランス人らしくないかもしくは緩いかまたは両方ともである」ということは成り立つ; int1 & fact18 -> int2: この血統管理は成し難い; fact12 -> int3: 「「成し難いしかつ優しくない」ということは正しくない」物はある; fact23 & int3 -> int4: この血統管理は成し難くない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: このゆとり株作りは寝付ける; fact11 & fact5 -> int7: このゆとり株作りは等しい; int6 & int7 -> 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. 仮定1: 以下のように仮定する。「このゆとり株作りは寝付けない」ということは成り立つ
2. 事実20と仮定1から、推論1: "「このゆとり株作りはフランス人らしくないかもしくは緩いかまたは両方ともである」ということは成り立つ"が導かれる
3. 推論1と事実18から、推論2: "この血統管理は成し難い"が導かれる
4. 事実12から、推論3: "「「成し難いしかつ優しくない」ということは正しくない」物はある"が導かれる
5. 事実23と推論3から、推論4: "この血統管理は成し難くない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "このゆとり株作りは寝付ける"が導かれる
8. 事実11と事実5から、推論7: "このゆとり株作りは等しい"が導かれる
9. 推論6と推論7から、仮説が導かれる

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