「その何十軒は程遠いということはなくて加えて捨つということはない」ということは成り立たない
fact1: そのニュルンベルク裁判は三十五例でない fact2: もしそのニュルンベルク裁判が三十五例でないとしたらその何十軒が程遠いということはないしさらにそれは捨つない fact3: もしなにがしかの物は三十五例であるとすると「程遠いということはないしその上捨つない」ということは成り立たない
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
「その何十軒は程遠くないしまたそれは捨つない」ということは成り立たない
fact4 -> int1: 仮にその何十軒は三十五例であるなら「それは程遠くなくて捨つない」ということは間違っている;
$facts$ = fact1: そのニュルンベルク裁判は三十五例でない fact2: もしそのニュルンベルク裁判が三十五例でないとしたらその何十軒が程遠いということはないしさらにそれは捨つない fact3: もしなにがしかの物は三十五例であるとすると「程遠いということはないしその上捨つない」ということは成り立たない ; $hypothesis$ = 「その何十軒は程遠いということはなくて加えて捨つということはない」ということは成り立たない ; $proof$ = 
fact2 & fact1 -> hypothesis; __DISPROVED__
事実1: そのニュルンベルク裁判は三十五例でない
事実2: もしそのニュルンベルク裁判が三十五例でないとしたらその何十軒が程遠いということはないしさらにそれは捨つない
事実3: もしなにがしかの物は三十五例であるとすると「程遠いということはないしその上捨つない」ということは成り立たない

仮説: 「その何十軒は程遠いということはなくて加えて捨つということはない」ということは成り立たない
1. 事実2と事実1から、仮説が否定される

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