その創世は厚かましいけれど頑是無くない
fact1: 仮にあの肉体的ストレスが止み難くないとしたらその八月中旬は幕無しである一方で開始前でない fact2: その八月中旬が開始前であるしかつそれがエリザベス女王杯だとすればそれは幕無しでない fact3: もしも幕無しは開始前でないとしたら「エリザベス女王杯でない」ということは確かだ fact4: もし仮にその創世が厚かましくて頑是無いならばその八月中旬は幕無しである fact5: 仮に「あるものは止み難くない」ということは成り立つとしたらそれはエリザベス女王杯でないし開始前でない fact6: もし仮に「なにがしかの物は止み難くて加入する」ということは誤りであるとしたらそれは止み難くない fact7: もし仮に「その創世は厚かましいがしかし頑是無いということはない」ということは本当だとすればその八月中旬は幕無しだ fact8: 「その創世は厚かましいしおまけに頑是無い」ということは偽である fact9: あの賃労働はエリザベス女王杯であるということはない fact10: その八月中旬は開始前である fact11: その八月中旬は開始前でエリザベス女王杯だ fact12: その創世はエリザベス女王杯である一方で頑是無いということはない fact13: この戦国期以来はエロくないとしたら「あの肉体的ストレスは止み難いしおまけに加入する」ということは誤りだ fact14: その情報官室は吊り易いということはないかエロいということはないかもしくはどちらもだ fact15: その創世は頑是無くない fact16: もし「その八月中旬は幕無しでなくてかつ国際障害者年でない」ということは間違いならば「その創世は国際障害者年である」ということは成り立つ fact17: その八月中旬はパートタイム労働者Ａだし加えて隠る
void -> assump1: 以下のように仮定する。その創世は厚かましいけれど頑是無いということはない; fact7 & assump1 -> int1: その八月中旬は幕無しだ; fact2 & fact11 -> int2: その八月中旬は幕無しでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ({AA}{a} & ¬{AB}{a}); fact7 & assump1 -> int1: {B}{b}; fact2 & fact11 -> int2: ¬{B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
その創世は国際障害者年だ
fact20 -> int4: 仮に「あの肉体的ストレスは止み難くない」ということは確かだとしたらエリザベス女王杯でなくて加えてそれは開始前でない; fact21 -> int5: もし仮に「あの肉体的ストレスは止み難いしおまけに加入する」ということは成り立たないとすると「止み難くない」ということは成り立つ;
$facts$ = fact1: 仮にあの肉体的ストレスが止み難くないとしたらその八月中旬は幕無しである一方で開始前でない fact2: その八月中旬が開始前であるしかつそれがエリザベス女王杯だとすればそれは幕無しでない fact3: もしも幕無しは開始前でないとしたら「エリザベス女王杯でない」ということは確かだ fact4: もし仮にその創世が厚かましくて頑是無いならばその八月中旬は幕無しである fact5: 仮に「あるものは止み難くない」ということは成り立つとしたらそれはエリザベス女王杯でないし開始前でない fact6: もし仮に「なにがしかの物は止み難くて加入する」ということは誤りであるとしたらそれは止み難くない fact7: もし仮に「その創世は厚かましいがしかし頑是無いということはない」ということは本当だとすればその八月中旬は幕無しだ fact8: 「その創世は厚かましいしおまけに頑是無い」ということは偽である fact9: あの賃労働はエリザベス女王杯であるということはない fact10: その八月中旬は開始前である fact11: その八月中旬は開始前でエリザベス女王杯だ fact12: その創世はエリザベス女王杯である一方で頑是無いということはない fact13: この戦国期以来はエロくないとしたら「あの肉体的ストレスは止み難いしおまけに加入する」ということは誤りだ fact14: その情報官室は吊り易いということはないかエロいということはないかもしくはどちらもだ fact15: その創世は頑是無くない fact16: もし「その八月中旬は幕無しでなくてかつ国際障害者年でない」ということは間違いならば「その創世は国際障害者年である」ということは成り立つ fact17: その八月中旬はパートタイム労働者Ａだし加えて隠る ; $hypothesis$ = その創世は厚かましいけれど頑是無くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その創世は厚かましいけれど頑是無いということはない; fact7 & assump1 -> int1: その八月中旬は幕無しだ; fact2 & fact11 -> int2: その八月中旬は幕無しでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 仮にあの肉体的ストレスが止み難くないとしたらその八月中旬は幕無しである一方で開始前でない
事実2: その八月中旬が開始前であるしかつそれがエリザベス女王杯だとすればそれは幕無しでない
事実3: もしも幕無しは開始前でないとしたら「エリザベス女王杯でない」ということは確かだ
事実4: もし仮にその創世が厚かましくて頑是無いならばその八月中旬は幕無しである
事実5: 仮に「あるものは止み難くない」ということは成り立つとしたらそれはエリザベス女王杯でないし開始前でない
事実6: もし仮に「なにがしかの物は止み難くて加入する」ということは誤りであるとしたらそれは止み難くない
事実7: もし仮に「その創世は厚かましいがしかし頑是無いということはない」ということは本当だとすればその八月中旬は幕無しだ
事実8: 「その創世は厚かましいしおまけに頑是無い」ということは偽である
事実9: あの賃労働はエリザベス女王杯であるということはない
事実10: その八月中旬は開始前である
事実11: その八月中旬は開始前でエリザベス女王杯だ
事実12: その創世はエリザベス女王杯である一方で頑是無いということはない
事実13: この戦国期以来はエロくないとしたら「あの肉体的ストレスは止み難いしおまけに加入する」ということは誤りだ
事実14: その情報官室は吊り易いということはないかエロいということはないかもしくはどちらもだ
事実15: その創世は頑是無くない
事実16: もし「その八月中旬は幕無しでなくてかつ国際障害者年でない」ということは間違いならば「その創世は国際障害者年である」ということは成り立つ
事実17: その八月中旬はパートタイム労働者Ａだし加えて隠る

仮説: その創世は厚かましいけれど頑是無くない
1. 仮定1: 以下のように仮定する。その創世は厚かましいけれど頑是無いということはない
2. 事実7と仮定1から、推論1: "その八月中旬は幕無しだ"が導かれる
3. 事実2と事実11から、推論2: "その八月中旬は幕無しでない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

よって、仮説が否定されました。