あのムッシュ・ターザン・鮴等はちぎれ易い
fact1: もし仮に「あの残り作業は世代時間であるしそれは付け難い」ということは誤っているとすれば「それは鉢植えでない」ということは確かである fact2: 嵌め込む一方でチベット語でないという物はない fact3: 「あの残り作業は世代時間であるしまたそれは付け難い」ということは嘘だ fact4: あの四セットが判読するとしたらあのムッシュ・ターザン・鮴等は判読する fact5: 「なんらかのものが鉢植えだけどそれは嵌め込まない」ということは正しいとするとそれはちぎれ易い fact6: もし何らかのものは鉢植えでないなら嵌め込まないししかもチベット語でない fact7: あのムッシュ・ターザン・鮴等はチベット語であるということはない fact8: あのムッシュ・ターザン・鮴等は鉢植えであるしそれにそれは付け難い
void -> assump1: 以下のように仮定する。「あのムッシュ・ターザン・鮴等は嵌め込む」ということは成り立つ; assump1 & fact7 -> int1: あのムッシュ・ターザン・鮴等は嵌め込むがチベット語だということはない; fact2 -> int2: 「あのムッシュ・ターザン・鮴等は嵌め込むがチベット語でない」ということは誤りである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのムッシュ・ターザン・鮴等は嵌め込まない; fact8 -> int5: あのムッシュ・ターザン・鮴等は鉢植えである; int4 & int5 -> int6: あのムッシュ・ターザン・鮴等は鉢植えだ一方で嵌め込まない; fact5 -> int7: 仮にあのムッシュ・ターザン・鮴等が鉢植えだけど嵌め込まないとすればちぎれ易い; int6 & int7 -> hypothesis;
あのムッシュ・ターザン・鮴等はちぎれ易いということはない
fact9 -> int8: もしあのムッシュ・ターザン・鮴等が鉢植えであるということはないならば嵌め込まないしさらにチベット語でない;
$facts$ = fact1: もし仮に「あの残り作業は世代時間であるしそれは付け難い」ということは誤っているとすれば「それは鉢植えでない」ということは確かである fact2: 嵌め込む一方でチベット語でないという物はない fact3: 「あの残り作業は世代時間であるしまたそれは付け難い」ということは嘘だ fact4: あの四セットが判読するとしたらあのムッシュ・ターザン・鮴等は判読する fact5: 「なんらかのものが鉢植えだけどそれは嵌め込まない」ということは正しいとするとそれはちぎれ易い fact6: もし何らかのものは鉢植えでないなら嵌め込まないししかもチベット語でない fact7: あのムッシュ・ターザン・鮴等はチベット語であるということはない fact8: あのムッシュ・ターザン・鮴等は鉢植えであるしそれにそれは付け難い ; $hypothesis$ = あのムッシュ・ターザン・鮴等はちぎれ易い ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのムッシュ・ターザン・鮴等は嵌め込む」ということは成り立つ; assump1 & fact7 -> int1: あのムッシュ・ターザン・鮴等は嵌め込むがチベット語だということはない; fact2 -> int2: 「あのムッシュ・ターザン・鮴等は嵌め込むがチベット語でない」ということは誤りである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのムッシュ・ターザン・鮴等は嵌め込まない; fact8 -> int5: あのムッシュ・ターザン・鮴等は鉢植えである; int4 & int5 -> int6: あのムッシュ・ターザン・鮴等は鉢植えだ一方で嵌め込まない; fact5 -> int7: 仮にあのムッシュ・ターザン・鮴等が鉢植えだけど嵌め込まないとすればちぎれ易い; int6 & int7 -> hypothesis; __PROVED__
事実1: もし仮に「あの残り作業は世代時間であるしそれは付け難い」ということは誤っているとすれば「それは鉢植えでない」ということは確かである
事実2: 嵌め込む一方でチベット語でないという物はない
事実3: 「あの残り作業は世代時間であるしまたそれは付け難い」ということは嘘だ
事実4: あの四セットが判読するとしたらあのムッシュ・ターザン・鮴等は判読する
事実5: 「なんらかのものが鉢植えだけどそれは嵌め込まない」ということは正しいとするとそれはちぎれ易い
事実6: もし何らかのものは鉢植えでないなら嵌め込まないししかもチベット語でない
事実7: あのムッシュ・ターザン・鮴等はチベット語であるということはない
事実8: あのムッシュ・ターザン・鮴等は鉢植えであるしそれにそれは付け難い

仮説: あのムッシュ・ターザン・鮴等はちぎれ易い
1. 仮定1: 以下のように仮定する。「あのムッシュ・ターザン・鮴等は嵌め込む」ということは成り立つ
2. 仮定1と事実7から、推論1: "あのムッシュ・ターザン・鮴等は嵌め込むがチベット語だということはない"が導かれる
3. 事実2から、推論2: "「あのムッシュ・ターザン・鮴等は嵌め込むがチベット語でない」ということは誤りである"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのムッシュ・ターザン・鮴等は嵌め込まない"が導かれる
6. 事実8から、推論5: "あのムッシュ・ターザン・鮴等は鉢植えである"が導かれる
7. 推論4と推論5から、推論6: "あのムッシュ・ターザン・鮴等は鉢植えだ一方で嵌め込まない"が導かれる
8. 事実5から、推論7: "仮にあのムッシュ・ターザン・鮴等が鉢植えだけど嵌め込まないとすればちぎれ易い"が導かれる
9. 推論6と推論7から、仮説が導かれる

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