そのＭツーは敗れるということはない
fact1: そのＭツーはＲＥＩＴでない fact2: あの保証人相互間はどぎつかないかまたはそれは十万円台でない fact3: あの斜め薄切りは敗れない fact4: 仮にあの保証人相互間はどぎつかないかまたは十万円台でないかあるいは両方ともであるならばどぎつかない fact5: もし仮に「あるものは御強くなくて更にちっこくない」ということは間違っているとしたらそれは戻し易くない fact6: もし仮にあの斜め薄切りが敗れないかまたは花卉であるかもしくは両方ともだとすればこの玉入れは感謝致さない fact7: そのスペシャルは花卉でない fact8: あの斜め薄切りは花卉でない fact9: もし仮になにかは戻し易くないなら「シンボルでないしかつ木リストでない」ということは成り立たない fact10: あの斜め薄切りがＲＥＩＴでないとすればそのＭツーは花卉だ fact11: 仮にそのＭツーが花卉でないならばあの斜め薄切りは感謝致すけどＲＥＩＴでない fact12: もしもあの斜め薄切りが花卉でないならそのＭツーは感謝致す一方でＲＥＩＴでない fact13: もし仮にそのＭツーは感謝致すがＲＥＩＴでないとするとそれは敗れない fact14: 仮にあの保証人相互間はどぎつかないとしたらそれは射撃時でないかまたはそれはしゃあ無くないかあるいはどちらもだ fact15: 「もし仮にあの斜め薄切りが敗れるがしかしＲＥＩＴでないとしたらあの斜め薄切りは花卉でない」ということは成り立つ fact16: そのＭツーが読み難くないならばあの斜め薄切りは敗れるということはないかもしくは花卉であるかまたはどちらもだ fact17: なにがしかのものが射撃時でないかまたはしゃあ無くないかまたは両方ともであるとするとその水道事業は勇ましいということはない fact18: もし仮にそのＭツーが花卉でないとするとあの斜め薄切りは敗れる fact19: 「何らかの物はシンボルでないし木リストであるということはない」ということは成り立たないとしたら「それは読み難くない」ということは正しい fact20: あの斜め薄切りが読み難くないとするとそのＭツーは花卉であるし更に敗れる fact21: あの保証人相互間は敗れるということはない
fact12 & fact8 -> int1: そのＭツーは感謝致すがしかしＲＥＩＴでない; int1 & fact13 -> hypothesis;
そのＭツーは敗れる
$facts$ = fact1: そのＭツーはＲＥＩＴでない fact2: あの保証人相互間はどぎつかないかまたはそれは十万円台でない fact3: あの斜め薄切りは敗れない fact4: 仮にあの保証人相互間はどぎつかないかまたは十万円台でないかあるいは両方ともであるならばどぎつかない fact5: もし仮に「あるものは御強くなくて更にちっこくない」ということは間違っているとしたらそれは戻し易くない fact6: もし仮にあの斜め薄切りが敗れないかまたは花卉であるかもしくは両方ともだとすればこの玉入れは感謝致さない fact7: そのスペシャルは花卉でない fact8: あの斜め薄切りは花卉でない fact9: もし仮になにかは戻し易くないなら「シンボルでないしかつ木リストでない」ということは成り立たない fact10: あの斜め薄切りがＲＥＩＴでないとすればそのＭツーは花卉だ fact11: 仮にそのＭツーが花卉でないならばあの斜め薄切りは感謝致すけどＲＥＩＴでない fact12: もしもあの斜め薄切りが花卉でないならそのＭツーは感謝致す一方でＲＥＩＴでない fact13: もし仮にそのＭツーは感謝致すがＲＥＩＴでないとするとそれは敗れない fact14: 仮にあの保証人相互間はどぎつかないとしたらそれは射撃時でないかまたはそれはしゃあ無くないかあるいはどちらもだ fact15: 「もし仮にあの斜め薄切りが敗れるがしかしＲＥＩＴでないとしたらあの斜め薄切りは花卉でない」ということは成り立つ fact16: そのＭツーが読み難くないならばあの斜め薄切りは敗れるということはないかもしくは花卉であるかまたはどちらもだ fact17: なにがしかのものが射撃時でないかまたはしゃあ無くないかまたは両方ともであるとするとその水道事業は勇ましいということはない fact18: もし仮にそのＭツーが花卉でないとするとあの斜め薄切りは敗れる fact19: 「何らかの物はシンボルでないし木リストであるということはない」ということは成り立たないとしたら「それは読み難くない」ということは正しい fact20: あの斜め薄切りが読み難くないとするとそのＭツーは花卉であるし更に敗れる fact21: あの保証人相互間は敗れるということはない ; $hypothesis$ = そのＭツーは敗れるということはない ; $proof$ = 
fact12 & fact8 -> int1: そのＭツーは感謝致すがしかしＲＥＩＴでない; int1 & fact13 -> hypothesis; __PROVED__
事実1: そのＭツーはＲＥＩＴでない
事実2: あの保証人相互間はどぎつかないかまたはそれは十万円台でない
事実3: あの斜め薄切りは敗れない
事実4: 仮にあの保証人相互間はどぎつかないかまたは十万円台でないかあるいは両方ともであるならばどぎつかない
事実5: もし仮に「あるものは御強くなくて更にちっこくない」ということは間違っているとしたらそれは戻し易くない
事実6: もし仮にあの斜め薄切りが敗れないかまたは花卉であるかもしくは両方ともだとすればこの玉入れは感謝致さない
事実7: そのスペシャルは花卉でない
事実8: あの斜め薄切りは花卉でない
事実9: もし仮になにかは戻し易くないなら「シンボルでないしかつ木リストでない」ということは成り立たない
事実10: あの斜め薄切りがＲＥＩＴでないとすればそのＭツーは花卉だ
事実11: 仮にそのＭツーが花卉でないならばあの斜め薄切りは感謝致すけどＲＥＩＴでない
事実12: もしもあの斜め薄切りが花卉でないならそのＭツーは感謝致す一方でＲＥＩＴでない
事実13: もし仮にそのＭツーは感謝致すがＲＥＩＴでないとするとそれは敗れない
事実14: 仮にあの保証人相互間はどぎつかないとしたらそれは射撃時でないかまたはそれはしゃあ無くないかあるいはどちらもだ
事実15: 「もし仮にあの斜め薄切りが敗れるがしかしＲＥＩＴでないとしたらあの斜め薄切りは花卉でない」ということは成り立つ
事実16: そのＭツーが読み難くないならばあの斜め薄切りは敗れるということはないかもしくは花卉であるかまたはどちらもだ
事実17: なにがしかのものが射撃時でないかまたはしゃあ無くないかまたは両方ともであるとするとその水道事業は勇ましいということはない
事実18: もし仮にそのＭツーが花卉でないとするとあの斜め薄切りは敗れる
事実19: 「何らかの物はシンボルでないし木リストであるということはない」ということは成り立たないとしたら「それは読み難くない」ということは正しい
事実20: あの斜め薄切りが読み難くないとするとそのＭツーは花卉であるし更に敗れる
事実21: あの保証人相互間は敗れるということはない

仮説: そのＭツーは敗れるということはない
1. 事実12と事実8から、推論1: "そのＭツーは感謝致すがしかしＲＥＩＴでない"が導かれる
2. 推論1と事実13から、仮説が導かれる

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