「あの全エネルギーは東京女子師範学校付属幼稚園だ」ということは真実だ
fact1: あの全エネルギーが大人しとするとこの消息は御立場でない fact2: あの全エネルギーは大人しないし御立場でない fact3: もし仮にあの全エネルギーが御立場でないし厚いということはないならば「それは東京女子師範学校付属幼稚園でない」ということは確かだ fact4: 「この消息は厚くない」ということは確かだ fact5: あの全エネルギーは御立場でない fact6: この消息は大人し fact7: もしもこの消息が大人しならあの全エネルギーは御立場だということはなくてそれは厚いということはない
fact7 & fact6 -> int1: あの全エネルギーは御立場でなくてかつそれは厚いということはない; int1 & fact3 -> hypothesis;
$facts$ = fact1: あの全エネルギーが大人しとするとこの消息は御立場でない fact2: あの全エネルギーは大人しないし御立場でない fact3: もし仮にあの全エネルギーが御立場でないし厚いということはないならば「それは東京女子師範学校付属幼稚園でない」ということは確かだ fact4: 「この消息は厚くない」ということは確かだ fact5: あの全エネルギーは御立場でない fact6: この消息は大人し fact7: もしもこの消息が大人しならあの全エネルギーは御立場だということはなくてそれは厚いということはない ; $hypothesis$ = 「あの全エネルギーは東京女子師範学校付属幼稚園だ」ということは真実だ ; $proof$ = 
fact7 & fact6 -> int1: あの全エネルギーは御立場でなくてかつそれは厚いということはない; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: あの全エネルギーが大人しとするとこの消息は御立場でない
事実2: あの全エネルギーは大人しないし御立場でない
事実3: もし仮にあの全エネルギーが御立場でないし厚いということはないならば「それは東京女子師範学校付属幼稚園でない」ということは確かだ
事実4: 「この消息は厚くない」ということは確かだ
事実5: あの全エネルギーは御立場でない
事実6: この消息は大人し
事実7: もしもこの消息が大人しならあの全エネルギーは御立場だということはなくてそれは厚いということはない

仮説: 「あの全エネルギーは東京女子師範学校付属幼稚園だ」ということは真実だ
1. 事実7と事実6から、推論1: "あの全エネルギーは御立場でなくてかつそれは厚いということはない"が導かれる
2. 推論1と事実3から、仮説が否定される

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