その対称形はレース用でない
fact1: 心地良い物がレース用だということはないならそれはリリースする fact2: もしも「あの被膜はリリースしないけどそれは尊敬する」ということは事実と異なるならこの御説は間違い易い fact3: もし仮にこの御説が間違い易くないとすればリリースするが尊敬しない fact4: 「この御説は間違い易い」ということは本当ならばその対称形はレース用である fact5: もし仮にあの被膜が間違い易いとすればこの御説はリリースする fact6: もしもあの被膜が尊敬するということはないとしたらこの御説は間違い易い fact7: 何らかの物が間違い易いとすれば尊敬する fact8: なにがしかのものが間違い易いならあのお払い箱は尊敬しない fact9: あのインスリン分泌顆粒動態は心地良い一方でレース用であるということはない fact10: あの被膜はしらばくれる fact11: 「あのお払い箱はリリースしないがしかし買い方である」ということは真実であるということはないとすればあの被膜はレース用である fact12: 仮に「あの被膜は尊敬しない」ということは本当ならレース用でない fact13: この御説はディップである一方で御迎え下さらない fact14: 「あのお払い箱はＣＤＫＩである」ということは事実である fact15: 「買い方でない」ものはある fact16: あの被膜は尊敬するけれど買い方でない fact17: もしあのお払い箱がしらばくれないならばＣＤＫＩだ fact18: もしも「あの被膜はリリースしない」ということは成り立つなら間違い易くない fact19: もしあのインスリン分泌顆粒動態は尊敬すれば「あの被膜はリリースしないがそれは尊敬する」ということは嘘だ fact20: あのお払い箱はＣＤＫＩだがそれはレース用だということはない fact21: とある物はＣＤＫＩだが買い方でないとしたら「あのインスリン分泌顆粒動態は尊敬する」ということは成り立つ fact22: あのお払い箱はしらばくれない fact23: ＣＤＫＩはある fact24: あのお払い箱が尊敬するならあの被膜はＣＤＫＩである fact25: なんらかの物はＣＤＫＩであるしかつそれは買い方だ fact26: もしもあのお払い箱がしらばくれないならそれはＣＤＫＩだけど買い方でない
fact26 & fact22 -> int1: あのお払い箱はＣＤＫＩだけれど買い方でない; int1 -> int2: なにがしかのものはＣＤＫＩであるけれど買い方でない; int2 & fact21 -> int3: あのインスリン分泌顆粒動態は尊敬する; int3 & fact19 -> int4: 「あの被膜はリリースしないけどそれは尊敬する」ということは嘘だ; int4 & fact2 -> int5: この御説は間違い易い; int5 & fact4 -> hypothesis;
その対称形はレース用であるということはない
fact27 -> int6: もしもあのお払い箱が間違い易いならそれは尊敬する;
$facts$ = fact1: 心地良い物がレース用だということはないならそれはリリースする fact2: もしも「あの被膜はリリースしないけどそれは尊敬する」ということは事実と異なるならこの御説は間違い易い fact3: もし仮にこの御説が間違い易くないとすればリリースするが尊敬しない fact4: 「この御説は間違い易い」ということは本当ならばその対称形はレース用である fact5: もし仮にあの被膜が間違い易いとすればこの御説はリリースする fact6: もしもあの被膜が尊敬するということはないとしたらこの御説は間違い易い fact7: 何らかの物が間違い易いとすれば尊敬する fact8: なにがしかのものが間違い易いならあのお払い箱は尊敬しない fact9: あのインスリン分泌顆粒動態は心地良い一方でレース用であるということはない fact10: あの被膜はしらばくれる fact11: 「あのお払い箱はリリースしないがしかし買い方である」ということは真実であるということはないとすればあの被膜はレース用である fact12: 仮に「あの被膜は尊敬しない」ということは本当ならレース用でない fact13: この御説はディップである一方で御迎え下さらない fact14: 「あのお払い箱はＣＤＫＩである」ということは事実である fact15: 「買い方でない」ものはある fact16: あの被膜は尊敬するけれど買い方でない fact17: もしあのお払い箱がしらばくれないならばＣＤＫＩだ fact18: もしも「あの被膜はリリースしない」ということは成り立つなら間違い易くない fact19: もしあのインスリン分泌顆粒動態は尊敬すれば「あの被膜はリリースしないがそれは尊敬する」ということは嘘だ fact20: あのお払い箱はＣＤＫＩだがそれはレース用だということはない fact21: とある物はＣＤＫＩだが買い方でないとしたら「あのインスリン分泌顆粒動態は尊敬する」ということは成り立つ fact22: あのお払い箱はしらばくれない fact23: ＣＤＫＩはある fact24: あのお払い箱が尊敬するならあの被膜はＣＤＫＩである fact25: なんらかの物はＣＤＫＩであるしかつそれは買い方だ fact26: もしもあのお払い箱がしらばくれないならそれはＣＤＫＩだけど買い方でない ; $hypothesis$ = その対称形はレース用でない ; $proof$ = 
fact26 & fact22 -> int1: あのお払い箱はＣＤＫＩだけれど買い方でない; int1 -> int2: なにがしかのものはＣＤＫＩであるけれど買い方でない; int2 & fact21 -> int3: あのインスリン分泌顆粒動態は尊敬する; int3 & fact19 -> int4: 「あの被膜はリリースしないけどそれは尊敬する」ということは嘘だ; int4 & fact2 -> int5: この御説は間違い易い; int5 & fact4 -> hypothesis; __DISPROVED__
事実1: 心地良い物がレース用だということはないならそれはリリースする
事実2: もしも「あの被膜はリリースしないけどそれは尊敬する」ということは事実と異なるならこの御説は間違い易い
事実3: もし仮にこの御説が間違い易くないとすればリリースするが尊敬しない
事実4: 「この御説は間違い易い」ということは本当ならばその対称形はレース用である
事実5: もし仮にあの被膜が間違い易いとすればこの御説はリリースする
事実6: もしもあの被膜が尊敬するということはないとしたらこの御説は間違い易い
事実7: 何らかの物が間違い易いとすれば尊敬する
事実8: なにがしかのものが間違い易いならあのお払い箱は尊敬しない
事実9: あのインスリン分泌顆粒動態は心地良い一方でレース用であるということはない
事実10: あの被膜はしらばくれる
事実11: 「あのお払い箱はリリースしないがしかし買い方である」ということは真実であるということはないとすればあの被膜はレース用である
事実12: 仮に「あの被膜は尊敬しない」ということは本当ならレース用でない
事実13: この御説はディップである一方で御迎え下さらない
事実14: 「あのお払い箱はＣＤＫＩである」ということは事実である
事実15: 「買い方でない」ものはある
事実16: あの被膜は尊敬するけれど買い方でない
事実17: もしあのお払い箱がしらばくれないならばＣＤＫＩだ
事実18: もしも「あの被膜はリリースしない」ということは成り立つなら間違い易くない
事実19: もしあのインスリン分泌顆粒動態は尊敬すれば「あの被膜はリリースしないがそれは尊敬する」ということは嘘だ
事実20: あのお払い箱はＣＤＫＩだがそれはレース用だということはない
事実21: とある物はＣＤＫＩだが買い方でないとしたら「あのインスリン分泌顆粒動態は尊敬する」ということは成り立つ
事実22: あのお払い箱はしらばくれない
事実23: ＣＤＫＩはある
事実24: あのお払い箱が尊敬するならあの被膜はＣＤＫＩである
事実25: なんらかの物はＣＤＫＩであるしかつそれは買い方だ
事実26: もしもあのお払い箱がしらばくれないならそれはＣＤＫＩだけど買い方でない

仮説: その対称形はレース用でない
1. 事実26と事実22から、推論1: "あのお払い箱はＣＤＫＩだけれど買い方でない"が導かれる
2. 推論1から、推論2: "なにがしかのものはＣＤＫＩであるけれど買い方でない"が導かれる
3. 推論2と事実21から、推論3: "あのインスリン分泌顆粒動態は尊敬する"が導かれる
4. 推論3と事実19から、推論4: "「あの被膜はリリースしないけどそれは尊敬する」ということは嘘だ"が導かれる
5. 推論4と事実2から、推論5: "この御説は間違い易い"が導かれる
6. 推論5と事実4から、仮説が否定される

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