もしあの天然繊維は高しということはないとしたら「あのシャットダウンはか細いということはなくて更に錦織りでない」ということは成り立たない
fact1: もし仮にあの天然繊維が高しないならあのディアは小汚いけれど経験出来ない fact2: あの天然繊維は高しならば「あのシャットダウンはか細くないし錦織りでない」ということは間違っている fact3: もしあのディアは宜しいとすれば「あのシャットダウンはか細くないししかも錦織りでない」ということは成り立たない fact4: もし仮になにかは小汚いけど経験出来ないとしたらそれは述ぶ fact5: もしも小汚い物が経験出来るとするとそれは述ぶ fact6: 「あのシャットダウンはか細い一方で錦織りでない」ということは成り立たない fact7: もしもあのディアは宜しいなら「あのシャットダウンはか細い一方でそれは錦織りでない」ということは成り立たない fact8: もし仮になにがしかの物が述ぶなら宜しい fact9: 仮にあのディアは宜しいなら「あのシャットダウンはか細いということはないがしかし錦織りだ」ということは成り立たない fact10: 「あのシャットダウンはか細くないがしかし錦織りだ」ということは成り立たない fact11: あのシャットダウンが高しないとしたらあの天然繊維はか細いということはない fact12: あの天然繊維は高しないならば「あのシャットダウンはか細くないがそれは錦織りである」ということは間違っている fact13: 仮にあの天然繊維は高しないとすればあのシャットダウンはか細くないしその上錦織りだということはない fact14: 仮にあの天然繊維が高しならばあのディアは小汚い一方で経験出来るということはない fact15: もし仮にあの天然繊維は高しないならば「あのディアは経験出来るということはない」ということは真実だ fact16: あのディアは経験出来ない
void -> assump1: 以下のように仮定する。「あの天然繊維は高しない」ということは本当だ; fact1 & assump1 -> int1: あのディアは小汚いがしかし経験出来ない; fact4 -> int2: あのディアは小汚いがしかし経験出来ないなら述ぶ; int1 & int2 -> int3: あのディアは述ぶ; fact8 -> int4: あのディアが述ぶとしたらそれは宜しい; int3 & int4 -> int5: あのディアは宜しい; int5 & fact3 -> int6: 「あのシャットダウンはか細くないし錦織りだということはない」ということは事実と異なる; [assump1] & int6 -> hypothesis;
$facts$ = fact1: もし仮にあの天然繊維が高しないならあのディアは小汚いけれど経験出来ない fact2: あの天然繊維は高しならば「あのシャットダウンはか細くないし錦織りでない」ということは間違っている fact3: もしあのディアは宜しいとすれば「あのシャットダウンはか細くないししかも錦織りでない」ということは成り立たない fact4: もし仮になにかは小汚いけど経験出来ないとしたらそれは述ぶ fact5: もしも小汚い物が経験出来るとするとそれは述ぶ fact6: 「あのシャットダウンはか細い一方で錦織りでない」ということは成り立たない fact7: もしもあのディアは宜しいなら「あのシャットダウンはか細い一方でそれは錦織りでない」ということは成り立たない fact8: もし仮になにがしかの物が述ぶなら宜しい fact9: 仮にあのディアは宜しいなら「あのシャットダウンはか細いということはないがしかし錦織りだ」ということは成り立たない fact10: 「あのシャットダウンはか細くないがしかし錦織りだ」ということは成り立たない fact11: あのシャットダウンが高しないとしたらあの天然繊維はか細いということはない fact12: あの天然繊維は高しないならば「あのシャットダウンはか細くないがそれは錦織りである」ということは間違っている fact13: 仮にあの天然繊維は高しないとすればあのシャットダウンはか細くないしその上錦織りだということはない fact14: 仮にあの天然繊維が高しならばあのディアは小汚い一方で経験出来るということはない fact15: もし仮にあの天然繊維は高しないならば「あのディアは経験出来るということはない」ということは真実だ fact16: あのディアは経験出来ない ; $hypothesis$ = もしあの天然繊維は高しということはないとしたら「あのシャットダウンはか細いということはなくて更に錦織りでない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの天然繊維は高しない」ということは本当だ; fact1 & assump1 -> int1: あのディアは小汚いがしかし経験出来ない; fact4 -> int2: あのディアは小汚いがしかし経験出来ないなら述ぶ; int1 & int2 -> int3: あのディアは述ぶ; fact8 -> int4: あのディアが述ぶとしたらそれは宜しい; int3 & int4 -> int5: あのディアは宜しい; int5 & fact3 -> int6: 「あのシャットダウンはか細くないし錦織りだということはない」ということは事実と異なる; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もし仮にあの天然繊維が高しないならあのディアは小汚いけれど経験出来ない
事実2: あの天然繊維は高しならば「あのシャットダウンはか細くないし錦織りでない」ということは間違っている
事実3: もしあのディアは宜しいとすれば「あのシャットダウンはか細くないししかも錦織りでない」ということは成り立たない
事実4: もし仮になにかは小汚いけど経験出来ないとしたらそれは述ぶ
事実5: もしも小汚い物が経験出来るとするとそれは述ぶ
事実6: 「あのシャットダウンはか細い一方で錦織りでない」ということは成り立たない
事実7: もしもあのディアは宜しいなら「あのシャットダウンはか細い一方でそれは錦織りでない」ということは成り立たない
事実8: もし仮になにがしかの物が述ぶなら宜しい
事実9: 仮にあのディアは宜しいなら「あのシャットダウンはか細いということはないがしかし錦織りだ」ということは成り立たない
事実10: 「あのシャットダウンはか細くないがしかし錦織りだ」ということは成り立たない
事実11: あのシャットダウンが高しないとしたらあの天然繊維はか細いということはない
事実12: あの天然繊維は高しないならば「あのシャットダウンはか細くないがそれは錦織りである」ということは間違っている
事実13: 仮にあの天然繊維は高しないとすればあのシャットダウンはか細くないしその上錦織りだということはない
事実14: 仮にあの天然繊維が高しならばあのディアは小汚い一方で経験出来るということはない
事実15: もし仮にあの天然繊維は高しないならば「あのディアは経験出来るということはない」ということは真実だ
事実16: あのディアは経験出来ない

仮説: もしあの天然繊維は高しということはないとしたら「あのシャットダウンはか細いということはなくて更に錦織りでない」ということは成り立たない
1. 仮定1: 以下のように仮定する。「あの天然繊維は高しない」ということは本当だ
2. 事実1と仮定1から、推論1: "あのディアは小汚いがしかし経験出来ない"が導かれる
3. 事実4から、推論2: "あのディアは小汚いがしかし経験出来ないなら述ぶ"が導かれる
4. 推論1と推論2から、推論3: "あのディアは述ぶ"が導かれる
5. 事実8から、推論4: "あのディアが述ぶとしたらそれは宜しい"が導かれる
6. 推論3と推論4から、推論5: "あのディアは宜しい"が導かれる
7. 推論5と事実3から、推論6: "「あのシャットダウンはか細くないし錦織りだということはない」ということは事実と異なる"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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