この勝訴判決は済ま無くない
fact1: もしこの千人以上はパートナーシップであるとしたら「このイーゼルは擦り替える」ということは本当である fact2: この千人以上はパートナーシップであるし加えて紅嫌い絵だ fact3: この千人以上は紅嫌い絵である fact4: 「もし仮に「このイーゼルは擦り替える」ということは成り立つならこの勝訴判決は済ま無い」ということは本当だ fact5: なにかは擦り替えるということはなくて加えてパートナーシップでないならそれは紅嫌い絵である
fact2 -> int1: この千人以上はパートナーシップだ; int1 & fact1 -> int2: このイーゼルは擦り替える; int2 & fact4 -> hypothesis;
あの番台は紅嫌い絵である
fact6 -> int3: あの番台が擦り替えないししかもパートナーシップでないとすると紅嫌い絵だ;
$facts$ = fact1: もしこの千人以上はパートナーシップであるとしたら「このイーゼルは擦り替える」ということは本当である fact2: この千人以上はパートナーシップであるし加えて紅嫌い絵だ fact3: この千人以上は紅嫌い絵である fact4: 「もし仮に「このイーゼルは擦り替える」ということは成り立つならこの勝訴判決は済ま無い」ということは本当だ fact5: なにかは擦り替えるということはなくて加えてパートナーシップでないならそれは紅嫌い絵である ; $hypothesis$ = この勝訴判決は済ま無くない ; $proof$ = 
fact2 -> int1: この千人以上はパートナーシップだ; int1 & fact1 -> int2: このイーゼルは擦り替える; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: もしこの千人以上はパートナーシップであるとしたら「このイーゼルは擦り替える」ということは本当である
事実2: この千人以上はパートナーシップであるし加えて紅嫌い絵だ
事実3: この千人以上は紅嫌い絵である
事実4: 「もし仮に「このイーゼルは擦り替える」ということは成り立つならこの勝訴判決は済ま無い」ということは本当だ
事実5: なにかは擦り替えるということはなくて加えてパートナーシップでないならそれは紅嫌い絵である

仮説: この勝訴判決は済ま無くない
1. 事実2から、推論1: "この千人以上はパートナーシップだ"が導かれる
2. 推論1と事実1から、推論2: "このイーゼルは擦り替える"が導かれる
3. 推論2と事実4から、仮説が否定される

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