「「この風船ガムは瑞々しくて没入する」ということは誤りでない」ということは嘘である
fact1: もし仮に何らかのものはせこいならばそれは行儀良くないかもしくは乗り出す fact2: 「それは通学出来るしそれに返せる」ということは真実であるという物はない fact3: それは茶色くて加えて誇りっぽいというものはない fact4: 「あのニュー・ツーリズムはみっともなくない」ということは成り立つ fact5: 「その保守系無所属はＢ‐ウエーブであるし瑞々しい」ということは成り立たない fact6: あの国際ペンが行儀良くないか乗り出すとすれば「この風船ガムは没入する」ということは本当である fact7: それはメディア一世であるしまた太しというものはない fact8: 図版だしおまけにそれは薄地であるという物はない fact9: それは瑞々しいしまた没入するという物はない fact10: 物凄いしその上徹底抗戦であるという物はない fact11: 色名で更に疾しというものはない fact12: 「この風船ガムは荒っぽいしかつ没入する」ということは事実であるということはない fact13: それは北陸地区であるしマスコミ等であるというものはない fact14: 仮に「あのバナジウムは乗り出すけど醸造しない」ということは成り立たないとするとあの国際ペンは瑞々しくない fact15: この風船ガムはみっともなくない fact16: みっともなくないものは瑞々しいしその上醸造する fact17: 「とあるものがみっともなくないとすればせこくて行儀良い」ということは事実である fact18: 「あの作成後はＣＵＦＦであるし変性・凝集だ」ということは偽である
fact9 -> hypothesis;
fact9 -> hypothesis;
この風船ガムは瑞々しいしおまけに没入する
fact20 -> int1: もしこの風船ガムがみっともなくないとしたらそれは瑞々しいしかつ醸造する; int1 & fact21 -> int2: この風船ガムは瑞々しいし醸造する; int2 -> int3: この風船ガムは瑞々しい; fact19 -> int4: もしもあの国際ペンはせこいとすればそれは行儀良くないかまたは乗り出すかもしくはどちらもである;
$facts$ = fact1: もし仮に何らかのものはせこいならばそれは行儀良くないかもしくは乗り出す fact2: 「それは通学出来るしそれに返せる」ということは真実であるという物はない fact3: それは茶色くて加えて誇りっぽいというものはない fact4: 「あのニュー・ツーリズムはみっともなくない」ということは成り立つ fact5: 「その保守系無所属はＢ‐ウエーブであるし瑞々しい」ということは成り立たない fact6: あの国際ペンが行儀良くないか乗り出すとすれば「この風船ガムは没入する」ということは本当である fact7: それはメディア一世であるしまた太しというものはない fact8: 図版だしおまけにそれは薄地であるという物はない fact9: それは瑞々しいしまた没入するという物はない fact10: 物凄いしその上徹底抗戦であるという物はない fact11: 色名で更に疾しというものはない fact12: 「この風船ガムは荒っぽいしかつ没入する」ということは事実であるということはない fact13: それは北陸地区であるしマスコミ等であるというものはない fact14: 仮に「あのバナジウムは乗り出すけど醸造しない」ということは成り立たないとするとあの国際ペンは瑞々しくない fact15: この風船ガムはみっともなくない fact16: みっともなくないものは瑞々しいしその上醸造する fact17: 「とあるものがみっともなくないとすればせこくて行儀良い」ということは事実である fact18: 「あの作成後はＣＵＦＦであるし変性・凝集だ」ということは偽である ; $hypothesis$ = 「「この風船ガムは瑞々しくて没入する」ということは誤りでない」ということは嘘である ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: もし仮に何らかのものはせこいならばそれは行儀良くないかもしくは乗り出す
事実2: 「それは通学出来るしそれに返せる」ということは真実であるという物はない
事実3: それは茶色くて加えて誇りっぽいというものはない
事実4: 「あのニュー・ツーリズムはみっともなくない」ということは成り立つ
事実5: 「その保守系無所属はＢ‐ウエーブであるし瑞々しい」ということは成り立たない
事実6: あの国際ペンが行儀良くないか乗り出すとすれば「この風船ガムは没入する」ということは本当である
事実7: それはメディア一世であるしまた太しというものはない
事実8: 図版だしおまけにそれは薄地であるという物はない
事実9: それは瑞々しいしまた没入するという物はない
事実10: 物凄いしその上徹底抗戦であるという物はない
事実11: 色名で更に疾しというものはない
事実12: 「この風船ガムは荒っぽいしかつ没入する」ということは事実であるということはない
事実13: それは北陸地区であるしマスコミ等であるというものはない
事実14: 仮に「あのバナジウムは乗り出すけど醸造しない」ということは成り立たないとするとあの国際ペンは瑞々しくない
事実15: この風船ガムはみっともなくない
事実16: みっともなくないものは瑞々しいしその上醸造する
事実17: 「とあるものがみっともなくないとすればせこくて行儀良い」ということは事実である
事実18: 「あの作成後はＣＵＦＦであるし変性・凝集だ」ということは偽である

仮説: 「「この風船ガムは瑞々しくて没入する」ということは誤りでない」ということは嘘である
1. 事実9から、仮説が導かれる

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