「胃癌患者でない」ものはある
fact1: このタブレットは感慨深いということはない fact2: もし仮に「「落成するしその上感慨深くない」ということは正しい」物があればこのタブレットは忠告しない fact3: このタブレットは落成しない fact4: 「落成するしその上感慨深くない」ものはある fact5: 「忠告しない」ものはある fact6: 「何らかの物は浮き易くない」ということは成り立つ fact7: もし仮になんらかのものが落成するしそれが感慨深いとしたらこのタブレットは忠告するということはない fact8: 「感慨深くない」物はある fact9: もし仮にこの二次起電力ＥＵが忠告しないとすればあのタブレットは胃癌患者でない fact10: このタブレットが忠告しないならばあの二次起電力ＥＵは胃癌患者でない fact11: この二次起電力ＥＵは感慨深いということはない fact12: 「あの各事業場は忠告しない」ということは事実である fact13: この二次起電力ＥＵは強制出来ない fact14: 「胃癌患者である」物はある fact15: このタブレットは押し易くない fact16: ある物は記述しない
fact4 & fact2 -> int1: 「このタブレットは忠告するということはない」ということは成り立つ; int1 & fact10 -> int2: この二次起電力ＥＵは胃癌患者でない; int2 -> hypothesis;
fact4 & fact2 -> int1: ¬{C}{a}; int1 & fact10 -> int2: ¬{D}{b}; int2 -> hypothesis;
$facts$ = fact1: このタブレットは感慨深いということはない fact2: もし仮に「「落成するしその上感慨深くない」ということは正しい」物があればこのタブレットは忠告しない fact3: このタブレットは落成しない fact4: 「落成するしその上感慨深くない」ものはある fact5: 「忠告しない」ものはある fact6: 「何らかの物は浮き易くない」ということは成り立つ fact7: もし仮になんらかのものが落成するしそれが感慨深いとしたらこのタブレットは忠告するということはない fact8: 「感慨深くない」物はある fact9: もし仮にこの二次起電力ＥＵが忠告しないとすればあのタブレットは胃癌患者でない fact10: このタブレットが忠告しないならばあの二次起電力ＥＵは胃癌患者でない fact11: この二次起電力ＥＵは感慨深いということはない fact12: 「あの各事業場は忠告しない」ということは事実である fact13: この二次起電力ＥＵは強制出来ない fact14: 「胃癌患者である」物はある fact15: このタブレットは押し易くない fact16: ある物は記述しない ; $hypothesis$ = 「胃癌患者でない」ものはある ; $proof$ = 
fact4 & fact2 -> int1: 「このタブレットは忠告するということはない」ということは成り立つ; int1 & fact10 -> int2: この二次起電力ＥＵは胃癌患者でない; int2 -> hypothesis; __PROVED__
事実1: このタブレットは感慨深いということはない
事実2: もし仮に「「落成するしその上感慨深くない」ということは正しい」物があればこのタブレットは忠告しない
事実3: このタブレットは落成しない
事実4: 「落成するしその上感慨深くない」ものはある
事実5: 「忠告しない」ものはある
事実6: 「何らかの物は浮き易くない」ということは成り立つ
事実7: もし仮になんらかのものが落成するしそれが感慨深いとしたらこのタブレットは忠告するということはない
事実8: 「感慨深くない」物はある
事実9: もし仮にこの二次起電力ＥＵが忠告しないとすればあのタブレットは胃癌患者でない
事実10: このタブレットが忠告しないならばあの二次起電力ＥＵは胃癌患者でない
事実11: この二次起電力ＥＵは感慨深いということはない
事実12: 「あの各事業場は忠告しない」ということは事実である
事実13: この二次起電力ＥＵは強制出来ない
事実14: 「胃癌患者である」物はある
事実15: このタブレットは押し易くない
事実16: ある物は記述しない

仮説: 「胃癌患者でない」ものはある
1. 事実4と事実2から、推論1: "「このタブレットは忠告するということはない」ということは成り立つ"が導かれる
2. 推論1と事実10から、推論2: "この二次起電力ＥＵは胃癌患者でない"が導かれる
3. 推論2から、仮説が導かれる

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