この証券業は涼しかない
fact1: 仮にその音楽ソースが送り迎えないとするとそれは挙手する fact2: もしその音楽ソースが溜め込み易くないならばあの抽象的思考能力は溜め込み易くない fact3: 何らかの物は溜め込み易いもので振り続けない fact4: もし仮にその音楽ソースが挙手するとするとこの証券業は涼しい fact5: 仮になんらかの物が振り続けるということはないし更に溜め込み易くないとすると涼しかない fact6: 「とある物は送り迎えるがしかし沸き上がるということはない」ということは成り立たないならばそれは挙手する fact7: もしも「あの抽象的思考能力は溜め込み易いけど止めど無くない」ということは誤りであるならそれは挙手する fact8: 「その猩紅熱は御恥ずかしくない一方でそれは専門領域である」ということは事実と異なるとしたらあの抽象的思考能力は挙手しない fact9: もし仮にその音楽ソースは溜め込み易いとすれば「それは振り続ける」ということは確かである fact10: もし仮に「その音楽ソースは涼しいが溜め込み易くない」ということは間違っていればそれは溜め込み易い fact11: もしあの抽象的思考能力が挙手しないとすればその音楽ソースは挙手するということはない fact12: 「溜め込み易いということはない」ものはある fact13: その猩紅熱は止めど無いということはない fact14: 「その音楽ソースは溜め込み易くない」ということは確かであるとしたらあの抽象的思考能力は溜め込み易くないしそれは振り続けない fact15: もしもその音楽ソースは送り迎えるがしかし沸き上がらないならばそれは溜め込み易くない fact16: もしなんらかのものが送り迎えないとするとそれは挙手する fact17: あの抽象的思考能力は溜め込み易くない fact18: もし仮に溜め込み易くないものが振り続けないならその猩紅熱は止めど無い
void -> assump1: 以下のように仮定する。その音楽ソースは送り迎えるけど沸き上がらない; fact15 & assump1 -> int1: その音楽ソースは溜め込み易くない; int1 & fact14 -> int2: あの抽象的思考能力は溜め込み易くないし更にそれは振り続けるということはない; int2 -> int3: 「溜め込み易くないし更に振り続けない」物はある; int3 & fact18 -> int4: その猩紅熱は止めど無い; int4 & fact13 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その音楽ソースは送り迎えるけどそれは沸き上がらない」ということは成り立たない; fact6 -> int7: 「その音楽ソースは送り迎えるが沸き上がらない」ということは誤っているならそれは挙手する; int6 & int7 -> int8: その音楽ソースは挙手する; int8 & fact4 -> hypothesis;
この高齢者円滑入居賃貸住宅は手分けする一方でそれは止めど無くない
$facts$ = fact1: 仮にその音楽ソースが送り迎えないとするとそれは挙手する fact2: もしその音楽ソースが溜め込み易くないならばあの抽象的思考能力は溜め込み易くない fact3: 何らかの物は溜め込み易いもので振り続けない fact4: もし仮にその音楽ソースが挙手するとするとこの証券業は涼しい fact5: 仮になんらかの物が振り続けるということはないし更に溜め込み易くないとすると涼しかない fact6: 「とある物は送り迎えるがしかし沸き上がるということはない」ということは成り立たないならばそれは挙手する fact7: もしも「あの抽象的思考能力は溜め込み易いけど止めど無くない」ということは誤りであるならそれは挙手する fact8: 「その猩紅熱は御恥ずかしくない一方でそれは専門領域である」ということは事実と異なるとしたらあの抽象的思考能力は挙手しない fact9: もし仮にその音楽ソースは溜め込み易いとすれば「それは振り続ける」ということは確かである fact10: もし仮に「その音楽ソースは涼しいが溜め込み易くない」ということは間違っていればそれは溜め込み易い fact11: もしあの抽象的思考能力が挙手しないとすればその音楽ソースは挙手するということはない fact12: 「溜め込み易いということはない」ものはある fact13: その猩紅熱は止めど無いということはない fact14: 「その音楽ソースは溜め込み易くない」ということは確かであるとしたらあの抽象的思考能力は溜め込み易くないしそれは振り続けない fact15: もしもその音楽ソースは送り迎えるがしかし沸き上がらないならばそれは溜め込み易くない fact16: もしなんらかのものが送り迎えないとするとそれは挙手する fact17: あの抽象的思考能力は溜め込み易くない fact18: もし仮に溜め込み易くないものが振り続けないならその猩紅熱は止めど無い ; $hypothesis$ = この証券業は涼しかない ; $proof$ = 
void -> assump1: 以下のように仮定する。その音楽ソースは送り迎えるけど沸き上がらない; fact15 & assump1 -> int1: その音楽ソースは溜め込み易くない; int1 & fact14 -> int2: あの抽象的思考能力は溜め込み易くないし更にそれは振り続けるということはない; int2 -> int3: 「溜め込み易くないし更に振り続けない」物はある; int3 & fact18 -> int4: その猩紅熱は止めど無い; int4 & fact13 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その音楽ソースは送り迎えるけどそれは沸き上がらない」ということは成り立たない; fact6 -> int7: 「その音楽ソースは送り迎えるが沸き上がらない」ということは誤っているならそれは挙手する; int6 & int7 -> int8: その音楽ソースは挙手する; int8 & fact4 -> hypothesis; __DISPROVED__
事実1: 仮にその音楽ソースが送り迎えないとするとそれは挙手する
事実2: もしその音楽ソースが溜め込み易くないならばあの抽象的思考能力は溜め込み易くない
事実3: 何らかの物は溜め込み易いもので振り続けない
事実4: もし仮にその音楽ソースが挙手するとするとこの証券業は涼しい
事実5: 仮になんらかの物が振り続けるということはないし更に溜め込み易くないとすると涼しかない
事実6: 「とある物は送り迎えるがしかし沸き上がるということはない」ということは成り立たないならばそれは挙手する
事実7: もしも「あの抽象的思考能力は溜め込み易いけど止めど無くない」ということは誤りであるならそれは挙手する
事実8: 「その猩紅熱は御恥ずかしくない一方でそれは専門領域である」ということは事実と異なるとしたらあの抽象的思考能力は挙手しない
事実9: もし仮にその音楽ソースは溜め込み易いとすれば「それは振り続ける」ということは確かである
事実10: もし仮に「その音楽ソースは涼しいが溜め込み易くない」ということは間違っていればそれは溜め込み易い
事実11: もしあの抽象的思考能力が挙手しないとすればその音楽ソースは挙手するということはない
事実12: 「溜め込み易いということはない」ものはある
事実13: その猩紅熱は止めど無いということはない
事実14: 「その音楽ソースは溜め込み易くない」ということは確かであるとしたらあの抽象的思考能力は溜め込み易くないしそれは振り続けない
事実15: もしもその音楽ソースは送り迎えるがしかし沸き上がらないならばそれは溜め込み易くない
事実16: もしなんらかのものが送り迎えないとするとそれは挙手する
事実17: あの抽象的思考能力は溜め込み易くない
事実18: もし仮に溜め込み易くないものが振り続けないならその猩紅熱は止めど無い

仮説: この証券業は涼しかない
1. 仮定1: 以下のように仮定する。その音楽ソースは送り迎えるけど沸き上がらない
2. 事実15と仮定1から、推論1: "その音楽ソースは溜め込み易くない"が導かれる
3. 推論1と事実14から、推論2: "あの抽象的思考能力は溜め込み易くないし更にそれは振り続けるということはない"が導かれる
4. 推論2から、推論3: "「溜め込み易くないし更に振り続けない」物はある"が導かれる
5. 推論3と事実18から、推論4: "その猩紅熱は止めど無い"が導かれる
6. 推論4と事実13から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「その音楽ソースは送り迎えるけどそれは沸き上がらない」ということは成り立たない"が導かれる
8. 事実6から、推論7: "「その音楽ソースは送り迎えるが沸き上がらない」ということは誤っているならそれは挙手する"が導かれる
9. 推論6と推論7から、推論8: "その音楽ソースは挙手する"が導かれる
10. 推論8と事実4から、仮説が否定される

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