このギータが埋蔵でないとするとこの相互信頼はリニューアル時であるしおまけに吠える
fact1: 「あのづらは市場化する」ということは成り立つ fact2: この相互信頼は正気である fact3: もし仮にこのギータが埋蔵であるししかもそれが市場化するとするとそれは正気でない fact4: 「この相互信頼は吠える」ということは成り立つ fact5: このギータが正気でないならばこの相互信頼はリニューアル時だしおまけに正気だ fact6: もし「「埋蔵であるかもしくは市場化しないかあるいは両方である」ということは確かな」物はあるとすると「このクーガーは正気でない」ということは真実だ fact7: 仮にこのギータが正気でそれは埋蔵であるならばそれは吠えない fact8: このギータは十年前後でない fact9: 「その胸騒ぎは吠える」ということは成り立つ fact10: もしこの相互信頼が正気でないならばあのギータは市場化するしおまけに吠える fact11: もしもとある物が十年前後でないとするとリニューアル時だしそれは眼窩である fact12: もしこの相互信頼は再整備するということはないが寄る辺無いならば正気でない fact13: 仮にこの相互信頼が埋蔵でないならこのギータは正気でしかも吠える fact14: その内感は埋蔵でない fact15: この相互信頼は正気でかつ埋蔵だ fact16: このギータが正気でないならばあの相互信頼は正気である fact17: 「このギータは市場化する」ということは成り立つ fact18: この相互信頼は用心深い fact19: なにがしかの物が吠えればそれは埋蔵であるかあるいはそれは市場化するということはないかもしくはどちらもだ fact20: もし仮にこのギータが埋蔵ならばこの相互信頼はリニューアル時であるし吠える fact21: あの粘性は正気だ fact22: 仮にこのギータは埋蔵でないが市場化すれば正気でない
void -> assump1: 以下のように仮定する。このギータは埋蔵でない; assump1 & fact17 -> int1: このギータは埋蔵でない一方で市場化する; int1 & fact22 -> int2: このギータは正気でない; int2 & fact5 -> int3: この相互信頼はリニューアル時でそれに正気である; int3 -> int4: この相互信頼はリニューアル時である; int4 & fact4 -> int5: この相互信頼がリニューアル時だしおまけにそれは吠える; [assump1] & int5 -> hypothesis;
このクーガーは正気でない
fact26 -> int6: もしこのギータが吠えればそれは埋蔵であるかあるいはそれは市場化しないかまたは両方である; fact24 -> int7: もし仮にこのギータが十年前後でないとすればそれはリニューアル時であるしまた眼窩だ; int7 & fact23 -> int8: このギータはリニューアル時でその上眼窩だ; int8 -> int9: このギータはリニューアル時だ;
$facts$ = fact1: 「あのづらは市場化する」ということは成り立つ fact2: この相互信頼は正気である fact3: もし仮にこのギータが埋蔵であるししかもそれが市場化するとするとそれは正気でない fact4: 「この相互信頼は吠える」ということは成り立つ fact5: このギータが正気でないならばこの相互信頼はリニューアル時だしおまけに正気だ fact6: もし「「埋蔵であるかもしくは市場化しないかあるいは両方である」ということは確かな」物はあるとすると「このクーガーは正気でない」ということは真実だ fact7: 仮にこのギータが正気でそれは埋蔵であるならばそれは吠えない fact8: このギータは十年前後でない fact9: 「その胸騒ぎは吠える」ということは成り立つ fact10: もしこの相互信頼が正気でないならばあのギータは市場化するしおまけに吠える fact11: もしもとある物が十年前後でないとするとリニューアル時だしそれは眼窩である fact12: もしこの相互信頼は再整備するということはないが寄る辺無いならば正気でない fact13: 仮にこの相互信頼が埋蔵でないならこのギータは正気でしかも吠える fact14: その内感は埋蔵でない fact15: この相互信頼は正気でかつ埋蔵だ fact16: このギータが正気でないならばあの相互信頼は正気である fact17: 「このギータは市場化する」ということは成り立つ fact18: この相互信頼は用心深い fact19: なにがしかの物が吠えればそれは埋蔵であるかあるいはそれは市場化するということはないかもしくはどちらもだ fact20: もし仮にこのギータが埋蔵ならばこの相互信頼はリニューアル時であるし吠える fact21: あの粘性は正気だ fact22: 仮にこのギータは埋蔵でないが市場化すれば正気でない ; $hypothesis$ = このギータが埋蔵でないとするとこの相互信頼はリニューアル時であるしおまけに吠える ; $proof$ = 
void -> assump1: 以下のように仮定する。このギータは埋蔵でない; assump1 & fact17 -> int1: このギータは埋蔵でない一方で市場化する; int1 & fact22 -> int2: このギータは正気でない; int2 & fact5 -> int3: この相互信頼はリニューアル時でそれに正気である; int3 -> int4: この相互信頼はリニューアル時である; int4 & fact4 -> int5: この相互信頼がリニューアル時だしおまけにそれは吠える; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 「あのづらは市場化する」ということは成り立つ
事実2: この相互信頼は正気である
事実3: もし仮にこのギータが埋蔵であるししかもそれが市場化するとするとそれは正気でない
事実4: 「この相互信頼は吠える」ということは成り立つ
事実5: このギータが正気でないならばこの相互信頼はリニューアル時だしおまけに正気だ
事実6: もし「「埋蔵であるかもしくは市場化しないかあるいは両方である」ということは確かな」物はあるとすると「このクーガーは正気でない」ということは真実だ
事実7: 仮にこのギータが正気でそれは埋蔵であるならばそれは吠えない
事実8: このギータは十年前後でない
事実9: 「その胸騒ぎは吠える」ということは成り立つ
事実10: もしこの相互信頼が正気でないならばあのギータは市場化するしおまけに吠える
事実11: もしもとある物が十年前後でないとするとリニューアル時だしそれは眼窩である
事実12: もしこの相互信頼は再整備するということはないが寄る辺無いならば正気でない
事実13: 仮にこの相互信頼が埋蔵でないならこのギータは正気でしかも吠える
事実14: その内感は埋蔵でない
事実15: この相互信頼は正気でかつ埋蔵だ
事実16: このギータが正気でないならばあの相互信頼は正気である
事実17: 「このギータは市場化する」ということは成り立つ
事実18: この相互信頼は用心深い
事実19: なにがしかの物が吠えればそれは埋蔵であるかあるいはそれは市場化するということはないかもしくはどちらもだ
事実20: もし仮にこのギータが埋蔵ならばこの相互信頼はリニューアル時であるし吠える
事実21: あの粘性は正気だ
事実22: 仮にこのギータは埋蔵でないが市場化すれば正気でない

仮説: このギータが埋蔵でないとするとこの相互信頼はリニューアル時であるしおまけに吠える
1. 仮定1: 以下のように仮定する。このギータは埋蔵でない
2. 仮定1と事実17から、推論1: "このギータは埋蔵でない一方で市場化する"が導かれる
3. 推論1と事実22から、推論2: "このギータは正気でない"が導かれる
4. 推論2と事実5から、推論3: "この相互信頼はリニューアル時でそれに正気である"が導かれる
5. 推論3から、推論4: "この相互信頼はリニューアル時である"が導かれる
6. 推論4と事実4から、推論5: "この相互信頼がリニューアル時だしおまけにそれは吠える"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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