「もしあの市区町村内は犯すなら「その慈善演奏会は新約だが裨益しない」ということは事実と異なる」ということは嘘である
fact1: 「その慈善演奏会は新約でそれに裨益する」ということは確かでない fact2: もしあの市区町村内は裨益するとしたら「その慈善演奏会は新約でその上それは犯す」ということは誤っている fact3: 「この三途は渡御するしさらにそれは新約である」ということは間違いである fact4: もし仮に「あの市区町村内は犯す」ということは偽でないならばこの三途は渡御する fact5: その慈善演奏会は新約だけど犯さない fact6: あの市区町村内が犯すならその慈善演奏会は新約であるがしかし裨益しない fact7: その慈善演奏会は社会的選択肢であるけれどストロベリーでない fact8: もしこの三途は渡御するとすれば「その慈善演奏会は新約であるしそれに裨益する」ということは真実でない fact9: もしこの三途は渡御すれば「その慈善演奏会は新約だ一方で裨益しない」ということは誤りである fact10: その慈善演奏会は新約だけどペトリ皿でない
void -> assump1: 以下のように仮定する。あの市区町村内は犯す; fact4 & assump1 -> int1: 「この三途は渡御する」ということは間違っていない; int1 & fact9 -> int2: 「その慈善演奏会が新約だけどそれは裨益しない」ということは成り立たない; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 「その慈善演奏会は新約でそれに裨益する」ということは確かでない fact2: もしあの市区町村内は裨益するとしたら「その慈善演奏会は新約でその上それは犯す」ということは誤っている fact3: 「この三途は渡御するしさらにそれは新約である」ということは間違いである fact4: もし仮に「あの市区町村内は犯す」ということは偽でないならばこの三途は渡御する fact5: その慈善演奏会は新約だけど犯さない fact6: あの市区町村内が犯すならその慈善演奏会は新約であるがしかし裨益しない fact7: その慈善演奏会は社会的選択肢であるけれどストロベリーでない fact8: もしこの三途は渡御するとすれば「その慈善演奏会は新約であるしそれに裨益する」ということは真実でない fact9: もしこの三途は渡御すれば「その慈善演奏会は新約だ一方で裨益しない」ということは誤りである fact10: その慈善演奏会は新約だけどペトリ皿でない ; $hypothesis$ = 「もしあの市区町村内は犯すなら「その慈善演奏会は新約だが裨益しない」ということは事実と異なる」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの市区町村内は犯す; fact4 & assump1 -> int1: 「この三途は渡御する」ということは間違っていない; int1 & fact9 -> int2: 「その慈善演奏会が新約だけどそれは裨益しない」ということは成り立たない; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: 「その慈善演奏会は新約でそれに裨益する」ということは確かでない
事実2: もしあの市区町村内は裨益するとしたら「その慈善演奏会は新約でその上それは犯す」ということは誤っている
事実3: 「この三途は渡御するしさらにそれは新約である」ということは間違いである
事実4: もし仮に「あの市区町村内は犯す」ということは偽でないならばこの三途は渡御する
事実5: その慈善演奏会は新約だけど犯さない
事実6: あの市区町村内が犯すならその慈善演奏会は新約であるがしかし裨益しない
事実7: その慈善演奏会は社会的選択肢であるけれどストロベリーでない
事実8: もしこの三途は渡御するとすれば「その慈善演奏会は新約であるしそれに裨益する」ということは真実でない
事実9: もしこの三途は渡御すれば「その慈善演奏会は新約だ一方で裨益しない」ということは誤りである
事実10: その慈善演奏会は新約だけどペトリ皿でない

仮説: 「もしあの市区町村内は犯すなら「その慈善演奏会は新約だが裨益しない」ということは事実と異なる」ということは嘘である
1. 仮定1: 以下のように仮定する。あの市区町村内は犯す
2. 事実4と仮定1から、推論1: "「この三途は渡御する」ということは間違っていない"が導かれる
3. 推論1と事実9から、推論2: "「その慈善演奏会が新約だけどそれは裨益しない」ということは成り立たない"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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