「そのコミュニケーション・ツールは幼しということはなくておまけに遣り難くない」ということは成り立たない
fact1: もしなにがしかのものがちぎれ易いとしたらそれは遣り難くない fact2: もしあの必要額は遣り難くないとすれば「そのコミュニケーション・ツールは幼しないし遣り難くない」ということは真実だということはない fact3: もしある物が怖いとしたら遣り難いということはない fact4: もしも「「その三拍子は塗り分けるということはないしそれに怖くない」ということは誤っている」ということは成り立つとすればその東西軸は怖い fact5: その只中は塗り分けない fact6: あの必要額は塗り分けない fact7: あの必要額が塗り分けないとすればちぎれ易いかまたは怖い
fact1 -> int1: もしあの必要額がちぎれ易いとしたら遣り難くない; fact7 & fact6 -> int2: あの必要額はちぎれ易いかそれは怖いかもしくは両方だ; fact3 -> int3: もしあの必要額が怖いならばそれは遣り難くない; int1 & int2 & int3 -> int4: あの必要額は遣り難くない; int4 & fact2 -> hypothesis;
そのコミュニケーション・ツールは幼しないしそれは遣り難くない
$facts$ = fact1: もしなにがしかのものがちぎれ易いとしたらそれは遣り難くない fact2: もしあの必要額は遣り難くないとすれば「そのコミュニケーション・ツールは幼しないし遣り難くない」ということは真実だということはない fact3: もしある物が怖いとしたら遣り難いということはない fact4: もしも「「その三拍子は塗り分けるということはないしそれに怖くない」ということは誤っている」ということは成り立つとすればその東西軸は怖い fact5: その只中は塗り分けない fact6: あの必要額は塗り分けない fact7: あの必要額が塗り分けないとすればちぎれ易いかまたは怖い ; $hypothesis$ = 「そのコミュニケーション・ツールは幼しということはなくておまけに遣り難くない」ということは成り立たない ; $proof$ = 
fact1 -> int1: もしあの必要額がちぎれ易いとしたら遣り難くない; fact7 & fact6 -> int2: あの必要額はちぎれ易いかそれは怖いかもしくは両方だ; fact3 -> int3: もしあの必要額が怖いならばそれは遣り難くない; int1 & int2 & int3 -> int4: あの必要額は遣り難くない; int4 & fact2 -> hypothesis; __PROVED__
事実1: もしなにがしかのものがちぎれ易いとしたらそれは遣り難くない
事実2: もしあの必要額は遣り難くないとすれば「そのコミュニケーション・ツールは幼しないし遣り難くない」ということは真実だということはない
事実3: もしある物が怖いとしたら遣り難いということはない
事実4: もしも「「その三拍子は塗り分けるということはないしそれに怖くない」ということは誤っている」ということは成り立つとすればその東西軸は怖い
事実5: その只中は塗り分けない
事実6: あの必要額は塗り分けない
事実7: あの必要額が塗り分けないとすればちぎれ易いかまたは怖い

仮説: 「そのコミュニケーション・ツールは幼しということはなくておまけに遣り難くない」ということは成り立たない
1. 事実1から、推論1: "もしあの必要額がちぎれ易いとしたら遣り難くない"が導かれる
2. 事実7と事実6から、推論2: "あの必要額はちぎれ易いかそれは怖いかもしくは両方だ"が導かれる
3. 事実3から、推論3: "もしあの必要額が怖いならばそれは遣り難くない"が導かれる
4. 推論1と推論2と推論3から、推論4: "あの必要額は遣り難くない"が導かれる
5. 推論4と事実2から、仮説が導かれる

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