あのスケープゴートはＩＤタイプでない
fact1: 「あのＭＲＳＡはＫＩＤＳでなくて言い切らない」ということは誤りだ fact2: もし「あのＭＲＳＡはＫＩＤＳでなくて加えて言い切らない」ということは成り立たないなら「あのスケープゴートはＩＤタイプでない」ということは成り立つ
$facts$ = fact1: 「あのＭＲＳＡはＫＩＤＳでなくて言い切らない」ということは誤りだ fact2: もし「あのＭＲＳＡはＫＩＤＳでなくて加えて言い切らない」ということは成り立たないなら「あのスケープゴートはＩＤタイプでない」ということは成り立つ ; $hypothesis$ = あのスケープゴートはＩＤタイプでない ; $proof$ = 
事実1: 「あのＭＲＳＡはＫＩＤＳでなくて言い切らない」ということは誤りだ
事実2: もし「あのＭＲＳＡはＫＩＤＳでなくて加えて言い切らない」ということは成り立たないなら「あのスケープゴートはＩＤタイプでない」ということは成り立つ

仮説: あのスケープゴートはＩＤタイプでない