この失業給付金は軽し
fact1: もしも「とあるものは忍び返しでないし加えて同系列でない」ということは本当でないならば軽しということはない fact2: この対テロ戦争は照れない fact3: もし仮にこの対テロ戦争は照れないとすれば「「この失業給付金は忍び返しでないしおまけに同系列でない」ということは成り立たない」ということは確かである
fact3 & fact2 -> int1: 「この失業給付金は忍び返しでないしおまけに同系列でない」ということは誤っている; fact1 -> int2: 「この失業給付金は忍び返しでないし同系列でない」ということは誤っているとしたら軽しない; int1 & int2 -> hypothesis;
$facts$ = fact1: もしも「とあるものは忍び返しでないし加えて同系列でない」ということは本当でないならば軽しということはない fact2: この対テロ戦争は照れない fact3: もし仮にこの対テロ戦争は照れないとすれば「「この失業給付金は忍び返しでないしおまけに同系列でない」ということは成り立たない」ということは確かである ; $hypothesis$ = この失業給付金は軽し ; $proof$ = 
fact3 & fact2 -> int1: 「この失業給付金は忍び返しでないしおまけに同系列でない」ということは誤っている; fact1 -> int2: 「この失業給付金は忍び返しでないし同系列でない」ということは誤っているとしたら軽しない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしも「とあるものは忍び返しでないし加えて同系列でない」ということは本当でないならば軽しということはない
事実2: この対テロ戦争は照れない
事実3: もし仮にこの対テロ戦争は照れないとすれば「「この失業給付金は忍び返しでないしおまけに同系列でない」ということは成り立たない」ということは確かである

仮説: この失業給付金は軽し
1. 事実3と事実2から、推論1: "「この失業給付金は忍び返しでないしおまけに同系列でない」ということは誤っている"が導かれる
2. 事実1から、推論2: "「この失業給付金は忍び返しでないし同系列でない」ということは誤っているとしたら軽しない"が導かれる
3. 推論1と推論2から、仮説が否定される

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