あの一号棟は決定するしそれはヘパリンだ
fact1: 「この小座敷は観光客らしい」ということは成り立つ fact2: もしも「あの一号棟はヘパリンであるけれど礼儀正しくない」ということは成り立たないならばあの小座敷はヘパリンであるということはない fact3: このアバタは行き難い fact4: 「もしもこのアバタは行き難いなら「この小座敷は印刷である」ということは確かである」ということは成り立つ fact5: あの一号棟はヘパリンだし加えてそれは疑心暗鬼である fact6: もしもとある物は疑心暗鬼でないとすれば「印刷であるしかつ行き難い」ということは嘘だ fact7: もしその柴田修理は決定するとすると「このアバタは決定する」ということは成り立つ fact8: このアバタは印刷である fact9: もし仮になにかは行き難くないならば「決定するしさらにそれはヘパリンだ」ということは間違いである fact10: あの一号棟は疑心暗鬼だ fact11: もしも「あの一号棟は鋭くて故意である」ということは事実と異なるとするとそれは寂しがらない fact12: 「もしこの小座敷が観光客らしいとすればあの小座敷は鋭い」ということは事実だ fact13: もし仮にこの小座敷は印刷であるとしたら「あの一号棟は決定する」ということは成り立つ fact14: もしもこのアバタがやんごとなくないとしたらあの一号棟は疑心暗鬼でないしまた礼儀正しくない fact15: もしも「「なにがしかの物は印刷であるしそれにそれは行き難い」ということは間違いでない」ということは誤りだとすればそれは行き難くない fact16: もし仮に「あの一号棟は疑心暗鬼でない」ということは成り立てば「それはヘパリンだが礼儀正しくない」ということは誤りである fact17: このアバタは寂しがる fact18: その変圧器は疑心暗鬼であるしおまけに税理士である fact19: この小座敷は決定する fact20: もしこのアバタが寂しがるしそれは故意であるとしたらそれはやんごとなくない fact21: もしこの小座敷がヘパリンでないならあの化は持参するしかつ行き難い fact22: その柴田修理は決定する fact23: もし仮になにがしかの物は寂しがらないならそれはやんごとないということはなくて疑心暗鬼でない
fact4 & fact3 -> int1: この小座敷は印刷だ; int1 & fact13 -> int2: あの一号棟は決定する; fact5 -> int3: あの一号棟はヘパリンだ; int2 & int3 -> hypothesis;
「あの一号棟は決定するしかつヘパリンである」ということは間違いである
fact30 -> int4: もし仮にあの一号棟は行き難くないならば「決定するしそれにそれはヘパリンである」ということは間違っている; fact31 -> int5: もし「あの一号棟は印刷であるしその上それは行き難い」ということは成り立たないならばそれは行き難くない; fact26 -> int6: 仮にあの一号棟は疑心暗鬼でないならば「それは印刷だし加えて行き難い」ということは間違っている; fact25 & fact24 -> int7: この小座敷は鋭い; int7 -> int8: 「鋭い」ものはある;
$facts$ = fact1: 「この小座敷は観光客らしい」ということは成り立つ fact2: もしも「あの一号棟はヘパリンであるけれど礼儀正しくない」ということは成り立たないならばあの小座敷はヘパリンであるということはない fact3: このアバタは行き難い fact4: 「もしもこのアバタは行き難いなら「この小座敷は印刷である」ということは確かである」ということは成り立つ fact5: あの一号棟はヘパリンだし加えてそれは疑心暗鬼である fact6: もしもとある物は疑心暗鬼でないとすれば「印刷であるしかつ行き難い」ということは嘘だ fact7: もしその柴田修理は決定するとすると「このアバタは決定する」ということは成り立つ fact8: このアバタは印刷である fact9: もし仮になにかは行き難くないならば「決定するしさらにそれはヘパリンだ」ということは間違いである fact10: あの一号棟は疑心暗鬼だ fact11: もしも「あの一号棟は鋭くて故意である」ということは事実と異なるとするとそれは寂しがらない fact12: 「もしこの小座敷が観光客らしいとすればあの小座敷は鋭い」ということは事実だ fact13: もし仮にこの小座敷は印刷であるとしたら「あの一号棟は決定する」ということは成り立つ fact14: もしもこのアバタがやんごとなくないとしたらあの一号棟は疑心暗鬼でないしまた礼儀正しくない fact15: もしも「「なにがしかの物は印刷であるしそれにそれは行き難い」ということは間違いでない」ということは誤りだとすればそれは行き難くない fact16: もし仮に「あの一号棟は疑心暗鬼でない」ということは成り立てば「それはヘパリンだが礼儀正しくない」ということは誤りである fact17: このアバタは寂しがる fact18: その変圧器は疑心暗鬼であるしおまけに税理士である fact19: この小座敷は決定する fact20: もしこのアバタが寂しがるしそれは故意であるとしたらそれはやんごとなくない fact21: もしこの小座敷がヘパリンでないならあの化は持参するしかつ行き難い fact22: その柴田修理は決定する fact23: もし仮になにがしかの物は寂しがらないならそれはやんごとないということはなくて疑心暗鬼でない ; $hypothesis$ = あの一号棟は決定するしそれはヘパリンだ ; $proof$ = 
fact4 & fact3 -> int1: この小座敷は印刷だ; int1 & fact13 -> int2: あの一号棟は決定する; fact5 -> int3: あの一号棟はヘパリンだ; int2 & int3 -> hypothesis; __PROVED__
事実1: 「この小座敷は観光客らしい」ということは成り立つ
事実2: もしも「あの一号棟はヘパリンであるけれど礼儀正しくない」ということは成り立たないならばあの小座敷はヘパリンであるということはない
事実3: このアバタは行き難い
事実4: 「もしもこのアバタは行き難いなら「この小座敷は印刷である」ということは確かである」ということは成り立つ
事実5: あの一号棟はヘパリンだし加えてそれは疑心暗鬼である
事実6: もしもとある物は疑心暗鬼でないとすれば「印刷であるしかつ行き難い」ということは嘘だ
事実7: もしその柴田修理は決定するとすると「このアバタは決定する」ということは成り立つ
事実8: このアバタは印刷である
事実9: もし仮になにかは行き難くないならば「決定するしさらにそれはヘパリンだ」ということは間違いである
事実10: あの一号棟は疑心暗鬼だ
事実11: もしも「あの一号棟は鋭くて故意である」ということは事実と異なるとするとそれは寂しがらない
事実12: 「もしこの小座敷が観光客らしいとすればあの小座敷は鋭い」ということは事実だ
事実13: もし仮にこの小座敷は印刷であるとしたら「あの一号棟は決定する」ということは成り立つ
事実14: もしもこのアバタがやんごとなくないとしたらあの一号棟は疑心暗鬼でないしまた礼儀正しくない
事実15: もしも「「なにがしかの物は印刷であるしそれにそれは行き難い」ということは間違いでない」ということは誤りだとすればそれは行き難くない
事実16: もし仮に「あの一号棟は疑心暗鬼でない」ということは成り立てば「それはヘパリンだが礼儀正しくない」ということは誤りである
事実17: このアバタは寂しがる
事実18: その変圧器は疑心暗鬼であるしおまけに税理士である
事実19: この小座敷は決定する
事実20: もしこのアバタが寂しがるしそれは故意であるとしたらそれはやんごとなくない
事実21: もしこの小座敷がヘパリンでないならあの化は持参するしかつ行き難い
事実22: その柴田修理は決定する
事実23: もし仮になにがしかの物は寂しがらないならそれはやんごとないということはなくて疑心暗鬼でない

仮説: あの一号棟は決定するしそれはヘパリンだ
1. 事実4と事実3から、推論1: "この小座敷は印刷だ"が導かれる
2. 推論1と事実13から、推論2: "あの一号棟は決定する"が導かれる
3. 事実5から、推論3: "あの一号棟はヘパリンだ"が導かれる
4. 推論2と推論3から、仮説が導かれる

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