「あの多摩南部成年後見センターは述べ始めるということはない」ということは成り立つ
fact1: 蕊は述べ始めるが褒め続けない fact2: このリールは褒め続ける fact3: 浮き易いものは進み続けるがしかし引き易くない fact4: あの多摩南部成年後見センターは弱し fact5: 「あの多摩南部成年後見センターは褒め続けない」ということは確かだ fact6: その丸桁は浮き易い fact7: もし仮にこの半日陰が弱しとしたらあの多摩南部成年後見センターは蕊だ fact8: 仮にこの半日陰が弱しとすると述べ始めるししかも褒め続けない fact9: あの多摩南部成年後見センターは蕊であるとするとそれは褒め続けない fact10: 何かは蕊ならそれは褒め続けるということはない fact11: この半日陰は蕊だ fact12: もしその丸桁が浮き易いならばこの半日陰は弱し
fact12 & fact6 -> int1: この半日陰は弱し; int1 & fact7 -> int2: あの多摩南部成年後見センターは蕊だ; fact1 -> int3: もしもあの多摩南部成年後見センターが蕊ならそれは述べ始めるけど褒め続けるということはない; int2 & int3 -> int4: あの多摩南部成年後見センターは述べ始めるが褒め続けるということはない; int4 -> hypothesis;
その文廟は進み続けるけど引き易くない
fact13 -> int5: もしもその文廟が浮き易いとすれば進み続けるしその上引き易いということはない;
$facts$ = fact1: 蕊は述べ始めるが褒め続けない fact2: このリールは褒め続ける fact3: 浮き易いものは進み続けるがしかし引き易くない fact4: あの多摩南部成年後見センターは弱し fact5: 「あの多摩南部成年後見センターは褒め続けない」ということは確かだ fact6: その丸桁は浮き易い fact7: もし仮にこの半日陰が弱しとしたらあの多摩南部成年後見センターは蕊だ fact8: 仮にこの半日陰が弱しとすると述べ始めるししかも褒め続けない fact9: あの多摩南部成年後見センターは蕊であるとするとそれは褒め続けない fact10: 何かは蕊ならそれは褒め続けるということはない fact11: この半日陰は蕊だ fact12: もしその丸桁が浮き易いならばこの半日陰は弱し ; $hypothesis$ = 「あの多摩南部成年後見センターは述べ始めるということはない」ということは成り立つ ; $proof$ = 
fact12 & fact6 -> int1: この半日陰は弱し; int1 & fact7 -> int2: あの多摩南部成年後見センターは蕊だ; fact1 -> int3: もしもあの多摩南部成年後見センターが蕊ならそれは述べ始めるけど褒め続けるということはない; int2 & int3 -> int4: あの多摩南部成年後見センターは述べ始めるが褒め続けるということはない; int4 -> hypothesis; __DISPROVED__
事実1: 蕊は述べ始めるが褒め続けない
事実2: このリールは褒め続ける
事実3: 浮き易いものは進み続けるがしかし引き易くない
事実4: あの多摩南部成年後見センターは弱し
事実5: 「あの多摩南部成年後見センターは褒め続けない」ということは確かだ
事実6: その丸桁は浮き易い
事実7: もし仮にこの半日陰が弱しとしたらあの多摩南部成年後見センターは蕊だ
事実8: 仮にこの半日陰が弱しとすると述べ始めるししかも褒め続けない
事実9: あの多摩南部成年後見センターは蕊であるとするとそれは褒め続けない
事実10: 何かは蕊ならそれは褒め続けるということはない
事実11: この半日陰は蕊だ
事実12: もしその丸桁が浮き易いならばこの半日陰は弱し

仮説: 「あの多摩南部成年後見センターは述べ始めるということはない」ということは成り立つ
1. 事実12と事実6から、推論1: "この半日陰は弱し"が導かれる
2. 推論1と事実7から、推論2: "あの多摩南部成年後見センターは蕊だ"が導かれる
3. 事実1から、推論3: "もしもあの多摩南部成年後見センターが蕊ならそれは述べ始めるけど褒め続けるということはない"が導かれる
4. 推論2と推論3から、推論4: "あの多摩南部成年後見センターは述べ始めるが褒め続けるということはない"が導かれる
5. 推論4から、仮説が否定される

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