「「「子猫でおまけに懐かしくない」ということは成り立たないとすれば「挟撃する」ということは成り立つ」物はある」ということは誤りである
fact1: もし「その予防給付は子猫であるけど懐かしくない」ということは成り立つということはないなら挟撃する fact2: 仮に「何らかのものは子猫であるがしかし管内でない」ということは成り立たないとするとパックする fact3: もしその予防給付は気弱いがしかし我慢でないとするとそれは懐かしい fact4: もしも「その予防給付は子猫だし懐かしい」ということは成り立たないとしたら挟撃する
fact1 -> hypothesis;
もし仮に「あの本庁舎は子猫であるけれど管内でない」ということは成り立たないとすると「それはパックする」ということは間違っているということはない
fact5 -> hypothesis;
$facts$ = fact1: もし「その予防給付は子猫であるけど懐かしくない」ということは成り立つということはないなら挟撃する fact2: 仮に「何らかのものは子猫であるがしかし管内でない」ということは成り立たないとするとパックする fact3: もしその予防給付は気弱いがしかし我慢でないとするとそれは懐かしい fact4: もしも「その予防給付は子猫だし懐かしい」ということは成り立たないとしたら挟撃する ; $hypothesis$ = 「「「子猫でおまけに懐かしくない」ということは成り立たないとすれば「挟撃する」ということは成り立つ」物はある」ということは誤りである ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: もし「その予防給付は子猫であるけど懐かしくない」ということは成り立つということはないなら挟撃する
事実2: 仮に「何らかのものは子猫であるがしかし管内でない」ということは成り立たないとするとパックする
事実3: もしその予防給付は気弱いがしかし我慢でないとするとそれは懐かしい
事実4: もしも「その予防給付は子猫だし懐かしい」ということは成り立たないとしたら挟撃する

仮説: 「「「子猫でおまけに懐かしくない」ということは成り立たないとすれば「挟撃する」ということは成り立つ」物はある」ということは誤りである
1. 事実1から、仮説が否定される

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