その解約金は通信光だ
fact1: 「「あの幼生は情け深くない一方で滑り出る」ということは間違っている」ということは正しい fact2: 「この基本料金は情け深くないかもしくは御早いかまたはどちらもだ」ということは成り立つということはない fact3: 「もしも「あの幼生は情け深くないけれど滑り出る」ということは間違いだとしたらあの幼生は興奮し易くない」ということは誤りでない fact4: 仮に「この基本料金はしつっこい」ということは事実だとするとこの二番差しはしつっこくない fact5: もしもこの二番差しはしつっこくないならあの幼生は通信光でないけれど急き込む fact6: もしも「この二番差しは取り続けるということはないし興奮し易いということはない」ということは成り立たないならばあの幼生は急き込まない fact7: 情け深いものは滑り出る fact8: もしあの幼生が取り続けないとするとそれは通信光だということはない fact9: もし「何らかのものは通信光でない」ということは事実であるとしたらそれは暗いけれど世界都市でない fact10: もしもなにがしかの物は急き込まないとすると「それはしつっこいしかつ通信光だ」ということは確かでない fact11: 仮に「通信光でない」物はあれば「その解約金は流管でないけれどそれは暗い」ということは偽である fact12: 仮に「その解約金は暗いかもしくは急き込む」ということは本当だとすればあの幼生はしつっこいということはない fact13: その解約金は暗いか情け深い fact14: もしもその解約金が通信光でないとすればそれは世界都市でない fact15: もしあるものが取り続けるがそれは興奮し易くないとすればそれはしつっこい fact16: その解約金はテクノクラート閣僚でない fact17: とある物は興奮し易くないとすればしつっこいが取り続けない fact18: あの高齢者医療制度は会合しないしおまけに御早くない fact19: 「「「あの幼生は情け深くて滑り出る」ということは真実だ」ということは間違いだ」ということは本当だ fact20: もしもその精神的安定が滑り出るならこの基本料金は取り続ける一方で興奮し易くない
fact9 -> int1: もし仮にその解約金が通信光でないとすればそれは暗いけど世界都市でない; void -> assump1: 以下のように仮定する。その解約金は通信光でない; int1 & assump1 -> int2: その解約金は暗いけど世界都市でない; int2 -> int3: その解約金は暗い; int3 -> int4: その解約金は暗いかまたはそれは急き込むかあるいは両方である; int4 & fact12 -> int5: 「あの幼生はしつっこくない」ということは正しい; fact3 & fact1 -> int6: あの幼生は興奮し易くない; fact17 -> int7: もし仮にあの幼生は興奮し易くないならばそれはしつっこいが取り続けない; int6 & int7 -> int8: あの幼生はしつっこいけど取り続けるということはない; int8 -> int9: あの幼生はしつっこい; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
その解約金は通信光でない
fact23 -> int11: もし仮にあの幼生は急き込まないとしたら「それはしつっこいし通信光だ」ということは成り立たない; fact22 -> int12: 「「情け深いということはないかもしくは御早いかまたは両方ともである」ということは嘘である」物はある;
$facts$ = fact1: 「「あの幼生は情け深くない一方で滑り出る」ということは間違っている」ということは正しい fact2: 「この基本料金は情け深くないかもしくは御早いかまたはどちらもだ」ということは成り立つということはない fact3: 「もしも「あの幼生は情け深くないけれど滑り出る」ということは間違いだとしたらあの幼生は興奮し易くない」ということは誤りでない fact4: 仮に「この基本料金はしつっこい」ということは事実だとするとこの二番差しはしつっこくない fact5: もしもこの二番差しはしつっこくないならあの幼生は通信光でないけれど急き込む fact6: もしも「この二番差しは取り続けるということはないし興奮し易いということはない」ということは成り立たないならばあの幼生は急き込まない fact7: 情け深いものは滑り出る fact8: もしあの幼生が取り続けないとするとそれは通信光だということはない fact9: もし「何らかのものは通信光でない」ということは事実であるとしたらそれは暗いけれど世界都市でない fact10: もしもなにがしかの物は急き込まないとすると「それはしつっこいしかつ通信光だ」ということは確かでない fact11: 仮に「通信光でない」物はあれば「その解約金は流管でないけれどそれは暗い」ということは偽である fact12: 仮に「その解約金は暗いかもしくは急き込む」ということは本当だとすればあの幼生はしつっこいということはない fact13: その解約金は暗いか情け深い fact14: もしもその解約金が通信光でないとすればそれは世界都市でない fact15: もしあるものが取り続けるがそれは興奮し易くないとすればそれはしつっこい fact16: その解約金はテクノクラート閣僚でない fact17: とある物は興奮し易くないとすればしつっこいが取り続けない fact18: あの高齢者医療制度は会合しないしおまけに御早くない fact19: 「「「あの幼生は情け深くて滑り出る」ということは真実だ」ということは間違いだ」ということは本当だ fact20: もしもその精神的安定が滑り出るならこの基本料金は取り続ける一方で興奮し易くない ; $hypothesis$ = その解約金は通信光だ ; $proof$ = 
fact9 -> int1: もし仮にその解約金が通信光でないとすればそれは暗いけど世界都市でない; void -> assump1: 以下のように仮定する。その解約金は通信光でない; int1 & assump1 -> int2: その解約金は暗いけど世界都市でない; int2 -> int3: その解約金は暗い; int3 -> int4: その解約金は暗いかまたはそれは急き込むかあるいは両方である; int4 & fact12 -> int5: 「あの幼生はしつっこくない」ということは正しい; fact3 & fact1 -> int6: あの幼生は興奮し易くない; fact17 -> int7: もし仮にあの幼生は興奮し易くないならばそれはしつっこいが取り続けない; int6 & int7 -> int8: あの幼生はしつっこいけど取り続けるということはない; int8 -> int9: あの幼生はしつっこい; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __PROVED__
事実1: 「「あの幼生は情け深くない一方で滑り出る」ということは間違っている」ということは正しい
事実2: 「この基本料金は情け深くないかもしくは御早いかまたはどちらもだ」ということは成り立つということはない
事実3: 「もしも「あの幼生は情け深くないけれど滑り出る」ということは間違いだとしたらあの幼生は興奮し易くない」ということは誤りでない
事実4: 仮に「この基本料金はしつっこい」ということは事実だとするとこの二番差しはしつっこくない
事実5: もしもこの二番差しはしつっこくないならあの幼生は通信光でないけれど急き込む
事実6: もしも「この二番差しは取り続けるということはないし興奮し易いということはない」ということは成り立たないならばあの幼生は急き込まない
事実7: 情け深いものは滑り出る
事実8: もしあの幼生が取り続けないとするとそれは通信光だということはない
事実9: もし「何らかのものは通信光でない」ということは事実であるとしたらそれは暗いけれど世界都市でない
事実10: もしもなにがしかの物は急き込まないとすると「それはしつっこいしかつ通信光だ」ということは確かでない
事実11: 仮に「通信光でない」物はあれば「その解約金は流管でないけれどそれは暗い」ということは偽である
事実12: 仮に「その解約金は暗いかもしくは急き込む」ということは本当だとすればあの幼生はしつっこいということはない
事実13: その解約金は暗いか情け深い
事実14: もしもその解約金が通信光でないとすればそれは世界都市でない
事実15: もしあるものが取り続けるがそれは興奮し易くないとすればそれはしつっこい
事実16: その解約金はテクノクラート閣僚でない
事実17: とある物は興奮し易くないとすればしつっこいが取り続けない
事実18: あの高齢者医療制度は会合しないしおまけに御早くない
事実19: 「「「あの幼生は情け深くて滑り出る」ということは真実だ」ということは間違いだ」ということは本当だ
事実20: もしもその精神的安定が滑り出るならこの基本料金は取り続ける一方で興奮し易くない

仮説: その解約金は通信光だ
1. 事実9から、推論1: "もし仮にその解約金が通信光でないとすればそれは暗いけど世界都市でない"が導かれる
2. 仮定1: 以下のように仮定する。その解約金は通信光でない
3. 推論1と仮定1から、推論2: "その解約金は暗いけど世界都市でない"が導かれる
4. 推論2から、推論3: "その解約金は暗い"が導かれる
5. 推論3から、推論4: "その解約金は暗いかまたはそれは急き込むかあるいは両方である"が導かれる
6. 推論4と事実12から、推論5: "「あの幼生はしつっこくない」ということは正しい"が導かれる
7. 事実3と事実1から、推論6: "あの幼生は興奮し易くない"が導かれる
8. 事実17から、推論7: "もし仮にあの幼生は興奮し易くないならばそれはしつっこいが取り続けない"が導かれる
9. 推論6と推論7から、推論8: "あの幼生はしつっこいけど取り続けるということはない"が導かれる
10. 推論8から、推論9: "あの幼生はしつっこい"が導かれる
11. 推論5と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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