そのペーパードリップは脱藩しない
fact1: もしも「あやかるしかつ等価交換する」ものがあるとするとその薬剤服用は操作し易い fact2: もし仮に「「突き当たるしかつ与え得る」ということは嘘でない」ものがあればこの自転車競技は入京する fact3: 全ての物は心強くない fact4: もしもこの自転車競技が与え得るとするとそのペーパードリップは脱藩する fact5: 仮にその薬剤服用が与え得るならこの自転車競技は操作し易い fact6: 仮にその薬剤服用が入京するならこの自転車競技は与え得る fact7: その一番地は合法化する fact8: 心強くないものは田舎臭いしそれに突き当たる fact9: もしもとあるものは等価交換するとしたら「非接触型ＩＣカードシステムである」ということは成り立つ fact10: もしもその一番地が合法化するとすればその方法上は与え得る fact11: もしもこの自転車競技が操作し易いとすればあの薬剤服用は等価交換する fact12: もし仮に「なにかは操作し易くないが等価交換する」ということは成り立たないなら「等価交換しない」ということは真実である fact13: 「あやかる」物はある fact14: なにがしかのものはあやかるしそれは等価交換する fact15: もし「入京する」物はあるなら「その薬剤服用は操作し易くないけど等価交換する」ということは間違っている fact16: 操作し易い物は入京する fact17: 何らかの物が等価交換しないとしたらそれはあやかるけれど脱藩するということはない fact18: 「「等価交換する」ということは成り立つ」物はある
fact14 & fact1 -> int1: その薬剤服用は操作し易い; fact16 -> int2: もしその薬剤服用が操作し易いとすると入京する; int1 & int2 -> int3: その薬剤服用は入京する; int3 & fact6 -> int4: この自転車競技は与え得る; int4 & fact4 -> hypothesis;
そのペーパードリップは脱藩しない
fact23 -> int5: もしも「その薬剤服用は操作し易くないけれどそれは等価交換する」ということは成り立たないとしたら「等価交換しない」ということは成り立つ; fact26 -> int6: 仮にこの報道記事が心強いということはないならばそれは田舎臭くてさらに突き当たる; fact25 -> int7: この報道記事は心強くない; int6 & int7 -> int8: この報道記事は田舎臭いし更に突き当たる; int8 -> int9: すべては田舎臭くてまたそれは突き当たる; int9 -> int10: その方法上は田舎臭いし突き当たる; int10 -> int11: その方法上は突き当たる; fact24 & fact20 -> int12: その方法上は与え得る; int11 & int12 -> int13: その方法上は突き当たるししかも与え得る; int13 -> int14: 「突き当たるしかつ与え得る」ものはある; int14 & fact21 -> int15: この自転車競技は入京する; int15 -> int16: 「入京する」ものはある; int16 & fact22 -> int17: 「その薬剤服用は操作し易くないけれど等価交換する」ということは成り立つということはない; int5 & int17 -> int18: 「その薬剤服用は等価交換しない」ということは誤っていない; fact19 -> int19: もしその薬剤服用が等価交換しないならばそれはあやかるけど脱藩しない; int18 & int19 -> int20: その薬剤服用はあやかるが脱藩するということはない;
$facts$ = fact1: もしも「あやかるしかつ等価交換する」ものがあるとするとその薬剤服用は操作し易い fact2: もし仮に「「突き当たるしかつ与え得る」ということは嘘でない」ものがあればこの自転車競技は入京する fact3: 全ての物は心強くない fact4: もしもこの自転車競技が与え得るとするとそのペーパードリップは脱藩する fact5: 仮にその薬剤服用が与え得るならこの自転車競技は操作し易い fact6: 仮にその薬剤服用が入京するならこの自転車競技は与え得る fact7: その一番地は合法化する fact8: 心強くないものは田舎臭いしそれに突き当たる fact9: もしもとあるものは等価交換するとしたら「非接触型ＩＣカードシステムである」ということは成り立つ fact10: もしもその一番地が合法化するとすればその方法上は与え得る fact11: もしもこの自転車競技が操作し易いとすればあの薬剤服用は等価交換する fact12: もし仮に「なにかは操作し易くないが等価交換する」ということは成り立たないなら「等価交換しない」ということは真実である fact13: 「あやかる」物はある fact14: なにがしかのものはあやかるしそれは等価交換する fact15: もし「入京する」物はあるなら「その薬剤服用は操作し易くないけど等価交換する」ということは間違っている fact16: 操作し易い物は入京する fact17: 何らかの物が等価交換しないとしたらそれはあやかるけれど脱藩するということはない fact18: 「「等価交換する」ということは成り立つ」物はある ; $hypothesis$ = そのペーパードリップは脱藩しない ; $proof$ = 
fact14 & fact1 -> int1: その薬剤服用は操作し易い; fact16 -> int2: もしその薬剤服用が操作し易いとすると入京する; int1 & int2 -> int3: その薬剤服用は入京する; int3 & fact6 -> int4: この自転車競技は与え得る; int4 & fact4 -> hypothesis; __DISPROVED__
事実1: もしも「あやかるしかつ等価交換する」ものがあるとするとその薬剤服用は操作し易い
事実2: もし仮に「「突き当たるしかつ与え得る」ということは嘘でない」ものがあればこの自転車競技は入京する
事実3: 全ての物は心強くない
事実4: もしもこの自転車競技が与え得るとするとそのペーパードリップは脱藩する
事実5: 仮にその薬剤服用が与え得るならこの自転車競技は操作し易い
事実6: 仮にその薬剤服用が入京するならこの自転車競技は与え得る
事実7: その一番地は合法化する
事実8: 心強くないものは田舎臭いしそれに突き当たる
事実9: もしもとあるものは等価交換するとしたら「非接触型ＩＣカードシステムである」ということは成り立つ
事実10: もしもその一番地が合法化するとすればその方法上は与え得る
事実11: もしもこの自転車競技が操作し易いとすればあの薬剤服用は等価交換する
事実12: もし仮に「なにかは操作し易くないが等価交換する」ということは成り立たないなら「等価交換しない」ということは真実である
事実13: 「あやかる」物はある
事実14: なにがしかのものはあやかるしそれは等価交換する
事実15: もし「入京する」物はあるなら「その薬剤服用は操作し易くないけど等価交換する」ということは間違っている
事実16: 操作し易い物は入京する
事実17: 何らかの物が等価交換しないとしたらそれはあやかるけれど脱藩するということはない
事実18: 「「等価交換する」ということは成り立つ」物はある

仮説: そのペーパードリップは脱藩しない
1. 事実14と事実1から、推論1: "その薬剤服用は操作し易い"が導かれる
2. 事実16から、推論2: "もしその薬剤服用が操作し易いとすると入京する"が導かれる
3. 推論1と推論2から、推論3: "その薬剤服用は入京する"が導かれる
4. 推論3と事実6から、推論4: "この自転車競技は与え得る"が導かれる
5. 推論4と事実4から、仮説が否定される

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