あの知盛夫妻は嗅ぎ付ける一方でローマ王でない
fact1: 何らかのものは限り無いとすると「嗅ぎ付けるし更にそれはローマ王である」ということは成り立つということはない fact2: もしあの知盛夫妻が物珍しさならば整理保管する fact3: 仮になにがしかの物は限り無いならば「嗅ぎ付けるしさらにそれはローマ王でない」ということは誤りだ fact4: 「あの知盛夫妻は嗅ぎ付けるしまたローマ王である」ということは成り立たない fact5: もし仮にあの知盛夫妻は限り無いとすると「嗅ぎ付けるしさらにそれはローマ王である」ということは成り立つということはない fact6: 「「何らかのものは御濃くなくて嗅ぎ付けない」ということは事実である」ということは誤っているとしたら嗅ぎ付ける fact7: この各細胞は整理保管する fact8: もし「ある物は限り無くないものであってまたローマ王だ」ということは成り立たないならば「それはローマ王でない」ということは成り立つ fact9: 仮に「あの知盛夫妻は整理保管する」ということは偽でないならばそれは限り無い fact10: あの知盛夫妻は整理保管する fact11: 仮にこのロスタロットは嗅ぎ付けるなら「あの知盛夫妻は嗅ぎ付ける」ということは事実だ fact12: もし仮に「なにかはローマ王である」ということは事実だとすれば「それは整理保管するし嗅ぎ付ける」ということは嘘である
fact3 -> int1: もしもあの知盛夫妻は限り無いとすると「それは嗅ぎ付けるがローマ王でない」ということは間違っている; fact9 & fact10 -> int2: あの知盛夫妻は限り無い; int1 & int2 -> hypothesis;
あの知盛夫妻は嗅ぎ付けるけれどローマ王でない
fact15 -> int3: もし仮に「このロスタロットは御濃いということはなくておまけに嗅ぎ付けない」ということは確かでないとしたら嗅ぎ付ける; fact14 -> int4: もし「あの知盛夫妻は限り無くない物であってそれにローマ王だ」ということは成り立たないならそれはローマ王でない;
$facts$ = fact1: 何らかのものは限り無いとすると「嗅ぎ付けるし更にそれはローマ王である」ということは成り立つということはない fact2: もしあの知盛夫妻が物珍しさならば整理保管する fact3: 仮になにがしかの物は限り無いならば「嗅ぎ付けるしさらにそれはローマ王でない」ということは誤りだ fact4: 「あの知盛夫妻は嗅ぎ付けるしまたローマ王である」ということは成り立たない fact5: もし仮にあの知盛夫妻は限り無いとすると「嗅ぎ付けるしさらにそれはローマ王である」ということは成り立つということはない fact6: 「「何らかのものは御濃くなくて嗅ぎ付けない」ということは事実である」ということは誤っているとしたら嗅ぎ付ける fact7: この各細胞は整理保管する fact8: もし「ある物は限り無くないものであってまたローマ王だ」ということは成り立たないならば「それはローマ王でない」ということは成り立つ fact9: 仮に「あの知盛夫妻は整理保管する」ということは偽でないならばそれは限り無い fact10: あの知盛夫妻は整理保管する fact11: 仮にこのロスタロットは嗅ぎ付けるなら「あの知盛夫妻は嗅ぎ付ける」ということは事実だ fact12: もし仮に「なにかはローマ王である」ということは事実だとすれば「それは整理保管するし嗅ぎ付ける」ということは嘘である ; $hypothesis$ = あの知盛夫妻は嗅ぎ付ける一方でローマ王でない ; $proof$ = 
fact3 -> int1: もしもあの知盛夫妻は限り無いとすると「それは嗅ぎ付けるがローマ王でない」ということは間違っている; fact9 & fact10 -> int2: あの知盛夫妻は限り無い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 何らかのものは限り無いとすると「嗅ぎ付けるし更にそれはローマ王である」ということは成り立つということはない
事実2: もしあの知盛夫妻が物珍しさならば整理保管する
事実3: 仮になにがしかの物は限り無いならば「嗅ぎ付けるしさらにそれはローマ王でない」ということは誤りだ
事実4: 「あの知盛夫妻は嗅ぎ付けるしまたローマ王である」ということは成り立たない
事実5: もし仮にあの知盛夫妻は限り無いとすると「嗅ぎ付けるしさらにそれはローマ王である」ということは成り立つということはない
事実6: 「「何らかのものは御濃くなくて嗅ぎ付けない」ということは事実である」ということは誤っているとしたら嗅ぎ付ける
事実7: この各細胞は整理保管する
事実8: もし「ある物は限り無くないものであってまたローマ王だ」ということは成り立たないならば「それはローマ王でない」ということは成り立つ
事実9: 仮に「あの知盛夫妻は整理保管する」ということは偽でないならばそれは限り無い
事実10: あの知盛夫妻は整理保管する
事実11: 仮にこのロスタロットは嗅ぎ付けるなら「あの知盛夫妻は嗅ぎ付ける」ということは事実だ
事実12: もし仮に「なにかはローマ王である」ということは事実だとすれば「それは整理保管するし嗅ぎ付ける」ということは嘘である

仮説: あの知盛夫妻は嗅ぎ付ける一方でローマ王でない
1. 事実3から、推論1: "もしもあの知盛夫妻は限り無いとすると「それは嗅ぎ付けるがローマ王でない」ということは間違っている"が導かれる
2. 事実9と事実10から、推論2: "あの知盛夫妻は限り無い"が導かれる
3. 推論1と推論2から、仮説が否定される

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