「その侵入者は適わない」ということは正しい
fact1: 「仮に「「なにがしかのものは木らしいけれどそれは幼稚園職員室でない」ということは事実だ」ということは間違いだとすると「それは木らしくない」ということは事実だ」ということは事実だ fact2: もしも「工夫出来るし行かしない」物があるとしたらあの薬品捜査は得られ易い fact3: 「その侵入者は小さくない一方でもどかしい」ということは誤りならそれはもどかしくない fact4: あの三塁は得られ易い fact5: その侵入者が木らしくないとするとその成功率はけたたましいけど適わない fact6: もしその指導理念が得られ易いとするとその侵入者はけたたましい fact7: そのフォントデータは行かする fact8: もし仮になにかは年賀状作成ソフトならば工夫出来る fact9: そのフォントデータは行かするとしたら「その成功率は心無くないが動揺する」ということは成り立たない fact10: 仮にあるものが工夫出来るしさらにそれがけたたましいならそれは適わない fact11: 「「「心無くてかつ動揺する」ということは成り立つ」ということは誤りな」ものはある fact12: もし仮にその成功率がけたたましいが適わないならばそのフォントデータは行かするということはない fact13: もし仮に「「心無くないが動揺する」ということは成り立つということはない」物があるならばあの侵入者は工夫出来る fact14: 仮にあの三塁が得られ易いとすればあの指導理念は得られ易い fact15: そのフォントデータは笑い方で年賀状作成ソフトである fact16: もし何らかの物はもどかしくないとすれば「木らしいし更にそれは幼稚園職員室でない」ということは偽である
fact9 & fact7 -> int1: 「その成功率は心無くないがそれは動揺する」ということは成り立たない; int1 -> int2: 「「心無くないけど動揺する」ということは成り立たない」物はある; int2 & fact13 -> int3: その侵入者は工夫出来る; fact14 & fact4 -> int4: その指導理念は得られ易い; fact6 & int4 -> int5: その侵入者はけたたましい; int3 & int5 -> int6: その侵入者は工夫出来るし加えてけたたましい; fact10 -> int7: もしもその侵入者が工夫出来るしまたけたたましいならば適わない; int6 & int7 -> hypothesis;
あの薬品捜査は得られ易い
fact20 -> int8: 仮に「そのフォントデータは年賀状作成ソフトである」ということは間違っていないとすると工夫出来る; fact21 -> int9: そのフォントデータは年賀状作成ソフトだ; int8 & int9 -> int10: そのフォントデータは工夫出来る; fact23 -> int11: もし「その侵入者は木らしいけど幼稚園職員室だということはない」ということは成り立たないならば木らしくない; fact19 -> int12: もしもその侵入者はもどかしくないとすると「それは木らしいし幼稚園職員室でない」ということは事実と異なる;
$facts$ = fact1: 「仮に「「なにがしかのものは木らしいけれどそれは幼稚園職員室でない」ということは事実だ」ということは間違いだとすると「それは木らしくない」ということは事実だ」ということは事実だ fact2: もしも「工夫出来るし行かしない」物があるとしたらあの薬品捜査は得られ易い fact3: 「その侵入者は小さくない一方でもどかしい」ということは誤りならそれはもどかしくない fact4: あの三塁は得られ易い fact5: その侵入者が木らしくないとするとその成功率はけたたましいけど適わない fact6: もしその指導理念が得られ易いとするとその侵入者はけたたましい fact7: そのフォントデータは行かする fact8: もし仮になにかは年賀状作成ソフトならば工夫出来る fact9: そのフォントデータは行かするとしたら「その成功率は心無くないが動揺する」ということは成り立たない fact10: 仮にあるものが工夫出来るしさらにそれがけたたましいならそれは適わない fact11: 「「「心無くてかつ動揺する」ということは成り立つ」ということは誤りな」ものはある fact12: もし仮にその成功率がけたたましいが適わないならばそのフォントデータは行かするということはない fact13: もし仮に「「心無くないが動揺する」ということは成り立つということはない」物があるならばあの侵入者は工夫出来る fact14: 仮にあの三塁が得られ易いとすればあの指導理念は得られ易い fact15: そのフォントデータは笑い方で年賀状作成ソフトである fact16: もし何らかの物はもどかしくないとすれば「木らしいし更にそれは幼稚園職員室でない」ということは偽である ; $hypothesis$ = 「その侵入者は適わない」ということは正しい ; $proof$ = 
fact9 & fact7 -> int1: 「その成功率は心無くないがそれは動揺する」ということは成り立たない; int1 -> int2: 「「心無くないけど動揺する」ということは成り立たない」物はある; int2 & fact13 -> int3: その侵入者は工夫出来る; fact14 & fact4 -> int4: その指導理念は得られ易い; fact6 & int4 -> int5: その侵入者はけたたましい; int3 & int5 -> int6: その侵入者は工夫出来るし加えてけたたましい; fact10 -> int7: もしもその侵入者が工夫出来るしまたけたたましいならば適わない; int6 & int7 -> hypothesis; __PROVED__
事実1: 「仮に「「なにがしかのものは木らしいけれどそれは幼稚園職員室でない」ということは事実だ」ということは間違いだとすると「それは木らしくない」ということは事実だ」ということは事実だ
事実2: もしも「工夫出来るし行かしない」物があるとしたらあの薬品捜査は得られ易い
事実3: 「その侵入者は小さくない一方でもどかしい」ということは誤りならそれはもどかしくない
事実4: あの三塁は得られ易い
事実5: その侵入者が木らしくないとするとその成功率はけたたましいけど適わない
事実6: もしその指導理念が得られ易いとするとその侵入者はけたたましい
事実7: そのフォントデータは行かする
事実8: もし仮になにかは年賀状作成ソフトならば工夫出来る
事実9: そのフォントデータは行かするとしたら「その成功率は心無くないが動揺する」ということは成り立たない
事実10: 仮にあるものが工夫出来るしさらにそれがけたたましいならそれは適わない
事実11: 「「「心無くてかつ動揺する」ということは成り立つ」ということは誤りな」ものはある
事実12: もし仮にその成功率がけたたましいが適わないならばそのフォントデータは行かするということはない
事実13: もし仮に「「心無くないが動揺する」ということは成り立つということはない」物があるならばあの侵入者は工夫出来る
事実14: 仮にあの三塁が得られ易いとすればあの指導理念は得られ易い
事実15: そのフォントデータは笑い方で年賀状作成ソフトである
事実16: もし何らかの物はもどかしくないとすれば「木らしいし更にそれは幼稚園職員室でない」ということは偽である

仮説: 「その侵入者は適わない」ということは正しい
1. 事実9と事実7から、推論1: "「その成功率は心無くないがそれは動揺する」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「心無くないけど動揺する」ということは成り立たない」物はある"が導かれる
3. 推論2と事実13から、推論3: "その侵入者は工夫出来る"が導かれる
4. 事実14と事実4から、推論4: "その指導理念は得られ易い"が導かれる
5. 事実6と推論4から、推論5: "その侵入者はけたたましい"が導かれる
6. 推論3と推論5から、推論6: "その侵入者は工夫出来るし加えてけたたましい"が導かれる
7. 事実10から、推論7: "もしもその侵入者が工夫出来るしまたけたたましいならば適わない"が導かれる
8. 推論6と推論7から、仮説が導かれる

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