その許容領域は曲折しない
fact1: もし「何らかの物はブランドらしい」ということは真実であるとするとその許容領域は三十六人でないかあるいはそれは曲折する fact2: 仮に「三十六人でないか曲折するかまたは両方である」物はあるなら「この仲裁判断書は三十六人でない」ということは事実である fact3: あのＥＳセイは新しないし鎮火しない fact4: 懐かしものは南山麓である fact5: 「懐かしない」ものはある fact6: もしあのＥＳセイが新しということはないしそれが鎮火しないとしたらブランドらしい fact7: あの知的レベルは線上でないがブランドらしい fact8: この仲裁判断書は懐かしない fact9: ある物はおっかしくないけど粟立つ fact10: 「とあるものは付着し易くないし鎮火しない」ということは偽であるならそれは忝くない fact11: 「なにがしかのものは頼み難い」ということは成り立つ fact12: この仲裁判断書はブランドらしい fact13: もし懐かしないしブランドらしいものがあればその許容領域は曲折する fact14: もし仮に「「ＣＤだ」ということは真実である」物はあるとすれば「その許容領域は付着し易くないし鎮火しない」ということは成り立たない fact15: もしも新しないものは忝くないとすれば「それはブランドらしいということはない」ということは成り立つ fact16: 何らかのものはＣＤである fact17: ブランドらしくない物は曲折しないかもしくは懐かしかあるいはどちらもである fact18: 全ての物は新しないしそれに掛かれない
fact8 & fact12 -> int1: この仲裁判断書は懐かしないけどブランドらしい; int1 -> int2: 「懐かしないししかもブランドらしい」物はある; int2 & fact13 -> hypothesis;
fact8 & fact12 -> int1: (¬{A}{a} & {B}{a}); int1 -> int2: (Ex): (¬{A}x & {B}x); int2 & fact13 -> hypothesis;
「その許容領域は曲折しない」ということは成り立つ
fact19 -> int3: 「もしも「その許容領域は新しないし忝くない」ということは正しいならばあの許容領域はブランドらしくない」ということは成り立つ; fact21 -> int4: 「この仲裁判断書は新しないし掛かれない」ということは確かである; int4 -> int5: この仲裁判断書は新しない; int5 -> int6: どれもこれもは新しない; int6 -> int7: その許容領域は新しない; fact22 -> int8: 仮に「その許容領域は付着し易くない物でそれに鎮火しない」ということは偽であるとしたら忝くない; fact24 & fact23 -> int9: 「その許容領域は付着し易くないし鎮火しない」ということは成り立つということはない; int8 & int9 -> int10: その許容領域は忝くない; int7 & int10 -> int11: その許容領域は新しないししかも忝くない; int3 & int11 -> int12: その許容領域はブランドらしいということはない; fact20 -> int13: その許容領域がブランドらしくないとするとそれは曲折しないかまたは懐かしか両方だ; int12 & int13 -> int14: その許容領域は曲折しないか懐かしかまたは両方ともだ;
$facts$ = fact1: もし「何らかの物はブランドらしい」ということは真実であるとするとその許容領域は三十六人でないかあるいはそれは曲折する fact2: 仮に「三十六人でないか曲折するかまたは両方である」物はあるなら「この仲裁判断書は三十六人でない」ということは事実である fact3: あのＥＳセイは新しないし鎮火しない fact4: 懐かしものは南山麓である fact5: 「懐かしない」ものはある fact6: もしあのＥＳセイが新しということはないしそれが鎮火しないとしたらブランドらしい fact7: あの知的レベルは線上でないがブランドらしい fact8: この仲裁判断書は懐かしない fact9: ある物はおっかしくないけど粟立つ fact10: 「とあるものは付着し易くないし鎮火しない」ということは偽であるならそれは忝くない fact11: 「なにがしかのものは頼み難い」ということは成り立つ fact12: この仲裁判断書はブランドらしい fact13: もし懐かしないしブランドらしいものがあればその許容領域は曲折する fact14: もし仮に「「ＣＤだ」ということは真実である」物はあるとすれば「その許容領域は付着し易くないし鎮火しない」ということは成り立たない fact15: もしも新しないものは忝くないとすれば「それはブランドらしいということはない」ということは成り立つ fact16: 何らかのものはＣＤである fact17: ブランドらしくない物は曲折しないかもしくは懐かしかあるいはどちらもである fact18: 全ての物は新しないしそれに掛かれない ; $hypothesis$ = その許容領域は曲折しない ; $proof$ = 
fact8 & fact12 -> int1: この仲裁判断書は懐かしないけどブランドらしい; int1 -> int2: 「懐かしないししかもブランドらしい」物はある; int2 & fact13 -> hypothesis; __DISPROVED__
事実1: もし「何らかの物はブランドらしい」ということは真実であるとするとその許容領域は三十六人でないかあるいはそれは曲折する
事実2: 仮に「三十六人でないか曲折するかまたは両方である」物はあるなら「この仲裁判断書は三十六人でない」ということは事実である
事実3: あのＥＳセイは新しないし鎮火しない
事実4: 懐かしものは南山麓である
事実5: 「懐かしない」ものはある
事実6: もしあのＥＳセイが新しということはないしそれが鎮火しないとしたらブランドらしい
事実7: あの知的レベルは線上でないがブランドらしい
事実8: この仲裁判断書は懐かしない
事実9: ある物はおっかしくないけど粟立つ
事実10: 「とあるものは付着し易くないし鎮火しない」ということは偽であるならそれは忝くない
事実11: 「なにがしかのものは頼み難い」ということは成り立つ
事実12: この仲裁判断書はブランドらしい
事実13: もし懐かしないしブランドらしいものがあればその許容領域は曲折する
事実14: もし仮に「「ＣＤだ」ということは真実である」物はあるとすれば「その許容領域は付着し易くないし鎮火しない」ということは成り立たない
事実15: もしも新しないものは忝くないとすれば「それはブランドらしいということはない」ということは成り立つ
事実16: 何らかのものはＣＤである
事実17: ブランドらしくない物は曲折しないかもしくは懐かしかあるいはどちらもである
事実18: 全ての物は新しないしそれに掛かれない

仮説: その許容領域は曲折しない
1. 事実8と事実12から、推論1: "この仲裁判断書は懐かしないけどブランドらしい"が導かれる
2. 推論1から、推論2: "「懐かしないししかもブランドらしい」物はある"が導かれる
3. 推論2と事実13から、仮説が否定される

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