あの難は御断りしないしまたそれは自分らしくない
fact1: 仮にこの十二号室は打ち壊さないとすれば「あの難は御断りするということはなくて自分らしくない」ということは誤っている fact2: もし仮にあの難が打ち壊さないならそれは自分らしくない fact3: あの難は打ち壊さない fact4: 「あの難は自分らしくない」ということは成り立つ fact5: そのマリントンは打ち壊さない fact6: あの難が打ち壊さないならばそれは御断りしないし自分らしくない fact7: もし「なんらかのものが先延ばしだということはないしさらにそれは家庭保育園でない」ということは正しいとしたら引っ掻き回さない fact8: あのボスが有色であるということはないならあの中支派遣軍は先延ばしでないしその上家庭保育園でない
fact6 & fact3 -> hypothesis;
fact6 & fact3 -> hypothesis;
「あの難は御断りしなくてそれにそれは自分らしいということはない」ということは成り立つということはない
fact10 -> int1: もしもあの中支派遣軍は先延ばしであるということはないし家庭保育園でないならば「引っ掻き回さない」ということは成り立つ;
$facts$ = fact1: 仮にこの十二号室は打ち壊さないとすれば「あの難は御断りするということはなくて自分らしくない」ということは誤っている fact2: もし仮にあの難が打ち壊さないならそれは自分らしくない fact3: あの難は打ち壊さない fact4: 「あの難は自分らしくない」ということは成り立つ fact5: そのマリントンは打ち壊さない fact6: あの難が打ち壊さないならばそれは御断りしないし自分らしくない fact7: もし「なんらかのものが先延ばしだということはないしさらにそれは家庭保育園でない」ということは正しいとしたら引っ掻き回さない fact8: あのボスが有色であるということはないならあの中支派遣軍は先延ばしでないしその上家庭保育園でない ; $hypothesis$ = あの難は御断りしないしまたそれは自分らしくない ; $proof$ = 
fact6 & fact3 -> hypothesis; __PROVED__
事実1: 仮にこの十二号室は打ち壊さないとすれば「あの難は御断りするということはなくて自分らしくない」ということは誤っている
事実2: もし仮にあの難が打ち壊さないならそれは自分らしくない
事実3: あの難は打ち壊さない
事実4: 「あの難は自分らしくない」ということは成り立つ
事実5: そのマリントンは打ち壊さない
事実6: あの難が打ち壊さないならばそれは御断りしないし自分らしくない
事実7: もし「なんらかのものが先延ばしだということはないしさらにそれは家庭保育園でない」ということは正しいとしたら引っ掻き回さない
事実8: あのボスが有色であるということはないならあの中支派遣軍は先延ばしでないしその上家庭保育園でない

仮説: あの難は御断りしないしまたそれは自分らしくない
1. 事実6と事実3から、仮説が導かれる

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