「そのコンサート自体は累積しない」ということは正しい
fact1: もしも「なにがしかの物は累積しないししかもＴ波でない」ということは正しいとするとそれは広ーい fact2: 仮にあの知識組織がＴ波だとすればそのコンサート自体は累積する fact3: あの知識組織はＴ波であるしかつ広ーい fact4: 「何らかの物はＰＣ達でなくておまけに通学出来ない」ということは誤っているとすると累積しない
fact3 -> int1: あの知識組織はＴ波だ; int1 & fact2 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
「あの思い人は広ーい」ということは嘘でない
fact5 -> int2: もし仮にあの思い人が累積するということはなくてしかもそれはＴ波でないとしたら広ーい; fact6 -> int3: 「あの思い人はＰＣ達でないしさらにそれは通学出来ない」ということは嘘だとすると累積しない;
$facts$ = fact1: もしも「なにがしかの物は累積しないししかもＴ波でない」ということは正しいとするとそれは広ーい fact2: 仮にあの知識組織がＴ波だとすればそのコンサート自体は累積する fact3: あの知識組織はＴ波であるしかつ広ーい fact4: 「何らかの物はＰＣ達でなくておまけに通学出来ない」ということは誤っているとすると累積しない ; $hypothesis$ = 「そのコンサート自体は累積しない」ということは正しい ; $proof$ = 
fact3 -> int1: あの知識組織はＴ波だ; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: もしも「なにがしかの物は累積しないししかもＴ波でない」ということは正しいとするとそれは広ーい
事実2: 仮にあの知識組織がＴ波だとすればそのコンサート自体は累積する
事実3: あの知識組織はＴ波であるしかつ広ーい
事実4: 「何らかの物はＰＣ達でなくておまけに通学出来ない」ということは誤っているとすると累積しない

仮説: 「そのコンサート自体は累積しない」ということは正しい
1. 事実3から、推論1: "あの知識組織はＴ波だ"が導かれる
2. 推論1と事実2から、仮説が否定される

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