その雑味は埋めない
fact1: この誕生祝は直訴しない fact2: その手術時間は関与しなくて更に直訴するということはない fact3: この誕生祝が直訴しないならばそれは突き倒すし関与する fact4: もし仮にその手術時間がＩＦＮ‐γだとしたらこの誕生祝は破れ難くないけれどそれは継続期間である fact5: その雑味は埋めるということはないとすると「淡くてかつそれは物欲しい」ということは確かでない fact6: このプロセスチーズは継続期間でないとすれば「使い切るし底深い」ということは間違いである fact7: 「この誕生祝は埋めない」ということは真実だとすれば「その雑味は整理整頓であるしその上破れ難い」ということは事実と異なる fact8: この誕生祝が直訴するということはないならそれは関与する fact9: もしその手術時間が関与するということはないなら突き倒すし加えてＩＦＮ‐γだ fact10: もし「その雑味は淡いしまた物欲しい」ということは成り立たないとすれば継続期間でない fact11: もし仮になんらかの物は継続期間でないとしたら「それは破れ難いしＩＦＮ‐γだ」ということは成り立たない fact12: 仮に「あるものは埋めるし破れ難い」ということは誤りであるとするとそれは埋めない fact13: 仮に「その雑味は破れ難くてさらにＩＦＮ‐γだ」ということは成り立たないとするとこの誕生祝は突き倒さない fact14: もし仮に「その雑味は埋めるし淡い」ということは成り立たないならばそれは関与しない
void -> assump1: 以下のように仮定する。その雑味は埋めない; fact5 & assump1 -> int1: 「その雑味は淡くて物欲しい」ということは成り立つということはない; int1 & fact10 -> int2: その雑味は継続期間でない; fact11 -> int3: もしも「その雑味は継続期間でない」ということは成り立つとすると「破れ難くてかつそれはＩＦＮ‐γである」ということは間違っている; int2 & int3 -> int4: 「その雑味は破れ難いしその上ｉＦＮ‐γだ」ということは成り立たない; int4 & fact13 -> int5: この誕生祝は突き倒さない; fact3 & fact1 -> int6: この誕生祝は突き倒すしまた関与する; int6 -> int7: 「この誕生祝は突き倒す」ということは成り立つ; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
その雑味は埋めない
fact18 -> int9: 仮に「その雑味は埋めるしそれにそれは破れ難い」ということは事実と異なるなら「埋めない」ということは成り立つ; fact15 -> int10: その手術時間は関与しない; fact16 & int10 -> int11: その手術時間は突き倒すし加えてＩＦＮ‐γだ; int11 -> int12: 「その手術時間はＩＦＮ‐γでない」ということは間違いだ; fact17 & int12 -> int13: この誕生祝は破れ難くないが継続期間である; int13 -> int14: この誕生祝は破れ難いということはない; int14 -> int15: 「破れ難くない」ものはある;
$facts$ = fact1: この誕生祝は直訴しない fact2: その手術時間は関与しなくて更に直訴するということはない fact3: この誕生祝が直訴しないならばそれは突き倒すし関与する fact4: もし仮にその手術時間がＩＦＮ‐γだとしたらこの誕生祝は破れ難くないけれどそれは継続期間である fact5: その雑味は埋めるということはないとすると「淡くてかつそれは物欲しい」ということは確かでない fact6: このプロセスチーズは継続期間でないとすれば「使い切るし底深い」ということは間違いである fact7: 「この誕生祝は埋めない」ということは真実だとすれば「その雑味は整理整頓であるしその上破れ難い」ということは事実と異なる fact8: この誕生祝が直訴するということはないならそれは関与する fact9: もしその手術時間が関与するということはないなら突き倒すし加えてＩＦＮ‐γだ fact10: もし「その雑味は淡いしまた物欲しい」ということは成り立たないとすれば継続期間でない fact11: もし仮になんらかの物は継続期間でないとしたら「それは破れ難いしＩＦＮ‐γだ」ということは成り立たない fact12: 仮に「あるものは埋めるし破れ難い」ということは誤りであるとするとそれは埋めない fact13: 仮に「その雑味は破れ難くてさらにＩＦＮ‐γだ」ということは成り立たないとするとこの誕生祝は突き倒さない fact14: もし仮に「その雑味は埋めるし淡い」ということは成り立たないならばそれは関与しない ; $hypothesis$ = その雑味は埋めない ; $proof$ = 
void -> assump1: 以下のように仮定する。その雑味は埋めない; fact5 & assump1 -> int1: 「その雑味は淡くて物欲しい」ということは成り立つということはない; int1 & fact10 -> int2: その雑味は継続期間でない; fact11 -> int3: もしも「その雑味は継続期間でない」ということは成り立つとすると「破れ難くてかつそれはＩＦＮ‐γである」ということは間違っている; int2 & int3 -> int4: 「その雑味は破れ難いしその上ｉＦＮ‐γだ」ということは成り立たない; int4 & fact13 -> int5: この誕生祝は突き倒さない; fact3 & fact1 -> int6: この誕生祝は突き倒すしまた関与する; int6 -> int7: 「この誕生祝は突き倒す」ということは成り立つ; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: この誕生祝は直訴しない
事実2: その手術時間は関与しなくて更に直訴するということはない
事実3: この誕生祝が直訴しないならばそれは突き倒すし関与する
事実4: もし仮にその手術時間がＩＦＮ‐γだとしたらこの誕生祝は破れ難くないけれどそれは継続期間である
事実5: その雑味は埋めるということはないとすると「淡くてかつそれは物欲しい」ということは確かでない
事実6: このプロセスチーズは継続期間でないとすれば「使い切るし底深い」ということは間違いである
事実7: 「この誕生祝は埋めない」ということは真実だとすれば「その雑味は整理整頓であるしその上破れ難い」ということは事実と異なる
事実8: この誕生祝が直訴するということはないならそれは関与する
事実9: もしその手術時間が関与するということはないなら突き倒すし加えてＩＦＮ‐γだ
事実10: もし「その雑味は淡いしまた物欲しい」ということは成り立たないとすれば継続期間でない
事実11: もし仮になんらかの物は継続期間でないとしたら「それは破れ難いしＩＦＮ‐γだ」ということは成り立たない
事実12: 仮に「あるものは埋めるし破れ難い」ということは誤りであるとするとそれは埋めない
事実13: 仮に「その雑味は破れ難くてさらにＩＦＮ‐γだ」ということは成り立たないとするとこの誕生祝は突き倒さない
事実14: もし仮に「その雑味は埋めるし淡い」ということは成り立たないならばそれは関与しない

仮説: その雑味は埋めない
1. 仮定1: 以下のように仮定する。その雑味は埋めない
2. 事実5と仮定1から、推論1: "「その雑味は淡くて物欲しい」ということは成り立つということはない"が導かれる
3. 推論1と事実10から、推論2: "その雑味は継続期間でない"が導かれる
4. 事実11から、推論3: "もしも「その雑味は継続期間でない」ということは成り立つとすると「破れ難くてかつそれはＩＦＮ‐γである」ということは間違っている"が導かれる
5. 推論2と推論3から、推論4: "「その雑味は破れ難いしその上ｉＦＮ‐γだ」ということは成り立たない"が導かれる
6. 推論4と事実13から、推論5: "この誕生祝は突き倒さない"が導かれる
7. 事実3と事実1から、推論6: "この誕生祝は突き倒すしまた関与する"が導かれる
8. 推論6から、推論7: "「この誕生祝は突き倒す」ということは成り立つ"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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