仮にその性格設定が買い手側ならばこの御妙は収集すらない一方で常住である
fact1: もしその性格設定が咎め立てするかそれは企画でないかあるいは両方だとすると「そのトランスデューサは澄まない」ということは誤りだということはない fact2: もしその性格設定が企画でないならそのトランスデューサは澄まない fact3: 「その性格設定は咎め立てするかあるいはそれは企画であるかまたは両方ともである」ということは事実でないならそれは買い手側でない fact4: もしもそのトランスデューサは解さないならば「その性格設定は買い手側でなくてそれにそれは収集すらない」ということは事実と異なる fact5: もし仮に「買い手側であるということはない」物があるとするとこの御妙は企画でないけど収集す fact6: 仮になにがしかのものは好転しないとすると「それは受洗するし加えてそれは送信出来ない」ということは間違っている fact7: 仮に「「その性格設定は咎め立てするかもしくはそれは企画でない」ということは真実だ」ということは成り立たないとすればそれは買い手側でない fact8: もしも「この御妙は受洗するが送信出来ない」ということは事実と異なるとするとそのトランスデューサは流行し始める fact9: その性格設定が澄むとするとこのオープンセットは常住でない fact10: もしなにがしかのものは流行し始めればそれは解さない fact11: もし「その性格設定は咎め立てするかもしくはそれは企画でない」ということは事実と異なるとするとそれは買い手側だ fact12: 仮にそのトランスデューサが常住であるかあるいは収集すらないとするとこの御妙は澄まない fact13: もしなにがしかのものが澄まないならこの御妙は収集すらないが常住だ fact14: もしもなにがしかの物は常住でないならそれは買い手側であるしまた澄む fact15: 「なんらかのものは流行し始めない」ということは成り立つとすれば「収集すらないしそれは解す」ということは間違いである fact16: その性格設定は咎め立てするかあるいは企画だ fact17: 仮に「澄まない」物があるとしたらそのトランスデューサは企画であるということはないが収集す fact18: その性格設定は企画だ fact19: もしも「「澄むということはない」ということは正しい」物があるとしたらこの御妙は常住だ fact20: その性格設定が買い手側であるとしたらこの御妙は常住である fact21: 「澄む」物はある
void -> assump1: 以下のように仮定する。「その性格設定は咎め立てするかまたはそれは企画でないかもしくは両方だ」ということは本当でない; fact7 & assump1 -> int1: その性格設定は買い手側でない; void -> assump2: 以下のように仮定する。その性格設定は買い手側だ; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: その性格設定は咎め立てするか企画でないかもしくはどちらもである; int3 & fact1 -> int4: そのトランスデューサは澄まない; int4 -> int5: なんらかのものは澄まない; int5 & fact13 -> int6: この御妙は収集すらないが常住である; [assump2] & int6 -> hypothesis;
その法的性格は買い手側だ
fact23 -> int7: もしその法的性格は常住でないならばそれは買い手側でおまけに澄む; fact22 -> int8: もしそのトランスデューサは流行し始めないとすると「それは収集すらないがしかし解す」ということは誤っている;
$facts$ = fact1: もしその性格設定が咎め立てするかそれは企画でないかあるいは両方だとすると「そのトランスデューサは澄まない」ということは誤りだということはない fact2: もしその性格設定が企画でないならそのトランスデューサは澄まない fact3: 「その性格設定は咎め立てするかあるいはそれは企画であるかまたは両方ともである」ということは事実でないならそれは買い手側でない fact4: もしもそのトランスデューサは解さないならば「その性格設定は買い手側でなくてそれにそれは収集すらない」ということは事実と異なる fact5: もし仮に「買い手側であるということはない」物があるとするとこの御妙は企画でないけど収集す fact6: 仮になにがしかのものは好転しないとすると「それは受洗するし加えてそれは送信出来ない」ということは間違っている fact7: 仮に「「その性格設定は咎め立てするかもしくはそれは企画でない」ということは真実だ」ということは成り立たないとすればそれは買い手側でない fact8: もしも「この御妙は受洗するが送信出来ない」ということは事実と異なるとするとそのトランスデューサは流行し始める fact9: その性格設定が澄むとするとこのオープンセットは常住でない fact10: もしなにがしかのものは流行し始めればそれは解さない fact11: もし「その性格設定は咎め立てするかもしくはそれは企画でない」ということは事実と異なるとするとそれは買い手側だ fact12: 仮にそのトランスデューサが常住であるかあるいは収集すらないとするとこの御妙は澄まない fact13: もしなにがしかのものが澄まないならこの御妙は収集すらないが常住だ fact14: もしもなにがしかの物は常住でないならそれは買い手側であるしまた澄む fact15: 「なんらかのものは流行し始めない」ということは成り立つとすれば「収集すらないしそれは解す」ということは間違いである fact16: その性格設定は咎め立てするかあるいは企画だ fact17: 仮に「澄まない」物があるとしたらそのトランスデューサは企画であるということはないが収集す fact18: その性格設定は企画だ fact19: もしも「「澄むということはない」ということは正しい」物があるとしたらこの御妙は常住だ fact20: その性格設定が買い手側であるとしたらこの御妙は常住である fact21: 「澄む」物はある ; $hypothesis$ = 仮にその性格設定が買い手側ならばこの御妙は収集すらない一方で常住である ; $proof$ = 
void -> assump1: 以下のように仮定する。「その性格設定は咎め立てするかまたはそれは企画でないかもしくは両方だ」ということは本当でない; fact7 & assump1 -> int1: その性格設定は買い手側でない; void -> assump2: 以下のように仮定する。その性格設定は買い手側だ; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: その性格設定は咎め立てするか企画でないかもしくはどちらもである; int3 & fact1 -> int4: そのトランスデューサは澄まない; int4 -> int5: なんらかのものは澄まない; int5 & fact13 -> int6: この御妙は収集すらないが常住である; [assump2] & int6 -> hypothesis; __PROVED__
事実1: もしその性格設定が咎め立てするかそれは企画でないかあるいは両方だとすると「そのトランスデューサは澄まない」ということは誤りだということはない
事実2: もしその性格設定が企画でないならそのトランスデューサは澄まない
事実3: 「その性格設定は咎め立てするかあるいはそれは企画であるかまたは両方ともである」ということは事実でないならそれは買い手側でない
事実4: もしもそのトランスデューサは解さないならば「その性格設定は買い手側でなくてそれにそれは収集すらない」ということは事実と異なる
事実5: もし仮に「買い手側であるということはない」物があるとするとこの御妙は企画でないけど収集す
事実6: 仮になにがしかのものは好転しないとすると「それは受洗するし加えてそれは送信出来ない」ということは間違っている
事実7: 仮に「「その性格設定は咎め立てするかもしくはそれは企画でない」ということは真実だ」ということは成り立たないとすればそれは買い手側でない
事実8: もしも「この御妙は受洗するが送信出来ない」ということは事実と異なるとするとそのトランスデューサは流行し始める
事実9: その性格設定が澄むとするとこのオープンセットは常住でない
事実10: もしなにがしかのものは流行し始めればそれは解さない
事実11: もし「その性格設定は咎め立てするかもしくはそれは企画でない」ということは事実と異なるとするとそれは買い手側だ
事実12: 仮にそのトランスデューサが常住であるかあるいは収集すらないとするとこの御妙は澄まない
事実13: もしなにがしかのものが澄まないならこの御妙は収集すらないが常住だ
事実14: もしもなにがしかの物は常住でないならそれは買い手側であるしまた澄む
事実15: 「なんらかのものは流行し始めない」ということは成り立つとすれば「収集すらないしそれは解す」ということは間違いである
事実16: その性格設定は咎め立てするかあるいは企画だ
事実17: 仮に「澄まない」物があるとしたらそのトランスデューサは企画であるということはないが収集す
事実18: その性格設定は企画だ
事実19: もしも「「澄むということはない」ということは正しい」物があるとしたらこの御妙は常住だ
事実20: その性格設定が買い手側であるとしたらこの御妙は常住である
事実21: 「澄む」物はある

仮説: 仮にその性格設定が買い手側ならばこの御妙は収集すらない一方で常住である
1. 仮定1: 以下のように仮定する。「その性格設定は咎め立てするかまたはそれは企画でないかもしくは両方だ」ということは本当でない
2. 事実7と仮定1から、推論1: "その性格設定は買い手側でない"が導かれる
3. 仮定2: 以下のように仮定する。その性格設定は買い手側だ
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "その性格設定は咎め立てするか企画でないかもしくはどちらもである"が導かれる
6. 推論3と事実1から、推論4: "そのトランスデューサは澄まない"が導かれる
7. 推論4から、推論5: "なんらかのものは澄まない"が導かれる
8. 推論5と事実13から、推論6: "この御妙は収集すらないが常住である"が導かれる
9. [仮定2]と推論6から、仮説が導かれる

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