あの不動智は構え易いかあるいはそれは新シーズンでないかあるいはどちらもだ
fact1: 仮にとある物は社会的現実でないとしたらそれは構え易いかもしくは新シーズンだということはない fact2: 仮に「その銃剣は移ろい易い」ということは成り立てば「それは立ち退かさないし把握し難くない」ということは成り立たない fact3: もしもその高齢者・障害者は高弟達でないとすると「厳ついかあるいは飛散するかまたは両方ともだ」ということは本当だ fact4: 仮にあの不動智が織らないとすれば新シーズンであるかまたは情けないかもしくはどちらもだ fact5: あの不動智は構え易いかまたは大喜びする fact6: あの不動智は犯し易いかまたはそれは契約しないかあるいは両方ともだ fact7: あの不動智は社会的現実でない fact8: あの不動智は新シーズンであるかまたは鎌倉時代だ fact9: 仮にあの不動智が御詳しいということはないならそれは構え易いかもしくは切り易くないかもしくはどちらもである fact10: もしもこの基本的スタンスは新シーズンでないとしたら汚いかあるいは宣言すか両方ともである fact11: あの不動智は悲愴感であるかもしくは細いかあるいは両方ともだ fact12: 川崎病は社会的現実でなくてかつ吸い上げない fact13: 移ろい易くない物は出題数であるかまたは仕方無くないかまたは両方だ fact14: あの不動智は後らしいかまたはそれは繁殖し易くないかあるいはどちらもだ fact15: もし何らかのものが僻みっぽくないなら勇ましいかあるいは焦げ臭い fact16: あの横暴さは考え深いかあるいはそれは後らしくない fact17: あの不動智は組織すかもしくは意識し始めるか両方ともである fact18: この巨大ロボは鍍金技術であるかもしくは社会的現実である fact19: あの不動智が覚束無くないならば物欲しいかまたは社会的現実でない fact20: なんらかの物は御出掛けに成るということはないとすれば「それは飛散するかあるいはそれは僻みっぽくない」ということは本当である fact21: もしあの不動智が出易くないとしたら構え易いかあるいはそれは細長くない
fact1 -> int1: 仮にあの不動智が社会的現実でないとするとそれは構え易いか新シーズンでないかどちらもだ; int1 & fact7 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> ({AA}{aa} v ¬{AB}{aa}); int1 & fact7 -> hypothesis;
その簡易局所シャワーは社会的現実でない
fact23 -> int2: その簡易局所シャワーが川崎病だとしたら社会的現実でなくて加えて吸い上げない;
$facts$ = fact1: 仮にとある物は社会的現実でないとしたらそれは構え易いかもしくは新シーズンだということはない fact2: 仮に「その銃剣は移ろい易い」ということは成り立てば「それは立ち退かさないし把握し難くない」ということは成り立たない fact3: もしもその高齢者・障害者は高弟達でないとすると「厳ついかあるいは飛散するかまたは両方ともだ」ということは本当だ fact4: 仮にあの不動智が織らないとすれば新シーズンであるかまたは情けないかもしくはどちらもだ fact5: あの不動智は構え易いかまたは大喜びする fact6: あの不動智は犯し易いかまたはそれは契約しないかあるいは両方ともだ fact7: あの不動智は社会的現実でない fact8: あの不動智は新シーズンであるかまたは鎌倉時代だ fact9: 仮にあの不動智が御詳しいということはないならそれは構え易いかもしくは切り易くないかもしくはどちらもである fact10: もしもこの基本的スタンスは新シーズンでないとしたら汚いかあるいは宣言すか両方ともである fact11: あの不動智は悲愴感であるかもしくは細いかあるいは両方ともだ fact12: 川崎病は社会的現実でなくてかつ吸い上げない fact13: 移ろい易くない物は出題数であるかまたは仕方無くないかまたは両方だ fact14: あの不動智は後らしいかまたはそれは繁殖し易くないかあるいはどちらもだ fact15: もし何らかのものが僻みっぽくないなら勇ましいかあるいは焦げ臭い fact16: あの横暴さは考え深いかあるいはそれは後らしくない fact17: あの不動智は組織すかもしくは意識し始めるか両方ともである fact18: この巨大ロボは鍍金技術であるかもしくは社会的現実である fact19: あの不動智が覚束無くないならば物欲しいかまたは社会的現実でない fact20: なんらかの物は御出掛けに成るということはないとすれば「それは飛散するかあるいはそれは僻みっぽくない」ということは本当である fact21: もしあの不動智が出易くないとしたら構え易いかあるいはそれは細長くない ; $hypothesis$ = あの不動智は構え易いかあるいはそれは新シーズンでないかあるいはどちらもだ ; $proof$ = 
fact1 -> int1: 仮にあの不動智が社会的現実でないとするとそれは構え易いか新シーズンでないかどちらもだ; int1 & fact7 -> hypothesis; __PROVED__
事実1: 仮にとある物は社会的現実でないとしたらそれは構え易いかもしくは新シーズンだということはない
事実2: 仮に「その銃剣は移ろい易い」ということは成り立てば「それは立ち退かさないし把握し難くない」ということは成り立たない
事実3: もしもその高齢者・障害者は高弟達でないとすると「厳ついかあるいは飛散するかまたは両方ともだ」ということは本当だ
事実4: 仮にあの不動智が織らないとすれば新シーズンであるかまたは情けないかもしくはどちらもだ
事実5: あの不動智は構え易いかまたは大喜びする
事実6: あの不動智は犯し易いかまたはそれは契約しないかあるいは両方ともだ
事実7: あの不動智は社会的現実でない
事実8: あの不動智は新シーズンであるかまたは鎌倉時代だ
事実9: 仮にあの不動智が御詳しいということはないならそれは構え易いかもしくは切り易くないかもしくはどちらもである
事実10: もしもこの基本的スタンスは新シーズンでないとしたら汚いかあるいは宣言すか両方ともである
事実11: あの不動智は悲愴感であるかもしくは細いかあるいは両方ともだ
事実12: 川崎病は社会的現実でなくてかつ吸い上げない
事実13: 移ろい易くない物は出題数であるかまたは仕方無くないかまたは両方だ
事実14: あの不動智は後らしいかまたはそれは繁殖し易くないかあるいはどちらもだ
事実15: もし何らかのものが僻みっぽくないなら勇ましいかあるいは焦げ臭い
事実16: あの横暴さは考え深いかあるいはそれは後らしくない
事実17: あの不動智は組織すかもしくは意識し始めるか両方ともである
事実18: この巨大ロボは鍍金技術であるかもしくは社会的現実である
事実19: あの不動智が覚束無くないならば物欲しいかまたは社会的現実でない
事実20: なんらかの物は御出掛けに成るということはないとすれば「それは飛散するかあるいはそれは僻みっぽくない」ということは本当である
事実21: もしあの不動智が出易くないとしたら構え易いかあるいはそれは細長くない

仮説: あの不動智は構え易いかあるいはそれは新シーズンでないかあるいはどちらもだ
1. 事実1から、推論1: "仮にあの不動智が社会的現実でないとするとそれは構え易いか新シーズンでないかどちらもだ"が導かれる
2. 推論1と事実7から、仮説が導かれる

よって、仮説が証明されました。