このＳＷＡＴは出版部でない
fact1: 「この購入者は約三十秒後であるかまたはそれは支援すかあるいはどちらもである」ということは間違いである fact2: もしもこのＳＷＡＴが分かり掛けないとすればそれは出版部であるしそれは表面化する fact3: その屈筋は移り難いしガスバリア性である fact4: 仮になんらかのものは表面化するということはないとすれば「分かり掛けないかまたは忘れ難い」ということは嘘である fact5: 仮にその屈筋は犯し易くないとすると「このＳＷＡＴは忘れ難くない」ということは本当だ fact6: 「このＳＷＡＴは忘れ難くない一方で分かり掛ける」ということは正しいということはない fact7: 仮に「このＳＷＡＴは分かり掛けるということはない」ということは嘘でないとしたら表面化する fact8: もし仮にその一フレーム目は犯し易くないなら「その屈筋は犯し易いしその上作り出す」ということは成り立つということはない fact9: この購入者は約三十秒後でない fact10: もしも「「この購入者は約三十秒後であるかあるいは支援すかまたはどちらもだ」ということは成り立つ」ということは誤りだとすればその一フレーム目は犯し易くない fact11: もし仮にこの購入者は移り難いが表面化しないとしたらそれは出版部であるということはない fact12: この購入者は忘れ難くない fact13: 犯し易くないものは作り出すし出版部である fact14: その屈筋は移り難いしまたガスバリア性であるとすると表面化するということはない fact15: もし仮にこの購入者が出版部でないけれど犯し易いとすればこのＳＷＡＴは出版部でない fact16: このＳＷＡＴは表面化する fact17: 仮に「その屈筋は犯し易いもので更に作り出す」ということは誤りであるとしたらこのＳＷＡＴは忘れ難くない
fact10 & fact1 -> int1: その一フレーム目は犯し易くない; int1 & fact8 -> int2: 「その屈筋は犯し易いしまた作り出す」ということは事実でない; int2 & fact17 -> int3: このＳＷＡＴは忘れ難いということはない; void -> assump1: 以下のように仮定する。このＳＷＡＴは分かり掛ける; int3 & assump1 -> int4: このＳＷＡＴは忘れ難くない一方で分かり掛ける; int4 & fact6 -> int5: これは矛盾である; [assump1] & int5 -> int6: このＳＷＡＴは分かり掛けない; int6 & fact2 -> int7: このＳＷＡＴは出版部であるしおまけに表面化する; int7 -> hypothesis;
このＳＷＡＴは出版部でない
$facts$ = fact1: 「この購入者は約三十秒後であるかまたはそれは支援すかあるいはどちらもである」ということは間違いである fact2: もしもこのＳＷＡＴが分かり掛けないとすればそれは出版部であるしそれは表面化する fact3: その屈筋は移り難いしガスバリア性である fact4: 仮になんらかのものは表面化するということはないとすれば「分かり掛けないかまたは忘れ難い」ということは嘘である fact5: 仮にその屈筋は犯し易くないとすると「このＳＷＡＴは忘れ難くない」ということは本当だ fact6: 「このＳＷＡＴは忘れ難くない一方で分かり掛ける」ということは正しいということはない fact7: 仮に「このＳＷＡＴは分かり掛けるということはない」ということは嘘でないとしたら表面化する fact8: もし仮にその一フレーム目は犯し易くないなら「その屈筋は犯し易いしその上作り出す」ということは成り立つということはない fact9: この購入者は約三十秒後でない fact10: もしも「「この購入者は約三十秒後であるかあるいは支援すかまたはどちらもだ」ということは成り立つ」ということは誤りだとすればその一フレーム目は犯し易くない fact11: もし仮にこの購入者は移り難いが表面化しないとしたらそれは出版部であるということはない fact12: この購入者は忘れ難くない fact13: 犯し易くないものは作り出すし出版部である fact14: その屈筋は移り難いしまたガスバリア性であるとすると表面化するということはない fact15: もし仮にこの購入者が出版部でないけれど犯し易いとすればこのＳＷＡＴは出版部でない fact16: このＳＷＡＴは表面化する fact17: 仮に「その屈筋は犯し易いもので更に作り出す」ということは誤りであるとしたらこのＳＷＡＴは忘れ難くない ; $hypothesis$ = このＳＷＡＴは出版部でない ; $proof$ = 
fact10 & fact1 -> int1: その一フレーム目は犯し易くない; int1 & fact8 -> int2: 「その屈筋は犯し易いしまた作り出す」ということは事実でない; int2 & fact17 -> int3: このＳＷＡＴは忘れ難いということはない; void -> assump1: 以下のように仮定する。このＳＷＡＴは分かり掛ける; int3 & assump1 -> int4: このＳＷＡＴは忘れ難くない一方で分かり掛ける; int4 & fact6 -> int5: これは矛盾である; [assump1] & int5 -> int6: このＳＷＡＴは分かり掛けない; int6 & fact2 -> int7: このＳＷＡＴは出版部であるしおまけに表面化する; int7 -> hypothesis; __DISPROVED__
事実1: 「この購入者は約三十秒後であるかまたはそれは支援すかあるいはどちらもである」ということは間違いである
事実2: もしもこのＳＷＡＴが分かり掛けないとすればそれは出版部であるしそれは表面化する
事実3: その屈筋は移り難いしガスバリア性である
事実4: 仮になんらかのものは表面化するということはないとすれば「分かり掛けないかまたは忘れ難い」ということは嘘である
事実5: 仮にその屈筋は犯し易くないとすると「このＳＷＡＴは忘れ難くない」ということは本当だ
事実6: 「このＳＷＡＴは忘れ難くない一方で分かり掛ける」ということは正しいということはない
事実7: 仮に「このＳＷＡＴは分かり掛けるということはない」ということは嘘でないとしたら表面化する
事実8: もし仮にその一フレーム目は犯し易くないなら「その屈筋は犯し易いしその上作り出す」ということは成り立つということはない
事実9: この購入者は約三十秒後でない
事実10: もしも「「この購入者は約三十秒後であるかあるいは支援すかまたはどちらもだ」ということは成り立つ」ということは誤りだとすればその一フレーム目は犯し易くない
事実11: もし仮にこの購入者は移り難いが表面化しないとしたらそれは出版部であるということはない
事実12: この購入者は忘れ難くない
事実13: 犯し易くないものは作り出すし出版部である
事実14: その屈筋は移り難いしまたガスバリア性であるとすると表面化するということはない
事実15: もし仮にこの購入者が出版部でないけれど犯し易いとすればこのＳＷＡＴは出版部でない
事実16: このＳＷＡＴは表面化する
事実17: 仮に「その屈筋は犯し易いもので更に作り出す」ということは誤りであるとしたらこのＳＷＡＴは忘れ難くない

仮説: このＳＷＡＴは出版部でない
1. 事実10と事実1から、推論1: "その一フレーム目は犯し易くない"が導かれる
2. 推論1と事実8から、推論2: "「その屈筋は犯し易いしまた作り出す」ということは事実でない"が導かれる
3. 推論2と事実17から、推論3: "このＳＷＡＴは忘れ難いということはない"が導かれる
4. 仮定1: 以下のように仮定する。このＳＷＡＴは分かり掛ける
5. 推論3と仮定1から、推論4: "このＳＷＡＴは忘れ難くない一方で分かり掛ける"が導かれる
6. 推論4と事実6から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "このＳＷＡＴは分かり掛けない"が導かれる
8. 推論6と事実2から、推論7: "このＳＷＡＴは出版部であるしおまけに表面化する"が導かれる
9. 推論7から、仮説が否定される

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