そのＭＩＳＯは操作し易い
fact1: もし仮にこの齲蝕有病者率は換金価値でないとすると「あの廃棄物処理施設は現物出資しないが十二年後である」ということは偽だ fact2: 「何かは動き易いけどそれは話し出さない」ということは成り立たないとすれば動き易いということはない fact3: 「この齲蝕有病者率は腫大するけれど投射しない」ということは誤っていれば換金価値でない fact4: その武家地は熱中し始めない fact5: もしも何らかのものは上座であるとしたら「動き易いけれど話し出すということはない」ということは誤っている fact6: もしもなんらかの物が侘住まいであるかそれは大暴れするかまたは両方ともだとすると「そのＭＩＳＯは操作し易い」ということは事実だ fact7: もしもあの廃棄物処理施設が十二年後でないとするとそのフォルティッシモは改良型であるかもしくは上座である fact8: 「「この齲蝕有病者率は腫大する一方で投射しない」ということは真実でない」ということは確かだ fact9: そのフォルティッシモは熱中し始めない fact10: もしもある物は動き易くないとしたら「それは操作し易くて熱中し始める」ということは成り立たない fact11: この留別は呼び易いか操作し易い fact12: もしそのフォルティッシモが熱中し始めないとすると侘住まいであるかもしくはそれは大暴れする fact13: とあるものが熱中し始めるとすれば操作し易くない fact14: 「なにがしかの物は熱中し始めるかもしくはそれは操作し易い」ということは確かである fact15: もし仮に「大暴れする」ものがあるとしたらそのＭＩＳＯは操作し易い fact16: そのフォルティッシモが改良型ならそのＭＩＳＯは上座だ fact17: もし「ある物は現物出資しない一方で十二年後である」ということは成り立たないとすれば十二年後でない
fact12 & fact9 -> int1: そのフォルティッシモは侘住まいであるか大暴れするかあるいは両方である; int1 -> int2: 何らかの物は侘住まいであるか大暴れするかどちらもだ; int2 & fact6 -> hypothesis;
そのＭＩＳＯは操作し易くない
fact19 -> int3: もし仮にそのＭＩＳＯは動き易くないならば「それは操作し易いしそれに熱中し始める」ということは事実と異なる; fact25 -> int4: 仮に「そのＭＩＳＯは動き易いけれど話し出さない」ということは成り立たないならばそれは動き易くない; fact22 -> int5: もし仮にそのＭＩＳＯは上座なら「動き易いがしかし話し出さない」ということは真実でない; fact21 -> int6: もしも「あの廃棄物処理施設は現物出資しないが十二年後である」ということは成り立つということはないならそれは十二年後でない; fact26 & fact18 -> int7: この齲蝕有病者率は換金価値でない; fact20 & int7 -> int8: 「あの廃棄物処理施設は現物出資しない一方で十二年後である」ということは偽である; int6 & int8 -> int9: あの廃棄物処理施設は十二年後でない; fact23 & int9 -> int10: そのフォルティッシモは改良型であるかそれは上座であるかまたは両方ともである;
$facts$ = fact1: もし仮にこの齲蝕有病者率は換金価値でないとすると「あの廃棄物処理施設は現物出資しないが十二年後である」ということは偽だ fact2: 「何かは動き易いけどそれは話し出さない」ということは成り立たないとすれば動き易いということはない fact3: 「この齲蝕有病者率は腫大するけれど投射しない」ということは誤っていれば換金価値でない fact4: その武家地は熱中し始めない fact5: もしも何らかのものは上座であるとしたら「動き易いけれど話し出すということはない」ということは誤っている fact6: もしもなんらかの物が侘住まいであるかそれは大暴れするかまたは両方ともだとすると「そのＭＩＳＯは操作し易い」ということは事実だ fact7: もしもあの廃棄物処理施設が十二年後でないとするとそのフォルティッシモは改良型であるかもしくは上座である fact8: 「「この齲蝕有病者率は腫大する一方で投射しない」ということは真実でない」ということは確かだ fact9: そのフォルティッシモは熱中し始めない fact10: もしもある物は動き易くないとしたら「それは操作し易くて熱中し始める」ということは成り立たない fact11: この留別は呼び易いか操作し易い fact12: もしそのフォルティッシモが熱中し始めないとすると侘住まいであるかもしくはそれは大暴れする fact13: とあるものが熱中し始めるとすれば操作し易くない fact14: 「なにがしかの物は熱中し始めるかもしくはそれは操作し易い」ということは確かである fact15: もし仮に「大暴れする」ものがあるとしたらそのＭＩＳＯは操作し易い fact16: そのフォルティッシモが改良型ならそのＭＩＳＯは上座だ fact17: もし「ある物は現物出資しない一方で十二年後である」ということは成り立たないとすれば十二年後でない ; $hypothesis$ = そのＭＩＳＯは操作し易い ; $proof$ = 
fact12 & fact9 -> int1: そのフォルティッシモは侘住まいであるか大暴れするかあるいは両方である; int1 -> int2: 何らかの物は侘住まいであるか大暴れするかどちらもだ; int2 & fact6 -> hypothesis; __PROVED__
事実1: もし仮にこの齲蝕有病者率は換金価値でないとすると「あの廃棄物処理施設は現物出資しないが十二年後である」ということは偽だ
事実2: 「何かは動き易いけどそれは話し出さない」ということは成り立たないとすれば動き易いということはない
事実3: 「この齲蝕有病者率は腫大するけれど投射しない」ということは誤っていれば換金価値でない
事実4: その武家地は熱中し始めない
事実5: もしも何らかのものは上座であるとしたら「動き易いけれど話し出すということはない」ということは誤っている
事実6: もしもなんらかの物が侘住まいであるかそれは大暴れするかまたは両方ともだとすると「そのＭＩＳＯは操作し易い」ということは事実だ
事実7: もしもあの廃棄物処理施設が十二年後でないとするとそのフォルティッシモは改良型であるかもしくは上座である
事実8: 「「この齲蝕有病者率は腫大する一方で投射しない」ということは真実でない」ということは確かだ
事実9: そのフォルティッシモは熱中し始めない
事実10: もしもある物は動き易くないとしたら「それは操作し易くて熱中し始める」ということは成り立たない
事実11: この留別は呼び易いか操作し易い
事実12: もしそのフォルティッシモが熱中し始めないとすると侘住まいであるかもしくはそれは大暴れする
事実13: とあるものが熱中し始めるとすれば操作し易くない
事実14: 「なにがしかの物は熱中し始めるかもしくはそれは操作し易い」ということは確かである
事実15: もし仮に「大暴れする」ものがあるとしたらそのＭＩＳＯは操作し易い
事実16: そのフォルティッシモが改良型ならそのＭＩＳＯは上座だ
事実17: もし「ある物は現物出資しない一方で十二年後である」ということは成り立たないとすれば十二年後でない

仮説: そのＭＩＳＯは操作し易い
1. 事実12と事実9から、推論1: "そのフォルティッシモは侘住まいであるか大暴れするかあるいは両方である"が導かれる
2. 推論1から、推論2: "何らかの物は侘住まいであるか大暴れするかどちらもだ"が導かれる
3. 推論2と事実6から、仮説が導かれる

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