この物言いは観察実習であるということはない
fact1: この物言いは観察実習だ fact2: 仮に「この債務者Ｂは愛玩しないし加えて適用しない」ということは成り立たないとしたら愛玩する fact3: もしもあるものが愛玩するとすればそれは観察実習であるしそれは毒ガスでない
fact1 -> hypothesis;
fact1 -> hypothesis;
この債務者Ｂは観察実習である
fact4 -> int1: もしもこの債務者Ｂが愛玩するとするとそれは観察実習であるけれど毒ガスでない;
$facts$ = fact1: この物言いは観察実習だ fact2: 仮に「この債務者Ｂは愛玩しないし加えて適用しない」ということは成り立たないとしたら愛玩する fact3: もしもあるものが愛玩するとすればそれは観察実習であるしそれは毒ガスでない ; $hypothesis$ = この物言いは観察実習であるということはない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: この物言いは観察実習だ
事実2: 仮に「この債務者Ｂは愛玩しないし加えて適用しない」ということは成り立たないとしたら愛玩する
事実3: もしもあるものが愛玩するとすればそれは観察実習であるしそれは毒ガスでない

仮説: この物言いは観察実習であるということはない
1. 事実1から、仮説が否定される

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