「この電話機は付け易くないけれど掛かり難い」ということは事実と異なる
fact1: もしこの連邦主義者は加入期間でないならば「この電話機は来易くないしその上公開しない」ということは誤っている fact2: もしもこの連邦主義者が加入期間であるならばあの電話機は付け易くないが掛かり難い fact3: もしこの連邦主義者は加入期間であるとしたらそれは掛かり難くない fact4: 仮に「「この電話機は加入期間でなくてそれは号令しない」ということは成り立つ」ということは成り立たないとすればそれは言い続けない fact5: もしこの臨床像は掛かり難くないならば「それはカウンター席だということはなくてまた総教習日本人である」ということは成り立つということはない fact6: もしも「なんらかのものは螺鈿細工でなくてそれは人間っぽくない」ということは成り立たないとしたらＳＴアンドでない fact7: この連邦主義者は加入期間でない fact8: その断は掛かり難いということはない fact9: 「とあるものは来易くないし公開しない」ということは成り立たないとすれば教育的支援でない fact10: 弛いということはないものは加入期間であるし加えて教育的支援だ fact11: もしその不穏状態は公開しないとすると「それは酸化し難くないしかつ縫う」ということは事実と異なる fact12: この電話機は教育的支援でないならば「ＳＴアンドでまたそれは受けだ」ということは成り立たない fact13: 仮にこの電話機が来易いとすれば教育的支援でない fact14: なにがしかの物は教育的支援でないとしたら「それは付け易くないしおまけにそれは掛かり難い」ということは事実と異なる
fact1 & fact7 -> int1: 「この電話機は来易くないし加えて公開しない」ということは成り立つということはない; fact9 -> int2: もし仮に「この電話機は来易くないし加えて公開しない」ということは間違っているならそれは教育的支援でない; int1 & int2 -> int3: この電話機は教育的支援でない; fact14 -> int4: もしもこの電話機は教育的支援でないならば「付け易くないしまた掛かり難い」ということは成り立たない; int3 & int4 -> hypothesis;
この電話機は付け易くない一方で掛かり難い
fact15 -> int5: この連邦主義者が弛くないなら加入期間であるし加えて教育的支援だ;
$facts$ = fact1: もしこの連邦主義者は加入期間でないならば「この電話機は来易くないしその上公開しない」ということは誤っている fact2: もしもこの連邦主義者が加入期間であるならばあの電話機は付け易くないが掛かり難い fact3: もしこの連邦主義者は加入期間であるとしたらそれは掛かり難くない fact4: 仮に「「この電話機は加入期間でなくてそれは号令しない」ということは成り立つ」ということは成り立たないとすればそれは言い続けない fact5: もしこの臨床像は掛かり難くないならば「それはカウンター席だということはなくてまた総教習日本人である」ということは成り立つということはない fact6: もしも「なんらかのものは螺鈿細工でなくてそれは人間っぽくない」ということは成り立たないとしたらＳＴアンドでない fact7: この連邦主義者は加入期間でない fact8: その断は掛かり難いということはない fact9: 「とあるものは来易くないし公開しない」ということは成り立たないとすれば教育的支援でない fact10: 弛いということはないものは加入期間であるし加えて教育的支援だ fact11: もしその不穏状態は公開しないとすると「それは酸化し難くないしかつ縫う」ということは事実と異なる fact12: この電話機は教育的支援でないならば「ＳＴアンドでまたそれは受けだ」ということは成り立たない fact13: 仮にこの電話機が来易いとすれば教育的支援でない fact14: なにがしかの物は教育的支援でないとしたら「それは付け易くないしおまけにそれは掛かり難い」ということは事実と異なる ; $hypothesis$ = 「この電話機は付け易くないけれど掛かり難い」ということは事実と異なる ; $proof$ = 
fact1 & fact7 -> int1: 「この電話機は来易くないし加えて公開しない」ということは成り立つということはない; fact9 -> int2: もし仮に「この電話機は来易くないし加えて公開しない」ということは間違っているならそれは教育的支援でない; int1 & int2 -> int3: この電話機は教育的支援でない; fact14 -> int4: もしもこの電話機は教育的支援でないならば「付け易くないしまた掛かり難い」ということは成り立たない; int3 & int4 -> hypothesis; __PROVED__
事実1: もしこの連邦主義者は加入期間でないならば「この電話機は来易くないしその上公開しない」ということは誤っている
事実2: もしもこの連邦主義者が加入期間であるならばあの電話機は付け易くないが掛かり難い
事実3: もしこの連邦主義者は加入期間であるとしたらそれは掛かり難くない
事実4: 仮に「「この電話機は加入期間でなくてそれは号令しない」ということは成り立つ」ということは成り立たないとすればそれは言い続けない
事実5: もしこの臨床像は掛かり難くないならば「それはカウンター席だということはなくてまた総教習日本人である」ということは成り立つということはない
事実6: もしも「なんらかのものは螺鈿細工でなくてそれは人間っぽくない」ということは成り立たないとしたらＳＴアンドでない
事実7: この連邦主義者は加入期間でない
事実8: その断は掛かり難いということはない
事実9: 「とあるものは来易くないし公開しない」ということは成り立たないとすれば教育的支援でない
事実10: 弛いということはないものは加入期間であるし加えて教育的支援だ
事実11: もしその不穏状態は公開しないとすると「それは酸化し難くないしかつ縫う」ということは事実と異なる
事実12: この電話機は教育的支援でないならば「ＳＴアンドでまたそれは受けだ」ということは成り立たない
事実13: 仮にこの電話機が来易いとすれば教育的支援でない
事実14: なにがしかの物は教育的支援でないとしたら「それは付け易くないしおまけにそれは掛かり難い」ということは事実と異なる

仮説: 「この電話機は付け易くないけれど掛かり難い」ということは事実と異なる
1. 事実1と事実7から、推論1: "「この電話機は来易くないし加えて公開しない」ということは成り立つということはない"が導かれる
2. 事実9から、推論2: "もし仮に「この電話機は来易くないし加えて公開しない」ということは間違っているならそれは教育的支援でない"が導かれる
3. 推論1と推論2から、推論3: "この電話機は教育的支援でない"が導かれる
4. 事実14から、推論4: "もしもこの電話機は教育的支援でないならば「付け易くないしまた掛かり難い」ということは成り立たない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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