「あのＴＣＳＡは人工培地でない」ということは正しい
fact1: もしもこの十一．一はそつ無いなら「それは憎たらしい」ということは嘘であるということはない fact2: 仮にこの十一．一が憎たらしいとすればその清国側は併発する fact3: もしその清国側が併発するとしたらあのＴＣＳＡは人工培地だ fact4: この十一．一はそつ無くてそれに捻出出来る
fact4 -> int1: この十一．一はそつ無い; int1 & fact1 -> int2: 「この十一．一は憎たらしい」ということは成り立つ; int2 & fact2 -> int3: その清国側は併発する; int3 & fact3 -> hypothesis;
$facts$ = fact1: もしもこの十一．一はそつ無いなら「それは憎たらしい」ということは嘘であるということはない fact2: 仮にこの十一．一が憎たらしいとすればその清国側は併発する fact3: もしその清国側が併発するとしたらあのＴＣＳＡは人工培地だ fact4: この十一．一はそつ無くてそれに捻出出来る ; $hypothesis$ = 「あのＴＣＳＡは人工培地でない」ということは正しい ; $proof$ = 
fact4 -> int1: この十一．一はそつ無い; int1 & fact1 -> int2: 「この十一．一は憎たらしい」ということは成り立つ; int2 & fact2 -> int3: その清国側は併発する; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもこの十一．一はそつ無いなら「それは憎たらしい」ということは嘘であるということはない
事実2: 仮にこの十一．一が憎たらしいとすればその清国側は併発する
事実3: もしその清国側が併発するとしたらあのＴＣＳＡは人工培地だ
事実4: この十一．一はそつ無くてそれに捻出出来る

仮説: 「あのＴＣＳＡは人工培地でない」ということは正しい
1. 事実4から、推論1: "この十一．一はそつ無い"が導かれる
2. 推論1と事実1から、推論2: "「この十一．一は憎たらしい」ということは成り立つ"が導かれる
3. 推論2と事実2から、推論3: "その清国側は併発する"が導かれる
4. 推論3と事実3から、仮説が否定される

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