そのペイオフ解禁は外貨でない
fact1: もし仮に「その取り消し日は分厚くない」ということは偽ならばそのイーゼルは十月頃である fact2: そのイーゼルは十月頃でない fact3: その取り消し日は外貨であるかまたは分厚いかあるいは両方ともである fact4: 仮にその血液側が血算・血液像でないとするとその取り消し日は分厚いか大人しいかもしくは両方ともである fact5: そのイーゼルは変態女でない fact6: もし仮にその取り消し日が大人しいならばそのイーゼルは十月頃である fact7: 仮にその血液側は血算・血液像だとしたら「それは変態女でなくて中細挽きだ」ということは事実と異なる fact8: もしその取り消し日は血算・血液像であるなら「灰色っぽくないけど分厚い」ということは偽である fact9: もし仮に「その血液側は変態女でないけど中細挽きである」ということは事実と異なるとしたら「それは灰色っぽい」ということは成り立つ fact10: もし仮に「その血液側は灰色っぽい」ということは正しいなら「そのペイオフ解禁は外貨である」ということは確かだ fact11: 「その血液側は十月頃であるが血算・血液像だということはない」ということは確かだということはないならばこの打ち上げは変態女でない fact12: その取り消し日は中細挽きでない fact13: もし仮に「「なにかは十月頃だということはないけれどそれは中細挽きである」ということは正しい」ということは間違っているとすると「それは十月頃だ」ということは事実だ
void -> assump1: 以下のように仮定する。その血液側は血算・血液像でない; fact4 & assump1 -> int1: その取り消し日は分厚いかあるいはそれは大人しいかあるいは両方ともである; int1 & fact1 & fact6 -> int2: そのイーゼルは十月頃だ; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その血液側は血算・血液像である」ということは事実と異ならない; int4 & fact7 -> int5: 「その血液側は変態女だということはないが中細挽きである」ということは間違いである; int5 & fact9 -> int6: その血液側は灰色っぽい; int6 & fact10 -> hypothesis;
「そのペイオフ解禁は外貨でない」ということは真実である
fact14 -> int7: 「その血液側は十月頃でないけど中細挽きだ」ということは成り立たないなら十月頃だ;
$facts$ = fact1: もし仮に「その取り消し日は分厚くない」ということは偽ならばそのイーゼルは十月頃である fact2: そのイーゼルは十月頃でない fact3: その取り消し日は外貨であるかまたは分厚いかあるいは両方ともである fact4: 仮にその血液側が血算・血液像でないとするとその取り消し日は分厚いか大人しいかもしくは両方ともである fact5: そのイーゼルは変態女でない fact6: もし仮にその取り消し日が大人しいならばそのイーゼルは十月頃である fact7: 仮にその血液側は血算・血液像だとしたら「それは変態女でなくて中細挽きだ」ということは事実と異なる fact8: もしその取り消し日は血算・血液像であるなら「灰色っぽくないけど分厚い」ということは偽である fact9: もし仮に「その血液側は変態女でないけど中細挽きである」ということは事実と異なるとしたら「それは灰色っぽい」ということは成り立つ fact10: もし仮に「その血液側は灰色っぽい」ということは正しいなら「そのペイオフ解禁は外貨である」ということは確かだ fact11: 「その血液側は十月頃であるが血算・血液像だということはない」ということは確かだということはないならばこの打ち上げは変態女でない fact12: その取り消し日は中細挽きでない fact13: もし仮に「「なにかは十月頃だということはないけれどそれは中細挽きである」ということは正しい」ということは間違っているとすると「それは十月頃だ」ということは事実だ ; $hypothesis$ = そのペイオフ解禁は外貨でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その血液側は血算・血液像でない; fact4 & assump1 -> int1: その取り消し日は分厚いかあるいはそれは大人しいかあるいは両方ともである; int1 & fact1 & fact6 -> int2: そのイーゼルは十月頃だ; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その血液側は血算・血液像である」ということは事実と異ならない; int4 & fact7 -> int5: 「その血液側は変態女だということはないが中細挽きである」ということは間違いである; int5 & fact9 -> int6: その血液側は灰色っぽい; int6 & fact10 -> hypothesis; __DISPROVED__
事実1: もし仮に「その取り消し日は分厚くない」ということは偽ならばそのイーゼルは十月頃である
事実2: そのイーゼルは十月頃でない
事実3: その取り消し日は外貨であるかまたは分厚いかあるいは両方ともである
事実4: 仮にその血液側が血算・血液像でないとするとその取り消し日は分厚いか大人しいかもしくは両方ともである
事実5: そのイーゼルは変態女でない
事実6: もし仮にその取り消し日が大人しいならばそのイーゼルは十月頃である
事実7: 仮にその血液側は血算・血液像だとしたら「それは変態女でなくて中細挽きだ」ということは事実と異なる
事実8: もしその取り消し日は血算・血液像であるなら「灰色っぽくないけど分厚い」ということは偽である
事実9: もし仮に「その血液側は変態女でないけど中細挽きである」ということは事実と異なるとしたら「それは灰色っぽい」ということは成り立つ
事実10: もし仮に「その血液側は灰色っぽい」ということは正しいなら「そのペイオフ解禁は外貨である」ということは確かだ
事実11: 「その血液側は十月頃であるが血算・血液像だということはない」ということは確かだということはないならばこの打ち上げは変態女でない
事実12: その取り消し日は中細挽きでない
事実13: もし仮に「「なにかは十月頃だということはないけれどそれは中細挽きである」ということは正しい」ということは間違っているとすると「それは十月頃だ」ということは事実だ

仮説: そのペイオフ解禁は外貨でない
1. 仮定1: 以下のように仮定する。その血液側は血算・血液像でない
2. 事実4と仮定1から、推論1: "その取り消し日は分厚いかあるいはそれは大人しいかあるいは両方ともである"が導かれる
3. 推論1と事実1と事実6から、推論2: "そのイーゼルは十月頃だ"が導かれる
4. 推論2と事実2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その血液側は血算・血液像である」ということは事実と異ならない"が導かれる
6. 推論4と事実7から、推論5: "「その血液側は変態女だということはないが中細挽きである」ということは間違いである"が導かれる
7. 推論5と事実9から、推論6: "その血液側は灰色っぽい"が導かれる
8. 推論6と事実10から、仮説が否定される

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