この風景は一括管理する
fact1: 仮にあの大学在学中が伸ばせないとしたらそれは若者らしいということはない fact2: あの大学在学中は一括管理しないとすると「それは若者らしくないかまたは伸ばせるかまたはどちらもである」ということは間違っている fact3: 仮にあの大学在学中は一括管理しないとしたら「伸ばせないかあるいは若者らしいかまたは両方だ」ということは本当でない fact4: もしあの大学在学中は伸ばせないとすれば「ガレージ・セールだということはないかもしくはそれは若者らしいかどちらもだ」ということは偽である fact5: もし仮にその当歳馬は四角くないならば「それは若者らしくないかもしくは蓄積され易いかまたは両方である」ということは正しくない fact6: もし「あの大学在学中はガレージ・セールでないかあるいはそれは若者らしい」ということは間違いだとしたらこの風景は一括管理しない fact7: 「あの大学在学中は一括管理しない」ということは本当なら「ガレージ・セールでないかまたはそれは伸ばせるかまたは両方ともだ」ということは誤っている fact8: もし「この風景は伸ばせないか若者らしいかもしくは両方だ」ということは真実でないとするとあの大学在学中はガレージ・セールでない fact9: この風景はいとおしくない fact10: この風景は乗り込まない fact11: 「この風景は蓄積され易くないかもしくは伸ばせるか両方ともである」ということは間違っている fact12: もし「あの大学在学中は一括管理しないかそれはガレージ・セールであるかあるいはどちらもだ」ということは事実と異なるならこの風景は伸ばせない fact13: もしこの風景はガレージ・セールでないとすれば「一括管理するということはないかあるいは伸ばせるか両方ともである」ということは成り立たない fact14: 「あの大学在学中は辛抱強くないか若者らしいかもしくは両方である」ということは成り立たない fact15: 「「この風景は受け入れられ易くないかそれは若者らしいかもしくは両方ともである」ということは事実である」ということは嘘だ fact16: もしも「「この風景は若者らしくないかあるいはガレージ・セールであるかもしくは両方ともである」ということは確かである」ということは成り立たないならあの大学在学中は一括管理しない fact17: あの大学在学中は伸ばせない fact18: その審査登録は伸ばせない fact19: その低価格は若者らしくない fact20: あの大学在学中は特定共同事業でない fact21: もし「この風景は伸ばせないかガレージ・セールであるかあるいは両方ともである」ということは誤っているとすればあの大学在学中は一括管理しない fact22: あの大学在学中は若者らしくない fact23: あの大学在学中は保ち易くない fact24: 「あの大学在学中は一件委員会でないかまたはそれは細長いかまたは両方だ」ということは嘘だ
fact4 & fact17 -> int1: 「あの大学在学中はガレージ・セールであるということはないか若者らしいかまたはどちらもである」ということは成り立たない; int1 & fact6 -> hypothesis;
fact4 & fact17 -> int1: ¬(¬{AA}{a} v {AB}{a}); int1 & fact6 -> hypothesis;
$facts$ = fact1: 仮にあの大学在学中が伸ばせないとしたらそれは若者らしいということはない fact2: あの大学在学中は一括管理しないとすると「それは若者らしくないかまたは伸ばせるかまたはどちらもである」ということは間違っている fact3: 仮にあの大学在学中は一括管理しないとしたら「伸ばせないかあるいは若者らしいかまたは両方だ」ということは本当でない fact4: もしあの大学在学中は伸ばせないとすれば「ガレージ・セールだということはないかもしくはそれは若者らしいかどちらもだ」ということは偽である fact5: もし仮にその当歳馬は四角くないならば「それは若者らしくないかもしくは蓄積され易いかまたは両方である」ということは正しくない fact6: もし「あの大学在学中はガレージ・セールでないかあるいはそれは若者らしい」ということは間違いだとしたらこの風景は一括管理しない fact7: 「あの大学在学中は一括管理しない」ということは本当なら「ガレージ・セールでないかまたはそれは伸ばせるかまたは両方ともだ」ということは誤っている fact8: もし「この風景は伸ばせないか若者らしいかもしくは両方だ」ということは真実でないとするとあの大学在学中はガレージ・セールでない fact9: この風景はいとおしくない fact10: この風景は乗り込まない fact11: 「この風景は蓄積され易くないかもしくは伸ばせるか両方ともである」ということは間違っている fact12: もし「あの大学在学中は一括管理しないかそれはガレージ・セールであるかあるいはどちらもだ」ということは事実と異なるならこの風景は伸ばせない fact13: もしこの風景はガレージ・セールでないとすれば「一括管理するということはないかあるいは伸ばせるか両方ともである」ということは成り立たない fact14: 「あの大学在学中は辛抱強くないか若者らしいかもしくは両方である」ということは成り立たない fact15: 「「この風景は受け入れられ易くないかそれは若者らしいかもしくは両方ともである」ということは事実である」ということは嘘だ fact16: もしも「「この風景は若者らしくないかあるいはガレージ・セールであるかもしくは両方ともである」ということは確かである」ということは成り立たないならあの大学在学中は一括管理しない fact17: あの大学在学中は伸ばせない fact18: その審査登録は伸ばせない fact19: その低価格は若者らしくない fact20: あの大学在学中は特定共同事業でない fact21: もし「この風景は伸ばせないかガレージ・セールであるかあるいは両方ともである」ということは誤っているとすればあの大学在学中は一括管理しない fact22: あの大学在学中は若者らしくない fact23: あの大学在学中は保ち易くない fact24: 「あの大学在学中は一件委員会でないかまたはそれは細長いかまたは両方だ」ということは嘘だ ; $hypothesis$ = この風景は一括管理する ; $proof$ = 
fact4 & fact17 -> int1: 「あの大学在学中はガレージ・セールであるということはないか若者らしいかまたはどちらもである」ということは成り立たない; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: 仮にあの大学在学中が伸ばせないとしたらそれは若者らしいということはない
事実2: あの大学在学中は一括管理しないとすると「それは若者らしくないかまたは伸ばせるかまたはどちらもである」ということは間違っている
事実3: 仮にあの大学在学中は一括管理しないとしたら「伸ばせないかあるいは若者らしいかまたは両方だ」ということは本当でない
事実4: もしあの大学在学中は伸ばせないとすれば「ガレージ・セールだということはないかもしくはそれは若者らしいかどちらもだ」ということは偽である
事実5: もし仮にその当歳馬は四角くないならば「それは若者らしくないかもしくは蓄積され易いかまたは両方である」ということは正しくない
事実6: もし「あの大学在学中はガレージ・セールでないかあるいはそれは若者らしい」ということは間違いだとしたらこの風景は一括管理しない
事実7: 「あの大学在学中は一括管理しない」ということは本当なら「ガレージ・セールでないかまたはそれは伸ばせるかまたは両方ともだ」ということは誤っている
事実8: もし「この風景は伸ばせないか若者らしいかもしくは両方だ」ということは真実でないとするとあの大学在学中はガレージ・セールでない
事実9: この風景はいとおしくない
事実10: この風景は乗り込まない
事実11: 「この風景は蓄積され易くないかもしくは伸ばせるか両方ともである」ということは間違っている
事実12: もし「あの大学在学中は一括管理しないかそれはガレージ・セールであるかあるいはどちらもだ」ということは事実と異なるならこの風景は伸ばせない
事実13: もしこの風景はガレージ・セールでないとすれば「一括管理するということはないかあるいは伸ばせるか両方ともである」ということは成り立たない
事実14: 「あの大学在学中は辛抱強くないか若者らしいかもしくは両方である」ということは成り立たない
事実15: 「「この風景は受け入れられ易くないかそれは若者らしいかもしくは両方ともである」ということは事実である」ということは嘘だ
事実16: もしも「「この風景は若者らしくないかあるいはガレージ・セールであるかもしくは両方ともである」ということは確かである」ということは成り立たないならあの大学在学中は一括管理しない
事実17: あの大学在学中は伸ばせない
事実18: その審査登録は伸ばせない
事実19: その低価格は若者らしくない
事実20: あの大学在学中は特定共同事業でない
事実21: もし「この風景は伸ばせないかガレージ・セールであるかあるいは両方ともである」ということは誤っているとすればあの大学在学中は一括管理しない
事実22: あの大学在学中は若者らしくない
事実23: あの大学在学中は保ち易くない
事実24: 「あの大学在学中は一件委員会でないかまたはそれは細長いかまたは両方だ」ということは嘘だ

仮説: この風景は一括管理する
1. 事実4と事実17から、推論1: "「あの大学在学中はガレージ・セールであるということはないか若者らしいかまたはどちらもである」ということは成り立たない"が導かれる
2. 推論1と事実6から、仮説が否定される

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