あのスエットは技術基準である
fact1: あのスエットは深い fact2: もしそのオリジナルデザインが止めどであるとしたらその相互チェックは止めどだ fact3: もし仮に「このリンク設定は創出するがしかし技術基準だということはない」ということは成り立たないならばそのオリジナルデザインは育ち合わない fact4: 仮になんらかの物が育ち合うとすればそれは止めどである fact5: あの配糖は再利用出来る fact6: もし「「再利用出来ないか止めどでないかまたは両方だ」ということは事実と異なる」ものがあるとすればそのオリジナルデザインは深い fact7: そのオリジナルデザインは再利用出来る fact8: もし「「深くないかあるいは敵中深くないかどちらもだ」ということは成り立たない」物があるとするとあのスエットは育ち合う fact9: 仮に「「深いかまたは敵中深くないかまたは両方ともだ」ということは成り立たない」物があるとするとあのスエットは育ち合う fact10: もしそのオリジナルデザインは再利用出来るとすると「このリンク設定は深いということはないかもしくは敵中深くないかまたはどちらもだ」ということは成り立たない fact11: 止めどは技術基準である
fact10 & fact7 -> int1: 「このリンク設定は深いということはないかもしくはそれは敵中深くないかまたは両方である」ということは偽である; int1 -> int2: 「「深いということはないかあるいは敵中深くないかもしくは両方ともだ」ということは成り立たない」物はある; int2 & fact8 -> int3: あのスエットは育ち合う; fact4 -> int4: もしも「あのスエットは育ち合う」ということは成り立つとすれば止めどだ; int3 & int4 -> int5: あのスエットは止めどだ; fact11 -> int6: もし仮にあのスエットが止めどならばそれは技術基準だ; int5 & int6 -> hypothesis;
「その相互チェックは止めどである」ということは正しい
$facts$ = fact1: あのスエットは深い fact2: もしそのオリジナルデザインが止めどであるとしたらその相互チェックは止めどだ fact3: もし仮に「このリンク設定は創出するがしかし技術基準だということはない」ということは成り立たないならばそのオリジナルデザインは育ち合わない fact4: 仮になんらかの物が育ち合うとすればそれは止めどである fact5: あの配糖は再利用出来る fact6: もし「「再利用出来ないか止めどでないかまたは両方だ」ということは事実と異なる」ものがあるとすればそのオリジナルデザインは深い fact7: そのオリジナルデザインは再利用出来る fact8: もし「「深くないかあるいは敵中深くないかどちらもだ」ということは成り立たない」物があるとするとあのスエットは育ち合う fact9: 仮に「「深いかまたは敵中深くないかまたは両方ともだ」ということは成り立たない」物があるとするとあのスエットは育ち合う fact10: もしそのオリジナルデザインは再利用出来るとすると「このリンク設定は深いということはないかもしくは敵中深くないかまたはどちらもだ」ということは成り立たない fact11: 止めどは技術基準である ; $hypothesis$ = あのスエットは技術基準である ; $proof$ = 
fact10 & fact7 -> int1: 「このリンク設定は深いということはないかもしくはそれは敵中深くないかまたは両方である」ということは偽である; int1 -> int2: 「「深いということはないかあるいは敵中深くないかもしくは両方ともだ」ということは成り立たない」物はある; int2 & fact8 -> int3: あのスエットは育ち合う; fact4 -> int4: もしも「あのスエットは育ち合う」ということは成り立つとすれば止めどだ; int3 & int4 -> int5: あのスエットは止めどだ; fact11 -> int6: もし仮にあのスエットが止めどならばそれは技術基準だ; int5 & int6 -> hypothesis; __PROVED__
事実1: あのスエットは深い
事実2: もしそのオリジナルデザインが止めどであるとしたらその相互チェックは止めどだ
事実3: もし仮に「このリンク設定は創出するがしかし技術基準だということはない」ということは成り立たないならばそのオリジナルデザインは育ち合わない
事実4: 仮になんらかの物が育ち合うとすればそれは止めどである
事実5: あの配糖は再利用出来る
事実6: もし「「再利用出来ないか止めどでないかまたは両方だ」ということは事実と異なる」ものがあるとすればそのオリジナルデザインは深い
事実7: そのオリジナルデザインは再利用出来る
事実8: もし「「深くないかあるいは敵中深くないかどちらもだ」ということは成り立たない」物があるとするとあのスエットは育ち合う
事実9: 仮に「「深いかまたは敵中深くないかまたは両方ともだ」ということは成り立たない」物があるとするとあのスエットは育ち合う
事実10: もしそのオリジナルデザインは再利用出来るとすると「このリンク設定は深いということはないかもしくは敵中深くないかまたはどちらもだ」ということは成り立たない
事実11: 止めどは技術基準である

仮説: あのスエットは技術基準である
1. 事実10と事実7から、推論1: "「このリンク設定は深いということはないかもしくはそれは敵中深くないかまたは両方である」ということは偽である"が導かれる
2. 推論1から、推論2: "「「深いということはないかあるいは敵中深くないかもしくは両方ともだ」ということは成り立たない」物はある"が導かれる
3. 推論2と事実8から、推論3: "あのスエットは育ち合う"が導かれる
4. 事実4から、推論4: "もしも「あのスエットは育ち合う」ということは成り立つとすれば止めどだ"が導かれる
5. 推論3と推論4から、推論5: "あのスエットは止めどだ"が導かれる
6. 事実11から、推論6: "もし仮にあのスエットが止めどならばそれは技術基準だ"が導かれる
7. 推論5と推論6から、仮説が導かれる

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