あの大博打は向かい掛けない
fact1: 何らかの物は多しとすると「それは向かい掛けるしおまけに七星でない」ということは偽だ fact2: あの大博打は七星であるかそれは向かい掛けるかまたはどちらもである fact3: もしこのシリコングリスが履行しないとするとそれは駆け落ちであるかもしくは多しかもしくは両方だ fact4: もしも「向かい掛ける」物があるならこのシリコングリスは履行するかあるいは七星だ fact5: あの大博打は向かい掛けるか履行するかまたは両方ともだ fact6: 「「七星である」ものはある」ということは間違いであるということはない fact7: 仮に「とあるものは向かい掛けるがしかし七星でない」ということは間違いならば向かい掛けない fact8: もしもこのシリコングリスは履行するとすれば「あの大博打は向かい掛ける」ということは成り立つ fact9: 何らかのものが履行するとしたらあの大博打は向かい掛けるかまたは七星であるかまたはどちらもである fact10: 「このシリコングリスは七星である」ということは真実ならあの大博打は向かい掛ける fact11: あの出城は七星だ fact12: 多しものはある fact13: もしも「多し」ものがあるならこのシリコングリスは七星であるかあるいはそれは履行する
fact12 & fact13 -> int1: このシリコングリスは七星であるかそれは履行する; int1 & fact10 & fact8 -> hypothesis;
あの大博打は向かい掛けない
fact15 -> int2: 「あの大博打は向かい掛ける一方で七星でない」ということは事実と異なるとすると向かい掛けない; fact14 -> int3: あの大博打は多しとすれば「それは向かい掛けるしそれは七星でない」ということは成り立たない;
$facts$ = fact1: 何らかの物は多しとすると「それは向かい掛けるしおまけに七星でない」ということは偽だ fact2: あの大博打は七星であるかそれは向かい掛けるかまたはどちらもである fact3: もしこのシリコングリスが履行しないとするとそれは駆け落ちであるかもしくは多しかもしくは両方だ fact4: もしも「向かい掛ける」物があるならこのシリコングリスは履行するかあるいは七星だ fact5: あの大博打は向かい掛けるか履行するかまたは両方ともだ fact6: 「「七星である」ものはある」ということは間違いであるということはない fact7: 仮に「とあるものは向かい掛けるがしかし七星でない」ということは間違いならば向かい掛けない fact8: もしもこのシリコングリスは履行するとすれば「あの大博打は向かい掛ける」ということは成り立つ fact9: 何らかのものが履行するとしたらあの大博打は向かい掛けるかまたは七星であるかまたはどちらもである fact10: 「このシリコングリスは七星である」ということは真実ならあの大博打は向かい掛ける fact11: あの出城は七星だ fact12: 多しものはある fact13: もしも「多し」ものがあるならこのシリコングリスは七星であるかあるいはそれは履行する ; $hypothesis$ = あの大博打は向かい掛けない ; $proof$ = 
fact12 & fact13 -> int1: このシリコングリスは七星であるかそれは履行する; int1 & fact10 & fact8 -> hypothesis; __DISPROVED__
事実1: 何らかの物は多しとすると「それは向かい掛けるしおまけに七星でない」ということは偽だ
事実2: あの大博打は七星であるかそれは向かい掛けるかまたはどちらもである
事実3: もしこのシリコングリスが履行しないとするとそれは駆け落ちであるかもしくは多しかもしくは両方だ
事実4: もしも「向かい掛ける」物があるならこのシリコングリスは履行するかあるいは七星だ
事実5: あの大博打は向かい掛けるか履行するかまたは両方ともだ
事実6: 「「七星である」ものはある」ということは間違いであるということはない
事実7: 仮に「とあるものは向かい掛けるがしかし七星でない」ということは間違いならば向かい掛けない
事実8: もしもこのシリコングリスは履行するとすれば「あの大博打は向かい掛ける」ということは成り立つ
事実9: 何らかのものが履行するとしたらあの大博打は向かい掛けるかまたは七星であるかまたはどちらもである
事実10: 「このシリコングリスは七星である」ということは真実ならあの大博打は向かい掛ける
事実11: あの出城は七星だ
事実12: 多しものはある
事実13: もしも「多し」ものがあるならこのシリコングリスは七星であるかあるいはそれは履行する

仮説: あの大博打は向かい掛けない
1. 事実12と事実13から、推論1: "このシリコングリスは七星であるかそれは履行する"が導かれる
2. 推論1と事実10と事実8から、仮説が否定される

よって、仮説が否定されました。