この二十年頃は興奮し易い一方でそれは差し出がましいということはない
fact1: もしなにがしかの物が伸展しないかあるいは長続きするかどちらもであるなら「通解でない」ということは事実である fact2: もしもこの二十年頃が社会的システムであるならその乙姫様は差し出がましいが興奮し易くない fact3: この列方向は興奮し易い fact4: もしその乙姫様が興奮し易いならばこの二十年頃は差し出がましいけれど社会的システムでない fact5: 「その乙姫様は社会的システムだ」ということは事実だ fact6: その乙姫様は削除フラグである fact7: この二十年頃は差し出がましかない fact8: もしなんらかの物は社会的システムだとしたら「興奮し易い一方で差し出がましかない」ということは成り立つということはない fact9: その乙姫様が社会的システムであるとしたらこの二十年頃は差し出がましかない fact10: もし仮にその乙姫様が通解でないならこの二十年頃は青函トンネルであるか欲深いかもしくはどちらもである fact11: この十戒は差し出がましい fact12: その乙姫様が社会的システムであるとするとこの二十年頃は興奮し易いがしかし差し出がましいということはない
fact12 & fact5 -> hypothesis;
fact12 & fact5 -> hypothesis;
「この二十年頃は興奮し易い一方で差し出がましかない」ということは偽である
fact13 -> int1: もしこの二十年頃は社会的システムであるなら「それは興奮し易くて差し出がましかない」ということは間違っている; fact14 -> int2: もしもその乙姫様が伸展しないかそれが長続きすれば通解でない;
$facts$ = fact1: もしなにがしかの物が伸展しないかあるいは長続きするかどちらもであるなら「通解でない」ということは事実である fact2: もしもこの二十年頃が社会的システムであるならその乙姫様は差し出がましいが興奮し易くない fact3: この列方向は興奮し易い fact4: もしその乙姫様が興奮し易いならばこの二十年頃は差し出がましいけれど社会的システムでない fact5: 「その乙姫様は社会的システムだ」ということは事実だ fact6: その乙姫様は削除フラグである fact7: この二十年頃は差し出がましかない fact8: もしなんらかの物は社会的システムだとしたら「興奮し易い一方で差し出がましかない」ということは成り立つということはない fact9: その乙姫様が社会的システムであるとしたらこの二十年頃は差し出がましかない fact10: もし仮にその乙姫様が通解でないならこの二十年頃は青函トンネルであるか欲深いかもしくはどちらもである fact11: この十戒は差し出がましい fact12: その乙姫様が社会的システムであるとするとこの二十年頃は興奮し易いがしかし差し出がましいということはない ; $hypothesis$ = この二十年頃は興奮し易い一方でそれは差し出がましいということはない ; $proof$ = 
fact12 & fact5 -> hypothesis; __PROVED__
事実1: もしなにがしかの物が伸展しないかあるいは長続きするかどちらもであるなら「通解でない」ということは事実である
事実2: もしもこの二十年頃が社会的システムであるならその乙姫様は差し出がましいが興奮し易くない
事実3: この列方向は興奮し易い
事実4: もしその乙姫様が興奮し易いならばこの二十年頃は差し出がましいけれど社会的システムでない
事実5: 「その乙姫様は社会的システムだ」ということは事実だ
事実6: その乙姫様は削除フラグである
事実7: この二十年頃は差し出がましかない
事実8: もしなんらかの物は社会的システムだとしたら「興奮し易い一方で差し出がましかない」ということは成り立つということはない
事実9: その乙姫様が社会的システムであるとしたらこの二十年頃は差し出がましかない
事実10: もし仮にその乙姫様が通解でないならこの二十年頃は青函トンネルであるか欲深いかもしくはどちらもである
事実11: この十戒は差し出がましい
事実12: その乙姫様が社会的システムであるとするとこの二十年頃は興奮し易いがしかし差し出がましいということはない

仮説: この二十年頃は興奮し易い一方でそれは差し出がましいということはない
1. 事実12と事実5から、仮説が導かれる

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