この一部幹部は撮像素子でない
fact1: このＳＳγは撮像素子でない fact2: この一部幹部は耐え難い fact3: このポケットパークは授業内容だ fact4: 「この一部幹部は子供っぽいということはない」ということは嘘でない fact5: あの道心は授業内容である fact6: なにがしかのものは貧乏臭いし分画するとすれば健康運でない fact7: この一部幹部は取っ付き易い fact8: 秘密主義が湿気易いとすればそれは面会交流でない fact9: その実行時は耐え難い fact10: 仮に耐え難いものが授業内容だとすれば撮像素子だということはない fact11: 仮に耐え難くない物は授業内容でないとすると撮像素子である fact12: もしもこの一部幹部はアプローチし易くて授業内容ならそれは発揮し易くない fact13: もしもその曲がり具合が採掘出来るしまた登校出来るとすればそれは撮像素子でない fact14: 仮にある物が溢れ落ちるしそれが隠居だとしたら分解され難いということはない fact15: 「この一部幹部は授業内容だ」ということは本当だ
fact2 & fact15 -> int1: この一部幹部は耐え難くて加えて授業内容だ; fact10 -> int2: もし仮にこの一部幹部が耐え難くて授業内容であるとしたら「それは撮像素子でない」ということは確かだ; int1 & int2 -> hypothesis;
fact2 & fact15 -> int1: ({A}{a} & {B}{a}); fact10 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
この一部幹部は撮像素子である
fact16 -> int3: もしこの一部幹部が耐え難くないし更に授業内容でないとするとそれは撮像素子である;
$facts$ = fact1: このＳＳγは撮像素子でない fact2: この一部幹部は耐え難い fact3: このポケットパークは授業内容だ fact4: 「この一部幹部は子供っぽいということはない」ということは嘘でない fact5: あの道心は授業内容である fact6: なにがしかのものは貧乏臭いし分画するとすれば健康運でない fact7: この一部幹部は取っ付き易い fact8: 秘密主義が湿気易いとすればそれは面会交流でない fact9: その実行時は耐え難い fact10: 仮に耐え難いものが授業内容だとすれば撮像素子だということはない fact11: 仮に耐え難くない物は授業内容でないとすると撮像素子である fact12: もしもこの一部幹部はアプローチし易くて授業内容ならそれは発揮し易くない fact13: もしもその曲がり具合が採掘出来るしまた登校出来るとすればそれは撮像素子でない fact14: 仮にある物が溢れ落ちるしそれが隠居だとしたら分解され難いということはない fact15: 「この一部幹部は授業内容だ」ということは本当だ ; $hypothesis$ = この一部幹部は撮像素子でない ; $proof$ = 
fact2 & fact15 -> int1: この一部幹部は耐え難くて加えて授業内容だ; fact10 -> int2: もし仮にこの一部幹部が耐え難くて授業内容であるとしたら「それは撮像素子でない」ということは確かだ; int1 & int2 -> hypothesis; __PROVED__
事実1: このＳＳγは撮像素子でない
事実2: この一部幹部は耐え難い
事実3: このポケットパークは授業内容だ
事実4: 「この一部幹部は子供っぽいということはない」ということは嘘でない
事実5: あの道心は授業内容である
事実6: なにがしかのものは貧乏臭いし分画するとすれば健康運でない
事実7: この一部幹部は取っ付き易い
事実8: 秘密主義が湿気易いとすればそれは面会交流でない
事実9: その実行時は耐え難い
事実10: 仮に耐え難いものが授業内容だとすれば撮像素子だということはない
事実11: 仮に耐え難くない物は授業内容でないとすると撮像素子である
事実12: もしもこの一部幹部はアプローチし易くて授業内容ならそれは発揮し易くない
事実13: もしもその曲がり具合が採掘出来るしまた登校出来るとすればそれは撮像素子でない
事実14: 仮にある物が溢れ落ちるしそれが隠居だとしたら分解され難いということはない
事実15: 「この一部幹部は授業内容だ」ということは本当だ

仮説: この一部幹部は撮像素子でない
1. 事実2と事実15から、推論1: "この一部幹部は耐え難くて加えて授業内容だ"が導かれる
2. 事実10から、推論2: "もし仮にこの一部幹部が耐え難くて授業内容であるとしたら「それは撮像素子でない」ということは確かだ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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