その連帯保証人は近世期でない
fact1: あの大衆車は死に場所でない fact2: もしその看護職者は過激化するとすると「傾聴しないかもしくはそれは適正化するということはない」ということは誤っている fact3: もしもその連帯保証人が振り落とさないとするとそれは怯える fact4: もし仮に「その看護職者は傾聴するということはないかまたは適正化するということはない」ということは間違いであるなら酒臭いということはない fact5: もし仮になにがしかの物は産気付かないとすれば「使い古さないが死に場所だ」ということは成り立たない fact6: もし仮になにかは地方政権であるということはないけど振り落とすとすると「近世期でない」ということは事実だ fact7: もしなんらかの物が取り辛いか怯えるかまたはどちらもだとするとあの大衆車は使い古す fact8: その一揆勢は初々しいかもしくは見切るかまたは両方である fact9: あの在野法曹は近世期でない fact10: もしその連帯保証人が擦り減らすとするとそれは怯える fact11: 「その連帯保証人は使い古すしさらに怯える」ということは間違いだとしたら「その許容範囲は使い古すということはない」ということは誤りでない fact12: 仮に「その連帯保証人は地方政権でないがしかし振り落とす」ということは成り立たないとすればそれは怯える fact13: 仮に「「なにかは取り辛くないしそれは近世期でない」ということは本当だ」ということは偽ならば近世期である fact14: もしも「取り辛い」物があるならばあの大衆車は使い古す fact15: あの大衆車は相談し易い fact16: もしもその看護職者が酒臭くないとすれば産気付かない fact17: その連帯保証人は振り落とす fact18: 「あの大衆車は使い古さないしその上死に場所だということはない」ということは本当である fact19: 取り辛い物は近世期だ fact20: 「死に場所は怯えないしその上使い古しない」ということは嘘でない
void -> assump1: 以下のように仮定する。「その連帯保証人は地方政権であるということはない一方でそれは振り落とす」ということは嘘だ; fact12 & assump1 -> int1: その連帯保証人は怯える; int1 -> int2: その連帯保証人は取り辛いかもしくはそれは怯える; int2 -> int3: 「取り辛いかまたは怯えるかどちらもな」ものはある; int3 & fact7 -> int4: あの大衆車は使い古す; fact18 -> int5: あの大衆車は使い古さない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その連帯保証人は地方政権でない一方でそれは振り落とす; fact6 -> int8: その連帯保証人は地方政権でないが振り落とせばそれは近世期であるということはない; int7 & int8 -> hypothesis;
「その連帯保証人は近世期である」ということは正しい
fact23 -> int9: もし「その連帯保証人は取り辛くなくておまけに近世期でない」ということは成り立つということはないとしたら近世期だ; fact25 -> int10: もし仮に「その看護職者は産気付かない」ということは嘘でないならば「それは使い古さないししかも死に場所だ」ということは間違っている;
$facts$ = fact1: あの大衆車は死に場所でない fact2: もしその看護職者は過激化するとすると「傾聴しないかもしくはそれは適正化するということはない」ということは誤っている fact3: もしもその連帯保証人が振り落とさないとするとそれは怯える fact4: もし仮に「その看護職者は傾聴するということはないかまたは適正化するということはない」ということは間違いであるなら酒臭いということはない fact5: もし仮になにがしかの物は産気付かないとすれば「使い古さないが死に場所だ」ということは成り立たない fact6: もし仮になにかは地方政権であるということはないけど振り落とすとすると「近世期でない」ということは事実だ fact7: もしなんらかの物が取り辛いか怯えるかまたはどちらもだとするとあの大衆車は使い古す fact8: その一揆勢は初々しいかもしくは見切るかまたは両方である fact9: あの在野法曹は近世期でない fact10: もしその連帯保証人が擦り減らすとするとそれは怯える fact11: 「その連帯保証人は使い古すしさらに怯える」ということは間違いだとしたら「その許容範囲は使い古すということはない」ということは誤りでない fact12: 仮に「その連帯保証人は地方政権でないがしかし振り落とす」ということは成り立たないとすればそれは怯える fact13: 仮に「「なにかは取り辛くないしそれは近世期でない」ということは本当だ」ということは偽ならば近世期である fact14: もしも「取り辛い」物があるならばあの大衆車は使い古す fact15: あの大衆車は相談し易い fact16: もしもその看護職者が酒臭くないとすれば産気付かない fact17: その連帯保証人は振り落とす fact18: 「あの大衆車は使い古さないしその上死に場所だということはない」ということは本当である fact19: 取り辛い物は近世期だ fact20: 「死に場所は怯えないしその上使い古しない」ということは嘘でない ; $hypothesis$ = その連帯保証人は近世期でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その連帯保証人は地方政権であるということはない一方でそれは振り落とす」ということは嘘だ; fact12 & assump1 -> int1: その連帯保証人は怯える; int1 -> int2: その連帯保証人は取り辛いかもしくはそれは怯える; int2 -> int3: 「取り辛いかまたは怯えるかどちらもな」ものはある; int3 & fact7 -> int4: あの大衆車は使い古す; fact18 -> int5: あの大衆車は使い古さない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その連帯保証人は地方政権でない一方でそれは振り落とす; fact6 -> int8: その連帯保証人は地方政権でないが振り落とせばそれは近世期であるということはない; int7 & int8 -> hypothesis; __PROVED__
事実1: あの大衆車は死に場所でない
事実2: もしその看護職者は過激化するとすると「傾聴しないかもしくはそれは適正化するということはない」ということは誤っている
事実3: もしもその連帯保証人が振り落とさないとするとそれは怯える
事実4: もし仮に「その看護職者は傾聴するということはないかまたは適正化するということはない」ということは間違いであるなら酒臭いということはない
事実5: もし仮になにがしかの物は産気付かないとすれば「使い古さないが死に場所だ」ということは成り立たない
事実6: もし仮になにかは地方政権であるということはないけど振り落とすとすると「近世期でない」ということは事実だ
事実7: もしなんらかの物が取り辛いか怯えるかまたはどちらもだとするとあの大衆車は使い古す
事実8: その一揆勢は初々しいかもしくは見切るかまたは両方である
事実9: あの在野法曹は近世期でない
事実10: もしその連帯保証人が擦り減らすとするとそれは怯える
事実11: 「その連帯保証人は使い古すしさらに怯える」ということは間違いだとしたら「その許容範囲は使い古すということはない」ということは誤りでない
事実12: 仮に「その連帯保証人は地方政権でないがしかし振り落とす」ということは成り立たないとすればそれは怯える
事実13: 仮に「「なにかは取り辛くないしそれは近世期でない」ということは本当だ」ということは偽ならば近世期である
事実14: もしも「取り辛い」物があるならばあの大衆車は使い古す
事実15: あの大衆車は相談し易い
事実16: もしもその看護職者が酒臭くないとすれば産気付かない
事実17: その連帯保証人は振り落とす
事実18: 「あの大衆車は使い古さないしその上死に場所だということはない」ということは本当である
事実19: 取り辛い物は近世期だ
事実20: 「死に場所は怯えないしその上使い古しない」ということは嘘でない

仮説: その連帯保証人は近世期でない
1. 仮定1: 以下のように仮定する。「その連帯保証人は地方政権であるということはない一方でそれは振り落とす」ということは嘘だ
2. 事実12と仮定1から、推論1: "その連帯保証人は怯える"が導かれる
3. 推論1から、推論2: "その連帯保証人は取り辛いかもしくはそれは怯える"が導かれる
4. 推論2から、推論3: "「取り辛いかまたは怯えるかどちらもな」ものはある"が導かれる
5. 推論3と事実7から、推論4: "あの大衆車は使い古す"が導かれる
6. 事実18から、推論5: "あの大衆車は使い古さない"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その連帯保証人は地方政権でない一方でそれは振り落とす"が導かれる
9. 事実6から、推論8: "その連帯保証人は地方政権でないが振り落とせばそれは近世期であるということはない"が導かれる
10. 推論7と推論8から、仮説が導かれる

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