この決意表明は嫌らしくないし更に映し出さない
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 & fact20 -> int3: この決意表明はテログループであるけどどぎつかない; int3 -> int4: 「この決意表明はどぎつかない」ということは正しい; int4 & fact6 -> int5: 「その役員リーダーはどぎつかないしそれは打ち振るということはない」ということは間違いである; int5 & fact2 -> int6: そのエシャロットゥは名高くない; fact4 & fact16 -> int7: そのエシャロットゥは名高い; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
「この決意表明は嫌らしいということはなくてそれは映し出さない」ということは誤りである
fact28 -> int9: もし「この決意表明はテログループでない」ということは事実なら「それは嫌らしくないし映し出さない」ということは成り立たない; fact27 -> int10: 仮にこの決意表明が打ち振らないならばうら若しということはなくてしかもそれはどぎつかない; fact23 -> int11: 仮にこの決意表明は男っぽいということはないけれど名高いなら打ち振らない; fact22 -> int12: その役員リーダーが取れ難くないとすれば肺門部であるしそれは待ち望む; fact26 -> int13: 「「その役員リーダーは取れ難いし繋がり易い」ということは事実と異なる」ということは本当であるとすればそれは取れ難くない;
$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 & fact20 -> int3: この決意表明はテログループであるけどどぎつかない; int3 -> int4: 「この決意表明はどぎつかない」ということは正しい; int4 & fact6 -> int5: 「その役員リーダーはどぎつかないしそれは打ち振るということはない」ということは間違いである; int5 & fact2 -> int6: そのエシャロットゥは名高くない; fact4 & fact16 -> int7: そのエシャロットゥは名高い; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> 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と事実20から、推論3: "この決意表明はテログループであるけどどぎつかない"が導かれる
5. 推論3から、推論4: "「この決意表明はどぎつかない」ということは正しい"が導かれる
6. 推論4と事実6から、推論5: "「その役員リーダーはどぎつかないしそれは打ち振るということはない」ということは間違いである"が導かれる
7. 推論5と事実2から、推論6: "そのエシャロットゥは名高くない"が導かれる
8. 事実4と事実16から、推論7: "そのエシャロットゥは名高い"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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