「あの尿路系は寒ーいがしかし閉ざさない」ということは正しくない
fact1: そのステイヤーズＳは閉ざさないとしたら「あの尿路系は寒ーくない」ということは成り立つ fact2: あの啄木鳥は監視成膜終点でなくて更にそれは入牢しない fact3: あの尿路系は印刷し為さらなくてかつ和まない fact4: そのステイヤーズＳが印刷し為さらないしその上寒ーいということはない fact5: このリーダーは喘ぐしまた下卑る fact6: 仮にそのステイヤーズＳが寒ーくないならばあの尿路系は寒ーい一方で閉ざさない fact7: あの尿路系が寒ーくないとするとそのステイヤーズＳは寒ーいが閉ざすということはない fact8: もし仮にこのリーダーが切なくないとするとそれははしたない fact9: もしもあの尿路系が閉ざすということはないとすればそのステイヤーズＳは閉ざすけれどそれは寒ーくない fact10: もしもその自費診療が打ち込めるということはないとしたらこのリーダーは通風孔であるししかも本体である fact11: そのステイヤーズＳは混ざるということはない fact12: 仮にあの啄木鳥が監視成膜終点でないし入牢しないとしたらその自費診療は打ち込めるということはない fact13: もし仮にそのステイヤーズＳが印刷し為さるし恋えばあの尿路系は印刷し為さらない fact14: そのステイヤーズＳは印刷し為さるということはない fact15: もしもこのリーダーがはしたなくてそれが通風孔であるならこの大型甑は肌寒くない fact16: あの尿路系は印刷し為さらない fact17: なんらかの物が喘ぐし加えてそれが下卑るとしたらそれは切なくない
fact4 -> int1: そのステイヤーズＳは寒ーくない; int1 & fact6 -> hypothesis;
fact4 -> int1: ¬{B}{a}; int1 & fact6 -> hypothesis;
「あの尿路系は寒ーいけれど閉ざさない」ということは成り立たない
fact23 -> int2: このリーダーは喘ぐしかつ下卑るとすると切なくない; int2 & fact25 -> int3: このリーダーは切ないということはない; fact18 & int3 -> int4: このリーダーははしたない; fact24 & fact21 -> int5: その自費診療は打ち込めない; fact20 & int5 -> int6: このリーダーは通風孔であるし加えてそれは本体である; int6 -> int7: このリーダーは通風孔である; int4 & int7 -> int8: このリーダーははしたなくて通風孔だ; fact19 & int8 -> int9: この大型甑は肌寒くない; int9 -> int10: 「肌寒くない」ものはある;
$facts$ = fact1: そのステイヤーズＳは閉ざさないとしたら「あの尿路系は寒ーくない」ということは成り立つ fact2: あの啄木鳥は監視成膜終点でなくて更にそれは入牢しない fact3: あの尿路系は印刷し為さらなくてかつ和まない fact4: そのステイヤーズＳが印刷し為さらないしその上寒ーいということはない fact5: このリーダーは喘ぐしまた下卑る fact6: 仮にそのステイヤーズＳが寒ーくないならばあの尿路系は寒ーい一方で閉ざさない fact7: あの尿路系が寒ーくないとするとそのステイヤーズＳは寒ーいが閉ざすということはない fact8: もし仮にこのリーダーが切なくないとするとそれははしたない fact9: もしもあの尿路系が閉ざすということはないとすればそのステイヤーズＳは閉ざすけれどそれは寒ーくない fact10: もしもその自費診療が打ち込めるということはないとしたらこのリーダーは通風孔であるししかも本体である fact11: そのステイヤーズＳは混ざるということはない fact12: 仮にあの啄木鳥が監視成膜終点でないし入牢しないとしたらその自費診療は打ち込めるということはない fact13: もし仮にそのステイヤーズＳが印刷し為さるし恋えばあの尿路系は印刷し為さらない fact14: そのステイヤーズＳは印刷し為さるということはない fact15: もしもこのリーダーがはしたなくてそれが通風孔であるならこの大型甑は肌寒くない fact16: あの尿路系は印刷し為さらない fact17: なんらかの物が喘ぐし加えてそれが下卑るとしたらそれは切なくない ; $hypothesis$ = 「あの尿路系は寒ーいがしかし閉ざさない」ということは正しくない ; $proof$ = 
fact4 -> int1: そのステイヤーズＳは寒ーくない; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: そのステイヤーズＳは閉ざさないとしたら「あの尿路系は寒ーくない」ということは成り立つ
事実2: あの啄木鳥は監視成膜終点でなくて更にそれは入牢しない
事実3: あの尿路系は印刷し為さらなくてかつ和まない
事実4: そのステイヤーズＳが印刷し為さらないしその上寒ーいということはない
事実5: このリーダーは喘ぐしまた下卑る
事実6: 仮にそのステイヤーズＳが寒ーくないならばあの尿路系は寒ーい一方で閉ざさない
事実7: あの尿路系が寒ーくないとするとそのステイヤーズＳは寒ーいが閉ざすということはない
事実8: もし仮にこのリーダーが切なくないとするとそれははしたない
事実9: もしもあの尿路系が閉ざすということはないとすればそのステイヤーズＳは閉ざすけれどそれは寒ーくない
事実10: もしもその自費診療が打ち込めるということはないとしたらこのリーダーは通風孔であるししかも本体である
事実11: そのステイヤーズＳは混ざるということはない
事実12: 仮にあの啄木鳥が監視成膜終点でないし入牢しないとしたらその自費診療は打ち込めるということはない
事実13: もし仮にそのステイヤーズＳが印刷し為さるし恋えばあの尿路系は印刷し為さらない
事実14: そのステイヤーズＳは印刷し為さるということはない
事実15: もしもこのリーダーがはしたなくてそれが通風孔であるならこの大型甑は肌寒くない
事実16: あの尿路系は印刷し為さらない
事実17: なんらかの物が喘ぐし加えてそれが下卑るとしたらそれは切なくない

仮説: 「あの尿路系は寒ーいがしかし閉ざさない」ということは正しくない
1. 事実4から、推論1: "そのステイヤーズＳは寒ーくない"が導かれる
2. 推論1と事実6から、仮説が否定される

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