あのＺＸは御し易い
fact1: 仮に「「「反対しないしさらに自動更新しない」ということは確かだ」ということは偽な」ものがあるとしたらこの病原体は懐かしくない fact2: 仮に「あのＺＸは繁栄する」ということは真実だとするとあの塑性ヒンジ領域は御し易い fact3: あのＺＸは真白い fact4: 「あのＺＸは持ち帰れるか真白い」ということは偽だとすれば「繁栄するということはない」ということは確かである fact5: あの嗣立は繁栄する fact6: 仮にあの塑性ヒンジ領域が繁栄するならこの病原体は真白い fact7: あの塑性ヒンジ領域は繁栄する fact8: この税関局は蒸し暑いとすれば「それは反対しないし自動更新しない」ということは嘘である fact9: あのＺＸは繁栄する fact10: 仮に「この病原体は真白い」ということは成り立つとしたらあのＺＸは御し易い fact11: もし仮になんらかの物は持ち帰れないとすれば「それは御し易いし加えて繁栄する」ということは間違っている fact12: その連接は御し易い fact13: この病原体は差し出がましい fact14: 仮にあの塑性ヒンジ領域が真白いならばこの病原体は繁栄する fact15: この税関局は蒸し暑くてさらに映せる fact16: もし仮に何らかの物は懐かしくないとしたら「厳つかないが持ち帰れる」ということは間違いである fact17: 「あのＺＸは質問出来る」ということは成り立つ fact18: もしあの塑性ヒンジ領域が真白いということはないとしたらあのＺＸは繁栄しないしそれは御し易いということはない
fact6 & fact7 -> int1: この病原体は真白い; int1 & fact10 -> hypothesis;
「あのＺＸは御し易くない」ということは確かである
$facts$ = fact1: 仮に「「「反対しないしさらに自動更新しない」ということは確かだ」ということは偽な」ものがあるとしたらこの病原体は懐かしくない fact2: 仮に「あのＺＸは繁栄する」ということは真実だとするとあの塑性ヒンジ領域は御し易い fact3: あのＺＸは真白い fact4: 「あのＺＸは持ち帰れるか真白い」ということは偽だとすれば「繁栄するということはない」ということは確かである fact5: あの嗣立は繁栄する fact6: 仮にあの塑性ヒンジ領域が繁栄するならこの病原体は真白い fact7: あの塑性ヒンジ領域は繁栄する fact8: この税関局は蒸し暑いとすれば「それは反対しないし自動更新しない」ということは嘘である fact9: あのＺＸは繁栄する fact10: 仮に「この病原体は真白い」ということは成り立つとしたらあのＺＸは御し易い fact11: もし仮になんらかの物は持ち帰れないとすれば「それは御し易いし加えて繁栄する」ということは間違っている fact12: その連接は御し易い fact13: この病原体は差し出がましい fact14: 仮にあの塑性ヒンジ領域が真白いならばこの病原体は繁栄する fact15: この税関局は蒸し暑くてさらに映せる fact16: もし仮に何らかの物は懐かしくないとしたら「厳つかないが持ち帰れる」ということは間違いである fact17: 「あのＺＸは質問出来る」ということは成り立つ fact18: もしあの塑性ヒンジ領域が真白いということはないとしたらあのＺＸは繁栄しないしそれは御し易いということはない ; $hypothesis$ = あのＺＸは御し易い ; $proof$ = 
fact6 & fact7 -> int1: この病原体は真白い; int1 & fact10 -> hypothesis; __PROVED__
事実1: 仮に「「「反対しないしさらに自動更新しない」ということは確かだ」ということは偽な」ものがあるとしたらこの病原体は懐かしくない
事実2: 仮に「あのＺＸは繁栄する」ということは真実だとするとあの塑性ヒンジ領域は御し易い
事実3: あのＺＸは真白い
事実4: 「あのＺＸは持ち帰れるか真白い」ということは偽だとすれば「繁栄するということはない」ということは確かである
事実5: あの嗣立は繁栄する
事実6: 仮にあの塑性ヒンジ領域が繁栄するならこの病原体は真白い
事実7: あの塑性ヒンジ領域は繁栄する
事実8: この税関局は蒸し暑いとすれば「それは反対しないし自動更新しない」ということは嘘である
事実9: あのＺＸは繁栄する
事実10: 仮に「この病原体は真白い」ということは成り立つとしたらあのＺＸは御し易い
事実11: もし仮になんらかの物は持ち帰れないとすれば「それは御し易いし加えて繁栄する」ということは間違っている
事実12: その連接は御し易い
事実13: この病原体は差し出がましい
事実14: 仮にあの塑性ヒンジ領域が真白いならばこの病原体は繁栄する
事実15: この税関局は蒸し暑くてさらに映せる
事実16: もし仮に何らかの物は懐かしくないとしたら「厳つかないが持ち帰れる」ということは間違いである
事実17: 「あのＺＸは質問出来る」ということは成り立つ
事実18: もしあの塑性ヒンジ領域が真白いということはないとしたらあのＺＸは繁栄しないしそれは御し易いということはない

仮説: あのＺＸは御し易い
1. 事実6と事実7から、推論1: "この病原体は真白い"が導かれる
2. 推論1と事実10から、仮説が導かれる

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