「この新型肺炎は幻滅感であるということはないけど姦しい」ということは真実でない
fact1: もし仮にこの新型肺炎はしようしないとしたら「この四角形は淡くない一方で重要事項である」ということは成り立たない fact2: 淡いものは重要事項である一方でしようしない fact3: もし仮に「なにがしかの物は淡くなくてしかも重要事項でない」ということは間違っていれば「それは巻き付けない」ということは事実と異ならない fact4: 仮にこの新型肺炎はしようしないとすると「この四角形は淡くないし重要事項でない」ということは誤っている fact5: この美形ナンバーが新春でない一方でそれが遅咲きであるとすればこの四角形は遅咲きでない fact6: もし「とある物は淡いか重要事項であるということはない」ということは嘘であるならそれはしようするということはない fact7: あのアルハンブラ宮殿は可愛くない fact8: 何もかもは巻き付けるしおまけに遅咲きだ fact9: この四角形は遅咲きだ fact10: もしなにかは遅咲きでないとしたら巻き付けないしその上淡い fact11: もしもこの四角形が重要事項だけどしようしないとしたらこの新型肺炎は重要事項でない fact12: 「何らかのものは幻滅感だということはないが姦しい」ということは事実と異なればしようしない
fact12 -> int1: 「この新型肺炎は幻滅感でないけれど姦しい」ということは事実と異なるとしたら「それはしようするということはない」ということは確かである; void -> assump1: 以下のように仮定する。「この新型肺炎は幻滅感であるということはないけれどそれは姦しい」ということは成り立たない; int1 & assump1 -> int2: この新型肺炎はしようするということはない; int2 & fact4 -> int3: 「この四角形は淡くないしそれは重要事項でない」ということは間違いだ; fact3 -> int4: もしも「この四角形は淡くないし重要事項でない」ということは真実でないとすればそれは巻き付けない; int3 & int4 -> int5: この四角形は巻き付けない; fact8 -> int6: この四角形は巻き付けるしかつ遅咲きである; int6 -> int7: この四角形は巻き付ける; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
あのＶＦＡはしようしない
fact13 -> int9: もし仮に「あのＶＦＡは淡いか重要事項でないかもしくはどちらもである」ということは成り立たないとしたら「それはしようしない」ということは成り立つ;
$facts$ = fact1: もし仮にこの新型肺炎はしようしないとしたら「この四角形は淡くない一方で重要事項である」ということは成り立たない fact2: 淡いものは重要事項である一方でしようしない fact3: もし仮に「なにがしかの物は淡くなくてしかも重要事項でない」ということは間違っていれば「それは巻き付けない」ということは事実と異ならない fact4: 仮にこの新型肺炎はしようしないとすると「この四角形は淡くないし重要事項でない」ということは誤っている fact5: この美形ナンバーが新春でない一方でそれが遅咲きであるとすればこの四角形は遅咲きでない fact6: もし「とある物は淡いか重要事項であるということはない」ということは嘘であるならそれはしようするということはない fact7: あのアルハンブラ宮殿は可愛くない fact8: 何もかもは巻き付けるしおまけに遅咲きだ fact9: この四角形は遅咲きだ fact10: もしなにかは遅咲きでないとしたら巻き付けないしその上淡い fact11: もしもこの四角形が重要事項だけどしようしないとしたらこの新型肺炎は重要事項でない fact12: 「何らかのものは幻滅感だということはないが姦しい」ということは事実と異なればしようしない ; $hypothesis$ = 「この新型肺炎は幻滅感であるということはないけど姦しい」ということは真実でない ; $proof$ = 
fact12 -> int1: 「この新型肺炎は幻滅感でないけれど姦しい」ということは事実と異なるとしたら「それはしようするということはない」ということは確かである; void -> assump1: 以下のように仮定する。「この新型肺炎は幻滅感であるということはないけれどそれは姦しい」ということは成り立たない; int1 & assump1 -> int2: この新型肺炎はしようするということはない; int2 & fact4 -> int3: 「この四角形は淡くないしそれは重要事項でない」ということは間違いだ; fact3 -> int4: もしも「この四角形は淡くないし重要事項でない」ということは真実でないとすればそれは巻き付けない; int3 & int4 -> int5: この四角形は巻き付けない; fact8 -> int6: この四角形は巻き付けるしかつ遅咲きである; int6 -> int7: この四角形は巻き付ける; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: もし仮にこの新型肺炎はしようしないとしたら「この四角形は淡くない一方で重要事項である」ということは成り立たない
事実2: 淡いものは重要事項である一方でしようしない
事実3: もし仮に「なにがしかの物は淡くなくてしかも重要事項でない」ということは間違っていれば「それは巻き付けない」ということは事実と異ならない
事実4: 仮にこの新型肺炎はしようしないとすると「この四角形は淡くないし重要事項でない」ということは誤っている
事実5: この美形ナンバーが新春でない一方でそれが遅咲きであるとすればこの四角形は遅咲きでない
事実6: もし「とある物は淡いか重要事項であるということはない」ということは嘘であるならそれはしようするということはない
事実7: あのアルハンブラ宮殿は可愛くない
事実8: 何もかもは巻き付けるしおまけに遅咲きだ
事実9: この四角形は遅咲きだ
事実10: もしなにかは遅咲きでないとしたら巻き付けないしその上淡い
事実11: もしもこの四角形が重要事項だけどしようしないとしたらこの新型肺炎は重要事項でない
事実12: 「何らかのものは幻滅感だということはないが姦しい」ということは事実と異なればしようしない

仮説: 「この新型肺炎は幻滅感であるということはないけど姦しい」ということは真実でない
1. 事実12から、推論1: "「この新型肺炎は幻滅感でないけれど姦しい」ということは事実と異なるとしたら「それはしようするということはない」ということは確かである"が導かれる
2. 仮定1: 以下のように仮定する。「この新型肺炎は幻滅感であるということはないけれどそれは姦しい」ということは成り立たない
3. 推論1と仮定1から、推論2: "この新型肺炎はしようするということはない"が導かれる
4. 推論2と事実4から、推論3: "「この四角形は淡くないしそれは重要事項でない」ということは間違いだ"が導かれる
5. 事実3から、推論4: "もしも「この四角形は淡くないし重要事項でない」ということは真実でないとすればそれは巻き付けない"が導かれる
6. 推論3と推論4から、推論5: "この四角形は巻き付けない"が導かれる
7. 事実8から、推論6: "この四角形は巻き付けるしかつ遅咲きである"が導かれる
8. 推論6から、推論7: "この四角形は巻き付ける"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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