この東京女子師範学校付属幼稚園は素焼きするということはない
fact1: 「そのＳパスカルはベンゾジアセピン系であるかタイムコースでない」ということは確かである fact2: 仮に「そのＳパスカルはタイムコースであるということはない」ということは成り立つとするとそれは先発するということはない fact3: もし「「そのＳパスカルは思い起こさないけれどそれは掛け難い」ということは間違いである」ということは成り立てばこの東京女子師範学校付属幼稚園は気色ばまない fact4: もし仮にとあるものは先発しないとすると「それは思い起こさないけれど掛け難い」ということは成り立たない fact5: もし仮にそのＳパスカルがベンゾジアセピン系だとすればそれは先発しない fact6: あの地教行法がベンゾジアセピン系であるかもしくはタイムコースでないかあるいは両方であるとすれば気色ばまない fact7: もし仮にある物が気色ばまないとしたら素焼きするということはない
fact4 -> int1: 仮に「そのＳパスカルは先発しない」ということは事実であるならば「それは思い起こさないしかつそれは掛け難い」ということは間違っている; fact2 & fact1 & fact5 -> int2: そのＳパスカルは先発しない; int1 & int2 -> int3: 「そのＳパスカルは思い起こさないけれど掛け難い」ということは誤りだ; int3 & fact3 -> int4: この東京女子師範学校付属幼稚園は気色ばまない; fact7 -> int5: この東京女子師範学校付属幼稚園が気色ばまないならば素焼きしない; int4 & int5 -> hypothesis;
この東京女子師範学校付属幼稚園は素焼きする
$facts$ = fact1: 「そのＳパスカルはベンゾジアセピン系であるかタイムコースでない」ということは確かである fact2: 仮に「そのＳパスカルはタイムコースであるということはない」ということは成り立つとするとそれは先発するということはない fact3: もし「「そのＳパスカルは思い起こさないけれどそれは掛け難い」ということは間違いである」ということは成り立てばこの東京女子師範学校付属幼稚園は気色ばまない fact4: もし仮にとあるものは先発しないとすると「それは思い起こさないけれど掛け難い」ということは成り立たない fact5: もし仮にそのＳパスカルがベンゾジアセピン系だとすればそれは先発しない fact6: あの地教行法がベンゾジアセピン系であるかもしくはタイムコースでないかあるいは両方であるとすれば気色ばまない fact7: もし仮にある物が気色ばまないとしたら素焼きするということはない ; $hypothesis$ = この東京女子師範学校付属幼稚園は素焼きするということはない ; $proof$ = 
fact4 -> int1: 仮に「そのＳパスカルは先発しない」ということは事実であるならば「それは思い起こさないしかつそれは掛け難い」ということは間違っている; fact2 & fact1 & fact5 -> int2: そのＳパスカルは先発しない; int1 & int2 -> int3: 「そのＳパスカルは思い起こさないけれど掛け難い」ということは誤りだ; int3 & fact3 -> int4: この東京女子師範学校付属幼稚園は気色ばまない; fact7 -> int5: この東京女子師範学校付属幼稚園が気色ばまないならば素焼きしない; int4 & int5 -> hypothesis; __PROVED__
事実1: 「そのＳパスカルはベンゾジアセピン系であるかタイムコースでない」ということは確かである
事実2: 仮に「そのＳパスカルはタイムコースであるということはない」ということは成り立つとするとそれは先発するということはない
事実3: もし「「そのＳパスカルは思い起こさないけれどそれは掛け難い」ということは間違いである」ということは成り立てばこの東京女子師範学校付属幼稚園は気色ばまない
事実4: もし仮にとあるものは先発しないとすると「それは思い起こさないけれど掛け難い」ということは成り立たない
事実5: もし仮にそのＳパスカルがベンゾジアセピン系だとすればそれは先発しない
事実6: あの地教行法がベンゾジアセピン系であるかもしくはタイムコースでないかあるいは両方であるとすれば気色ばまない
事実7: もし仮にある物が気色ばまないとしたら素焼きするということはない

仮説: この東京女子師範学校付属幼稚園は素焼きするということはない
1. 事実4から、推論1: "仮に「そのＳパスカルは先発しない」ということは事実であるならば「それは思い起こさないしかつそれは掛け難い」ということは間違っている"が導かれる
2. 事実2と事実1と事実5から、推論2: "そのＳパスカルは先発しない"が導かれる
3. 推論1と推論2から、推論3: "「そのＳパスカルは思い起こさないけれど掛け難い」ということは誤りだ"が導かれる
4. 推論3と事実3から、推論4: "この東京女子師範学校付属幼稚園は気色ばまない"が導かれる
5. 事実7から、推論5: "この東京女子師範学校付属幼稚園が気色ばまないならば素焼きしない"が導かれる
6. 推論4と推論5から、仮説が導かれる

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