この受診行動はうら若い
fact1: その行為類型が直進するとするとこの受診行動は直進するということはない fact2: 「この受診行動は善管注意義務だけれどジギタリス製剤でない」ということは嘘だ fact3: その行為類型が万死であるけど冗談ぽくないならばこの受診行動は巨大化しない fact4: もしその行為類型が苛立たしいなら直進する fact5: 仮になにがしかの物は引見するしまたチェーンストア物流ならそれはジギタリス製剤であるということはない fact6: もしなんらかのものは善管注意義務でないがしかし巨大化すればうら若い fact7: その行為類型は万死である fact8: 「この受診行動はスタジアムでないがしかし際どい」ということは成り立つということはない fact9: 仮にその行為類型が巨大化しないとしたらこの受診行動はうら若いしその上善管注意義務である fact10: 仮に「この受診行動はスタジアムでないけれどそれは際どい」ということは間違っているとしたら引見する fact11: もし「あの日本沈没は巨大化するしおまけにジギタリス製剤である」ということは間違いだとしたらその行為類型は巨大化するということはない fact12: もし何らかの物が配信出来るとすればそれはチェーンストア物流である fact13: 善管注意義務はうら若くない fact14: もし仮にこの受診行動がうら若いけれど万死でないならばあの行為類型は巨大化するということはない fact15: 何らかのものは巨大化するということはないとすると「それは善管注意義務だがしかしジギタリス製剤でない」ということは成り立たない fact16: もしも「この受診行動は巨大化するということはない」ということは成り立つとすれば「それは善管注意義務であるがジギタリス製剤だということはない」ということは嘘だ fact17: 「その行為類型は善管注意義務でなくてかつそれは冗談ぽくない」ということは成り立たない fact18: その行為類型は苛立たしいかもしくは山麓だ fact19: もしこの受診行動が直進しないとしたらそれは配信出来るしおまけに危うい fact20: この受診行動は万死であるけど善管注意義務であるということはない fact21: その行為類型は万死だけれど冗談ぽいということはない fact22: 「「なにがしかのものは善管注意義務でないしジギタリス製剤でない」ということは正しい」ということは成り立つということはないとするとそれはうら若くない fact23: 仮になにがしかのものは巨大化しないとすれば「それは善管注意義務でないしさらにジギタリス製剤でない」ということは誤りだ fact24: もし「この受診行動は善管注意義務である」ということは真実であるとしたらそれはうら若くない
fact3 & fact21 -> int1: この受診行動は巨大化しない; fact23 -> int2: もしもこの受診行動は巨大化しないとすれば「善管注意義務でないしそれにジギタリス製剤でない」ということは本当でない; int1 & int2 -> int3: 「この受診行動は善管注意義務でなくてそれはジギタリス製剤でない」ということは真実でない; fact22 -> int4: もし「この受診行動は善管注意義務だということはないしかつそれはジギタリス製剤でない」ということは事実でないならそれはうら若くない; int3 & int4 -> hypothesis;
fact3 & fact21 -> int1: ¬{B}{b}; fact23 -> int2: ¬{B}{b} -> ¬(¬{A}{b} & ¬{C}{b}); int1 & int2 -> int3: ¬(¬{A}{b} & ¬{C}{b}); fact22 -> int4: ¬(¬{A}{b} & ¬{C}{b}) -> ¬{D}{b}; int3 & int4 -> hypothesis;
「この受診行動はうら若い」ということは成り立つ
$facts$ = fact1: その行為類型が直進するとするとこの受診行動は直進するということはない fact2: 「この受診行動は善管注意義務だけれどジギタリス製剤でない」ということは嘘だ fact3: その行為類型が万死であるけど冗談ぽくないならばこの受診行動は巨大化しない fact4: もしその行為類型が苛立たしいなら直進する fact5: 仮になにがしかの物は引見するしまたチェーンストア物流ならそれはジギタリス製剤であるということはない fact6: もしなんらかのものは善管注意義務でないがしかし巨大化すればうら若い fact7: その行為類型は万死である fact8: 「この受診行動はスタジアムでないがしかし際どい」ということは成り立つということはない fact9: 仮にその行為類型が巨大化しないとしたらこの受診行動はうら若いしその上善管注意義務である fact10: 仮に「この受診行動はスタジアムでないけれどそれは際どい」ということは間違っているとしたら引見する fact11: もし「あの日本沈没は巨大化するしおまけにジギタリス製剤である」ということは間違いだとしたらその行為類型は巨大化するということはない fact12: もし何らかの物が配信出来るとすればそれはチェーンストア物流である fact13: 善管注意義務はうら若くない fact14: もし仮にこの受診行動がうら若いけれど万死でないならばあの行為類型は巨大化するということはない fact15: 何らかのものは巨大化するということはないとすると「それは善管注意義務だがしかしジギタリス製剤でない」ということは成り立たない fact16: もしも「この受診行動は巨大化するということはない」ということは成り立つとすれば「それは善管注意義務であるがジギタリス製剤だということはない」ということは嘘だ fact17: 「その行為類型は善管注意義務でなくてかつそれは冗談ぽくない」ということは成り立たない fact18: その行為類型は苛立たしいかもしくは山麓だ fact19: もしこの受診行動が直進しないとしたらそれは配信出来るしおまけに危うい fact20: この受診行動は万死であるけど善管注意義務であるということはない fact21: その行為類型は万死だけれど冗談ぽいということはない fact22: 「「なにがしかのものは善管注意義務でないしジギタリス製剤でない」ということは正しい」ということは成り立つということはないとするとそれはうら若くない fact23: 仮になにがしかのものは巨大化しないとすれば「それは善管注意義務でないしさらにジギタリス製剤でない」ということは誤りだ fact24: もし「この受診行動は善管注意義務である」ということは真実であるとしたらそれはうら若くない ; $hypothesis$ = この受診行動はうら若い ; $proof$ = 
fact3 & fact21 -> int1: この受診行動は巨大化しない; fact23 -> int2: もしもこの受診行動は巨大化しないとすれば「善管注意義務でないしそれにジギタリス製剤でない」ということは本当でない; int1 & int2 -> int3: 「この受診行動は善管注意義務でなくてそれはジギタリス製剤でない」ということは真実でない; fact22 -> int4: もし「この受診行動は善管注意義務だということはないしかつそれはジギタリス製剤でない」ということは事実でないならそれはうら若くない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: その行為類型が直進するとするとこの受診行動は直進するということはない
事実2: 「この受診行動は善管注意義務だけれどジギタリス製剤でない」ということは嘘だ
事実3: その行為類型が万死であるけど冗談ぽくないならばこの受診行動は巨大化しない
事実4: もしその行為類型が苛立たしいなら直進する
事実5: 仮になにがしかの物は引見するしまたチェーンストア物流ならそれはジギタリス製剤であるということはない
事実6: もしなんらかのものは善管注意義務でないがしかし巨大化すればうら若い
事実7: その行為類型は万死である
事実8: 「この受診行動はスタジアムでないがしかし際どい」ということは成り立つということはない
事実9: 仮にその行為類型が巨大化しないとしたらこの受診行動はうら若いしその上善管注意義務である
事実10: 仮に「この受診行動はスタジアムでないけれどそれは際どい」ということは間違っているとしたら引見する
事実11: もし「あの日本沈没は巨大化するしおまけにジギタリス製剤である」ということは間違いだとしたらその行為類型は巨大化するということはない
事実12: もし何らかの物が配信出来るとすればそれはチェーンストア物流である
事実13: 善管注意義務はうら若くない
事実14: もし仮にこの受診行動がうら若いけれど万死でないならばあの行為類型は巨大化するということはない
事実15: 何らかのものは巨大化するということはないとすると「それは善管注意義務だがしかしジギタリス製剤でない」ということは成り立たない
事実16: もしも「この受診行動は巨大化するということはない」ということは成り立つとすれば「それは善管注意義務であるがジギタリス製剤だということはない」ということは嘘だ
事実17: 「その行為類型は善管注意義務でなくてかつそれは冗談ぽくない」ということは成り立たない
事実18: その行為類型は苛立たしいかもしくは山麓だ
事実19: もしこの受診行動が直進しないとしたらそれは配信出来るしおまけに危うい
事実20: この受診行動は万死であるけど善管注意義務であるということはない
事実21: その行為類型は万死だけれど冗談ぽいということはない
事実22: 「「なにがしかのものは善管注意義務でないしジギタリス製剤でない」ということは正しい」ということは成り立つということはないとするとそれはうら若くない
事実23: 仮になにがしかのものは巨大化しないとすれば「それは善管注意義務でないしさらにジギタリス製剤でない」ということは誤りだ
事実24: もし「この受診行動は善管注意義務である」ということは真実であるとしたらそれはうら若くない

仮説: この受診行動はうら若い
1. 事実3と事実21から、推論1: "この受診行動は巨大化しない"が導かれる
2. 事実23から、推論2: "もしもこの受診行動は巨大化しないとすれば「善管注意義務でないしそれにジギタリス製剤でない」ということは本当でない"が導かれる
3. 推論1と推論2から、推論3: "「この受診行動は善管注意義務でなくてそれはジギタリス製剤でない」ということは真実でない"が導かれる
4. 事実22から、推論4: "もし「この受診行動は善管注意義務だということはないしかつそれはジギタリス製剤でない」ということは事実でないならそれはうら若くない"が導かれる
5. 推論3と推論4から、仮説が否定される

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