このイオン輸送は出掛からない
fact1: そのＭＲＳＡ感染症は蹴り出すが急かせない fact2: もしこのイオン輸送がプラザであるとしたらそのＭＲＳＡ感染症はプラザだということはないしそれに決定基準でない fact3: 仮にそのＭＲＳＡ感染症は蹴り出すが急かせないとするとバルジでない fact4: もし仮に何らかの物が下位でないしかつ記憶するということはないならばプラザである fact5: 「このイオン輸送は急かせるということはなくてかつ出掛からない」ということは誤りである fact6: そのＭＲＳＡ感染症はバルジだということはないとしたら「それはプラザでなくて決定基準だということはない」ということは誤りだ fact7: このイオン輸送はプラザであり蹴り出さないとしたらそれは出掛からない fact8: せせこましいものは出掛かる fact9: もしもそのＭＲＳＡ感染症が急かせるとしたらこのイオン輸送は決定基準であるということはない fact10: もし「このイオン輸送は出掛かる」ということは確かであるならばそのＭＲＳＡ感染症は出掛からなくて決定基準でない fact11: もし仮に「とあるものは下位でないし加えて記憶しない」ということは誤りだとすると「それはせせこましい」ということは成り立つ
fact4 -> int1: もしこのイオン輸送は下位でないし更に記憶しないとするとそれはプラザだ; void -> assump1: 以下のように仮定する。このイオン輸送は下位でなくてそれに記憶しない; int1 & assump1 -> int2: このイオン輸送はプラザである; int2 & fact2 -> int3: そのＭＲＳＡ感染症はプラザでなくてそれに決定基準だということはない; fact3 & fact1 -> int4: そのＭＲＳＡ感染症はバルジでない; fact6 & int4 -> int5: 「そのＭＲＳＡ感染症はプラザでなくてかつ決定基準であるということはない」ということは偽である; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「このイオン輸送は下位でないしその上記憶しない」ということは偽だ; fact11 -> int8: 「このイオン輸送は下位でなくてそれに記憶しない」ということは正しくないならそれはせせこましい; int7 & int8 -> int9: このイオン輸送はせせこましい; fact8 -> int10: もし仮にこのイオン輸送がせせこましいとしたら出掛かる; int9 & int10 -> hypothesis;
$facts$ = fact1: そのＭＲＳＡ感染症は蹴り出すが急かせない fact2: もしこのイオン輸送がプラザであるとしたらそのＭＲＳＡ感染症はプラザだということはないしそれに決定基準でない fact3: 仮にそのＭＲＳＡ感染症は蹴り出すが急かせないとするとバルジでない fact4: もし仮に何らかの物が下位でないしかつ記憶するということはないならばプラザである fact5: 「このイオン輸送は急かせるということはなくてかつ出掛からない」ということは誤りである fact6: そのＭＲＳＡ感染症はバルジだということはないとしたら「それはプラザでなくて決定基準だということはない」ということは誤りだ fact7: このイオン輸送はプラザであり蹴り出さないとしたらそれは出掛からない fact8: せせこましいものは出掛かる fact9: もしもそのＭＲＳＡ感染症が急かせるとしたらこのイオン輸送は決定基準であるということはない fact10: もし「このイオン輸送は出掛かる」ということは確かであるならばそのＭＲＳＡ感染症は出掛からなくて決定基準でない fact11: もし仮に「とあるものは下位でないし加えて記憶しない」ということは誤りだとすると「それはせせこましい」ということは成り立つ ; $hypothesis$ = このイオン輸送は出掛からない ; $proof$ = 
fact4 -> int1: もしこのイオン輸送は下位でないし更に記憶しないとするとそれはプラザだ; void -> assump1: 以下のように仮定する。このイオン輸送は下位でなくてそれに記憶しない; int1 & assump1 -> int2: このイオン輸送はプラザである; int2 & fact2 -> int3: そのＭＲＳＡ感染症はプラザでなくてそれに決定基準だということはない; fact3 & fact1 -> int4: そのＭＲＳＡ感染症はバルジでない; fact6 & int4 -> int5: 「そのＭＲＳＡ感染症はプラザでなくてかつ決定基準であるということはない」ということは偽である; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「このイオン輸送は下位でないしその上記憶しない」ということは偽だ; fact11 -> int8: 「このイオン輸送は下位でなくてそれに記憶しない」ということは正しくないならそれはせせこましい; int7 & int8 -> int9: このイオン輸送はせせこましい; fact8 -> int10: もし仮にこのイオン輸送がせせこましいとしたら出掛かる; int9 & int10 -> hypothesis; __DISPROVED__
事実1: そのＭＲＳＡ感染症は蹴り出すが急かせない
事実2: もしこのイオン輸送がプラザであるとしたらそのＭＲＳＡ感染症はプラザだということはないしそれに決定基準でない
事実3: 仮にそのＭＲＳＡ感染症は蹴り出すが急かせないとするとバルジでない
事実4: もし仮に何らかの物が下位でないしかつ記憶するということはないならばプラザである
事実5: 「このイオン輸送は急かせるということはなくてかつ出掛からない」ということは誤りである
事実6: そのＭＲＳＡ感染症はバルジだということはないとしたら「それはプラザでなくて決定基準だということはない」ということは誤りだ
事実7: このイオン輸送はプラザであり蹴り出さないとしたらそれは出掛からない
事実8: せせこましいものは出掛かる
事実9: もしもそのＭＲＳＡ感染症が急かせるとしたらこのイオン輸送は決定基準であるということはない
事実10: もし「このイオン輸送は出掛かる」ということは確かであるならばそのＭＲＳＡ感染症は出掛からなくて決定基準でない
事実11: もし仮に「とあるものは下位でないし加えて記憶しない」ということは誤りだとすると「それはせせこましい」ということは成り立つ

仮説: このイオン輸送は出掛からない
1. 事実4から、推論1: "もしこのイオン輸送は下位でないし更に記憶しないとするとそれはプラザだ"が導かれる
2. 仮定1: 以下のように仮定する。このイオン輸送は下位でなくてそれに記憶しない
3. 推論1と仮定1から、推論2: "このイオン輸送はプラザである"が導かれる
4. 推論2と事実2から、推論3: "そのＭＲＳＡ感染症はプラザでなくてそれに決定基準だということはない"が導かれる
5. 事実3と事実1から、推論4: "そのＭＲＳＡ感染症はバルジでない"が導かれる
6. 事実6と推論4から、推論5: "「そのＭＲＳＡ感染症はプラザでなくてかつ決定基準であるということはない」ということは偽である"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「このイオン輸送は下位でないしその上記憶しない」ということは偽だ"が導かれる
9. 事実11から、推論8: "「このイオン輸送は下位でなくてそれに記憶しない」ということは正しくないならそれはせせこましい"が導かれる
10. 推論7と推論8から、推論9: "このイオン輸送はせせこましい"が導かれる
11. 事実8から、推論10: "もし仮にこのイオン輸送がせせこましいとしたら出掛かる"が導かれる
12. 推論9と推論10から、仮説が否定される

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