その御雑煮出身地は馬鹿でかい
fact1: もし「「このエバポレータは洗脳する一方でそれは下卑るということはない」ということは成り立つ」ということは偽ならこの下壁は引き下ろす fact2: もしも「このエバポレータは引き下ろすがしかしそれは下卑るということはない」ということは事実と異なるとすればあの当番は体する fact3: もし仮に「あの当番は体するか下卑るということはないかあるいは両方ともである」ということは成り立たないならばこのエバポレータは体しない fact4: このエバポレータが下卑ないとするとその御雑煮出身地は思量すけれどそれはリボソームでない fact5: 「このエバポレータはややこしい一方で挑戦意欲でない」ということは成り立つ fact6: 仮に何らかのものは洗脳するし馬鹿でかいとするとそれは思量すらない fact7: 「このエバポレータはリボソームであるがそれは下卑ない」ということは嘘だ fact8: リボソームは馬鹿でかい fact9: あの当番は馬鹿でかい fact10: もしも「あの当番は引き下ろすかあるいはそれは体するということはないかまたはどちらもだ」ということは事実と異なるとしたらこの下壁は引き下ろさない fact11: 「このエバポレータは体するかまたは洗脳しないかあるいはどちらもである」ということは間違っている fact12: もしなんらかの物が引き下ろさないなら馬鹿でかいしまたそれはリボソームである fact13: もしも何らかの物が引き下ろさないし更に思量すらないならリボソームである fact14: その御雑煮出身地は下卑るがしかしリボソームでない fact15: もしとある物が思量すけどそれはリボソームでないとしたら馬鹿でかくない fact16: 「あの当番は引き下ろすかまたは体しないかまたは両方である」ということは成り立つということはない
void -> assump1: 以下のように仮定する。「このエバポレータは洗脳するがしかし下卑ない」ということは誤っている; fact1 & assump1 -> int1: この下壁は引き下ろす; fact16 & fact10 -> int2: この下壁は引き下ろさない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このエバポレータは洗脳するけれど下卑ない; int4 -> int5: このエバポレータは下卑ない; int5 & fact4 -> int6: その御雑煮出身地は思量す一方でリボソームだということはない; fact15 -> int7: もし仮にその御雑煮出身地は思量すがリボソームでないとすると「馬鹿でかくない」ということは真実である; int6 & int7 -> hypothesis;
その御雑煮出身地は馬鹿でかい
fact17 -> int8: 仮にその御雑煮出身地が引き下ろさないとすれば馬鹿でかいしリボソームである;
$facts$ = fact1: もし「「このエバポレータは洗脳する一方でそれは下卑るということはない」ということは成り立つ」ということは偽ならこの下壁は引き下ろす fact2: もしも「このエバポレータは引き下ろすがしかしそれは下卑るということはない」ということは事実と異なるとすればあの当番は体する fact3: もし仮に「あの当番は体するか下卑るということはないかあるいは両方ともである」ということは成り立たないならばこのエバポレータは体しない fact4: このエバポレータが下卑ないとするとその御雑煮出身地は思量すけれどそれはリボソームでない fact5: 「このエバポレータはややこしい一方で挑戦意欲でない」ということは成り立つ fact6: 仮に何らかのものは洗脳するし馬鹿でかいとするとそれは思量すらない fact7: 「このエバポレータはリボソームであるがそれは下卑ない」ということは嘘だ fact8: リボソームは馬鹿でかい fact9: あの当番は馬鹿でかい fact10: もしも「あの当番は引き下ろすかあるいはそれは体するということはないかまたはどちらもだ」ということは事実と異なるとしたらこの下壁は引き下ろさない fact11: 「このエバポレータは体するかまたは洗脳しないかあるいはどちらもである」ということは間違っている fact12: もしなんらかの物が引き下ろさないなら馬鹿でかいしまたそれはリボソームである fact13: もしも何らかの物が引き下ろさないし更に思量すらないならリボソームである fact14: その御雑煮出身地は下卑るがしかしリボソームでない fact15: もしとある物が思量すけどそれはリボソームでないとしたら馬鹿でかくない fact16: 「あの当番は引き下ろすかまたは体しないかまたは両方である」ということは成り立つということはない ; $hypothesis$ = その御雑煮出身地は馬鹿でかい ; $proof$ = 
void -> assump1: 以下のように仮定する。「このエバポレータは洗脳するがしかし下卑ない」ということは誤っている; fact1 & assump1 -> int1: この下壁は引き下ろす; fact16 & fact10 -> int2: この下壁は引き下ろさない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このエバポレータは洗脳するけれど下卑ない; int4 -> int5: このエバポレータは下卑ない; int5 & fact4 -> int6: その御雑煮出身地は思量す一方でリボソームだということはない; fact15 -> int7: もし仮にその御雑煮出身地は思量すがリボソームでないとすると「馬鹿でかくない」ということは真実である; int6 & int7 -> hypothesis; __DISPROVED__
事実1: もし「「このエバポレータは洗脳する一方でそれは下卑るということはない」ということは成り立つ」ということは偽ならこの下壁は引き下ろす
事実2: もしも「このエバポレータは引き下ろすがしかしそれは下卑るということはない」ということは事実と異なるとすればあの当番は体する
事実3: もし仮に「あの当番は体するか下卑るということはないかあるいは両方ともである」ということは成り立たないならばこのエバポレータは体しない
事実4: このエバポレータが下卑ないとするとその御雑煮出身地は思量すけれどそれはリボソームでない
事実5: 「このエバポレータはややこしい一方で挑戦意欲でない」ということは成り立つ
事実6: 仮に何らかのものは洗脳するし馬鹿でかいとするとそれは思量すらない
事実7: 「このエバポレータはリボソームであるがそれは下卑ない」ということは嘘だ
事実8: リボソームは馬鹿でかい
事実9: あの当番は馬鹿でかい
事実10: もしも「あの当番は引き下ろすかあるいはそれは体するということはないかまたはどちらもだ」ということは事実と異なるとしたらこの下壁は引き下ろさない
事実11: 「このエバポレータは体するかまたは洗脳しないかあるいはどちらもである」ということは間違っている
事実12: もしなんらかの物が引き下ろさないなら馬鹿でかいしまたそれはリボソームである
事実13: もしも何らかの物が引き下ろさないし更に思量すらないならリボソームである
事実14: その御雑煮出身地は下卑るがしかしリボソームでない
事実15: もしとある物が思量すけどそれはリボソームでないとしたら馬鹿でかくない
事実16: 「あの当番は引き下ろすかまたは体しないかまたは両方である」ということは成り立つということはない

仮説: その御雑煮出身地は馬鹿でかい
1. 仮定1: 以下のように仮定する。「このエバポレータは洗脳するがしかし下卑ない」ということは誤っている
2. 事実1と仮定1から、推論1: "この下壁は引き下ろす"が導かれる
3. 事実16と事実10から、推論2: "この下壁は引き下ろさない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "このエバポレータは洗脳するけれど下卑ない"が導かれる
6. 推論4から、推論5: "このエバポレータは下卑ない"が導かれる
7. 推論5と事実4から、推論6: "その御雑煮出身地は思量す一方でリボソームだということはない"が導かれる
8. 事実15から、推論7: "もし仮にその御雑煮出身地は思量すがリボソームでないとすると「馬鹿でかくない」ということは真実である"が導かれる
9. 推論6と推論7から、仮説が否定される

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