「「仮にＢＳデジタルだということはないとしたら伝え易くないしかつＣＺ法でない」物はある」ということは嘘だ
fact1: 仮にこのマンはＮＡＳ機器でないならば真ん丸くないしその上小零細企業でない fact2: もし仮にとある物がＢＳデジタルでないとすればそれは伝え易くない fact3: 何らかの物はＢＳデジタルでないなら「伝え易くなくてまたＣＺ法でない」ということは正しい fact4: 仮にその活性水素水はＢＳデジタルであるとすると伝え易いということはなくて更にＣＺ法だということはない fact5: 「仮にＢＳデジタルであるとすれば伝え易いということはないしさらにＣＺ法だということはない」物はある fact6: ＢＳデジタルは伝え易くなくてＣＺ法でない fact7: 「もし仮にＢＳデジタルでないとすれば伝え易くない」物はある fact8: 仮にその活性水素水が押さえ難くないとすれば伝え易くなくてかつ悲しくない fact9: もし仮にその活性水素水はＢＳデジタルだということはないとしたら「それは伝え易くない」ということは真実である fact10: 仮にその活性水素水がＢＳデジタルであるということはないとすると伝え易くなくてかつそれはＣＺ法だ fact11: もし仮にとあるものがＢＳデジタルでないとするとそれは伝え易くないしおまけにそれはＣＺ法である fact12: 「仮に加増するということはないとすると悲しくないしかつ竜笛でない」物はある
fact3 -> int1: 仮にその活性水素水がＢＳデジタルでないならば伝え易くなくてかつそれはＣＺ法でない; int1 -> hypothesis;
$facts$ = fact1: 仮にこのマンはＮＡＳ機器でないならば真ん丸くないしその上小零細企業でない fact2: もし仮にとある物がＢＳデジタルでないとすればそれは伝え易くない fact3: 何らかの物はＢＳデジタルでないなら「伝え易くなくてまたＣＺ法でない」ということは正しい fact4: 仮にその活性水素水はＢＳデジタルであるとすると伝え易いということはなくて更にＣＺ法だということはない fact5: 「仮にＢＳデジタルであるとすれば伝え易いということはないしさらにＣＺ法だということはない」物はある fact6: ＢＳデジタルは伝え易くなくてＣＺ法でない fact7: 「もし仮にＢＳデジタルでないとすれば伝え易くない」物はある fact8: 仮にその活性水素水が押さえ難くないとすれば伝え易くなくてかつ悲しくない fact9: もし仮にその活性水素水はＢＳデジタルだということはないとしたら「それは伝え易くない」ということは真実である fact10: 仮にその活性水素水がＢＳデジタルであるということはないとすると伝え易くなくてかつそれはＣＺ法だ fact11: もし仮にとあるものがＢＳデジタルでないとするとそれは伝え易くないしおまけにそれはＣＺ法である fact12: 「仮に加増するということはないとすると悲しくないしかつ竜笛でない」物はある ; $hypothesis$ = 「「仮にＢＳデジタルだということはないとしたら伝え易くないしかつＣＺ法でない」物はある」ということは嘘だ ; $proof$ = 
fact3 -> int1: 仮にその活性水素水がＢＳデジタルでないならば伝え易くなくてかつそれはＣＺ法でない; int1 -> hypothesis; __DISPROVED__
事実1: 仮にこのマンはＮＡＳ機器でないならば真ん丸くないしその上小零細企業でない
事実2: もし仮にとある物がＢＳデジタルでないとすればそれは伝え易くない
事実3: 何らかの物はＢＳデジタルでないなら「伝え易くなくてまたＣＺ法でない」ということは正しい
事実4: 仮にその活性水素水はＢＳデジタルであるとすると伝え易いということはなくて更にＣＺ法だということはない
事実5: 「仮にＢＳデジタルであるとすれば伝え易いということはないしさらにＣＺ法だということはない」物はある
事実6: ＢＳデジタルは伝え易くなくてＣＺ法でない
事実7: 「もし仮にＢＳデジタルでないとすれば伝え易くない」物はある
事実8: 仮にその活性水素水が押さえ難くないとすれば伝え易くなくてかつ悲しくない
事実9: もし仮にその活性水素水はＢＳデジタルだということはないとしたら「それは伝え易くない」ということは真実である
事実10: 仮にその活性水素水がＢＳデジタルであるということはないとすると伝え易くなくてかつそれはＣＺ法だ
事実11: もし仮にとあるものがＢＳデジタルでないとするとそれは伝え易くないしおまけにそれはＣＺ法である
事実12: 「仮に加増するということはないとすると悲しくないしかつ竜笛でない」物はある

仮説: 「「仮にＢＳデジタルだということはないとしたら伝え易くないしかつＣＺ法でない」物はある」ということは嘘だ
1. 事実3から、推論1: "仮にその活性水素水がＢＳデジタルでないならば伝え易くなくてかつそれはＣＺ法でない"が導かれる
2. 推論1から、仮説が否定される

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