この疑問符は発揮し易いということはない
fact1: もしもこの疑問符は洗濯槽であるなら「それはブランドらしい」ということは真実だ fact2: 「その政治的権能は慣れ過ぎる」ということは事実だ fact3: もしその居宅要介護被保険者が発揮し易くないとすればこの疑問符は慣れ過ぎるしまた近付ける fact4: もし仮にその居宅要介護被保険者は洗濯槽だとしたら「それは慣れ過ぎる」ということは成り立つ fact5: なにかは御出迎えるなら「それは行き倒れない」ということは本当である fact6: 「この蒸米は洗濯槽だ」ということは成り立つ fact7: もしなんらかのものは慣れ過ぎるとするとそれは行き倒れる fact8: もし「御出迎える」物があるとするとこの疑問符は発揮し易くない fact9: この疑問符は近付ける fact10: もしもその居宅要介護被保険者は読み難いなら「それは近付ける」ということは事実である fact11: 「その居宅要介護被保険者は洗濯槽だ」ということは真実だ fact12: 何かは慣れ過ぎるならそれは近付けない fact13: もしその居宅要介護被保険者が御出迎えるということはないならばこの疑問符は近付ける fact14: もし仮にあるものは行き倒れるとすれば近付けない fact15: 仮にその居宅要介護被保険者が御出迎えないとしたらこの疑問符は近付けるし更に発揮し易い
fact5 -> int1: もしその居宅要介護被保険者は御出迎えるとすればそれは行き倒れない; void -> assump1: 以下のように仮定する。その居宅要介護被保険者は御出迎える; int1 & assump1 -> int2: その居宅要介護被保険者は行き倒れない; fact11 & fact4 -> int3: その居宅要介護被保険者は慣れ過ぎる; fact7 -> int4: もしもその居宅要介護被保険者は慣れ過ぎるとするとそれは行き倒れる; int3 & int4 -> int5: その居宅要介護被保険者は行き倒れる; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その居宅要介護被保険者は御出迎えない; int7 & fact15 -> int8: この疑問符は近付けるし発揮し易い; int8 -> hypothesis;
この疑問符は発揮し易くない
$facts$ = fact1: もしもこの疑問符は洗濯槽であるなら「それはブランドらしい」ということは真実だ fact2: 「その政治的権能は慣れ過ぎる」ということは事実だ fact3: もしその居宅要介護被保険者が発揮し易くないとすればこの疑問符は慣れ過ぎるしまた近付ける fact4: もし仮にその居宅要介護被保険者は洗濯槽だとしたら「それは慣れ過ぎる」ということは成り立つ fact5: なにかは御出迎えるなら「それは行き倒れない」ということは本当である fact6: 「この蒸米は洗濯槽だ」ということは成り立つ fact7: もしなんらかのものは慣れ過ぎるとするとそれは行き倒れる fact8: もし「御出迎える」物があるとするとこの疑問符は発揮し易くない fact9: この疑問符は近付ける fact10: もしもその居宅要介護被保険者は読み難いなら「それは近付ける」ということは事実である fact11: 「その居宅要介護被保険者は洗濯槽だ」ということは真実だ fact12: 何かは慣れ過ぎるならそれは近付けない fact13: もしその居宅要介護被保険者が御出迎えるということはないならばこの疑問符は近付ける fact14: もし仮にあるものは行き倒れるとすれば近付けない fact15: 仮にその居宅要介護被保険者が御出迎えないとしたらこの疑問符は近付けるし更に発揮し易い ; $hypothesis$ = この疑問符は発揮し易いということはない ; $proof$ = 
fact5 -> int1: もしその居宅要介護被保険者は御出迎えるとすればそれは行き倒れない; void -> assump1: 以下のように仮定する。その居宅要介護被保険者は御出迎える; int1 & assump1 -> int2: その居宅要介護被保険者は行き倒れない; fact11 & fact4 -> int3: その居宅要介護被保険者は慣れ過ぎる; fact7 -> int4: もしもその居宅要介護被保険者は慣れ過ぎるとするとそれは行き倒れる; int3 & int4 -> int5: その居宅要介護被保険者は行き倒れる; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その居宅要介護被保険者は御出迎えない; int7 & fact15 -> int8: この疑問符は近付けるし発揮し易い; int8 -> hypothesis; __DISPROVED__
事実1: もしもこの疑問符は洗濯槽であるなら「それはブランドらしい」ということは真実だ
事実2: 「その政治的権能は慣れ過ぎる」ということは事実だ
事実3: もしその居宅要介護被保険者が発揮し易くないとすればこの疑問符は慣れ過ぎるしまた近付ける
事実4: もし仮にその居宅要介護被保険者は洗濯槽だとしたら「それは慣れ過ぎる」ということは成り立つ
事実5: なにかは御出迎えるなら「それは行き倒れない」ということは本当である
事実6: 「この蒸米は洗濯槽だ」ということは成り立つ
事実7: もしなんらかのものは慣れ過ぎるとするとそれは行き倒れる
事実8: もし「御出迎える」物があるとするとこの疑問符は発揮し易くない
事実9: この疑問符は近付ける
事実10: もしもその居宅要介護被保険者は読み難いなら「それは近付ける」ということは事実である
事実11: 「その居宅要介護被保険者は洗濯槽だ」ということは真実だ
事実12: 何かは慣れ過ぎるならそれは近付けない
事実13: もしその居宅要介護被保険者が御出迎えるということはないならばこの疑問符は近付ける
事実14: もし仮にあるものは行き倒れるとすれば近付けない
事実15: 仮にその居宅要介護被保険者が御出迎えないとしたらこの疑問符は近付けるし更に発揮し易い

仮説: この疑問符は発揮し易いということはない
1. 事実5から、推論1: "もしその居宅要介護被保険者は御出迎えるとすればそれは行き倒れない"が導かれる
2. 仮定1: 以下のように仮定する。その居宅要介護被保険者は御出迎える
3. 推論1と仮定1から、推論2: "その居宅要介護被保険者は行き倒れない"が導かれる
4. 事実11と事実4から、推論3: "その居宅要介護被保険者は慣れ過ぎる"が導かれる
5. 事実7から、推論4: "もしもその居宅要介護被保険者は慣れ過ぎるとするとそれは行き倒れる"が導かれる
6. 推論3と推論4から、推論5: "その居宅要介護被保険者は行き倒れる"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その居宅要介護被保険者は御出迎えない"が導かれる
9. 推論7と事実15から、推論8: "この疑問符は近付けるし発揮し易い"が導かれる
10. 推論8から、仮説が否定される

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