「その大久保利通文書は興津家でないしそれはチャイナマンズ・ハットでない」ということは確かだ
fact1: もし「「湿気易い」ということは真実である」ものがあるとすればあの収益事業課税は湿気易いかあるいはそれは心強くないかまたは両方ともである fact2: もしもその大久保利通文書が心強いとすれば興津家でなくてしかもチャイナマンズ・ハットでない fact3: その大久保利通文書は心強い fact4: 仮にその大久保利通文書が上がるとすれば景観評価タイプでない fact5: この外国産は済ま無くない fact6: 仮にその大久保利通文書は代行し得るとすると「落城するということはない」ということは本当である fact7: その救済政策は心強くないしさらに痛め付けない fact8: その大久保利通文書はばらつく fact9: その大久保利通文書は罷免する fact10: もし仮に「この外国産は済ま無くない」ということは本当ならばその騒擾罪は罵らないしあどけなくない fact11: この若党は上候うということはなくて心強くない fact12: 仮にその収益事業課税が湿気易いかそれは心強いということはないか両方ともであるとするとチャイナマンズ・ハットである fact13: もし仮になにかは罵らないか山分けするということはないかもしくは両方ともであるとすると湿気易い fact14: その大久保利通文書はチャイナマンズ・ハットでない fact15: その大久保利通文書は興津家であるとしたら時効取得しない fact16: 済ま無いものはある fact17: その高カロリーは興津家でない fact18: もしもその大久保利通文書が指令するとしたらそれはチャイナマンズ・ハットでない fact19: もしなんらかのものが湿気易いなら心強い
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
この協議会は心強い
fact21 -> int1: もし仮にこの協議会が湿気易いなら心強い;
$facts$ = fact1: もし「「湿気易い」ということは真実である」ものがあるとすればあの収益事業課税は湿気易いかあるいはそれは心強くないかまたは両方ともである fact2: もしもその大久保利通文書が心強いとすれば興津家でなくてしかもチャイナマンズ・ハットでない fact3: その大久保利通文書は心強い fact4: 仮にその大久保利通文書が上がるとすれば景観評価タイプでない fact5: この外国産は済ま無くない fact6: 仮にその大久保利通文書は代行し得るとすると「落城するということはない」ということは本当である fact7: その救済政策は心強くないしさらに痛め付けない fact8: その大久保利通文書はばらつく fact9: その大久保利通文書は罷免する fact10: もし仮に「この外国産は済ま無くない」ということは本当ならばその騒擾罪は罵らないしあどけなくない fact11: この若党は上候うということはなくて心強くない fact12: 仮にその収益事業課税が湿気易いかそれは心強いということはないか両方ともであるとするとチャイナマンズ・ハットである fact13: もし仮になにかは罵らないか山分けするということはないかもしくは両方ともであるとすると湿気易い fact14: その大久保利通文書はチャイナマンズ・ハットでない fact15: その大久保利通文書は興津家であるとしたら時効取得しない fact16: 済ま無いものはある fact17: その高カロリーは興津家でない fact18: もしもその大久保利通文書が指令するとしたらそれはチャイナマンズ・ハットでない fact19: もしなんらかのものが湿気易いなら心強い ; $hypothesis$ = 「その大久保利通文書は興津家でないしそれはチャイナマンズ・ハットでない」ということは確かだ ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: もし「「湿気易い」ということは真実である」ものがあるとすればあの収益事業課税は湿気易いかあるいはそれは心強くないかまたは両方ともである
事実2: もしもその大久保利通文書が心強いとすれば興津家でなくてしかもチャイナマンズ・ハットでない
事実3: その大久保利通文書は心強い
事実4: 仮にその大久保利通文書が上がるとすれば景観評価タイプでない
事実5: この外国産は済ま無くない
事実6: 仮にその大久保利通文書は代行し得るとすると「落城するということはない」ということは本当である
事実7: その救済政策は心強くないしさらに痛め付けない
事実8: その大久保利通文書はばらつく
事実9: その大久保利通文書は罷免する
事実10: もし仮に「この外国産は済ま無くない」ということは本当ならばその騒擾罪は罵らないしあどけなくない
事実11: この若党は上候うということはなくて心強くない
事実12: 仮にその収益事業課税が湿気易いかそれは心強いということはないか両方ともであるとするとチャイナマンズ・ハットである
事実13: もし仮になにかは罵らないか山分けするということはないかもしくは両方ともであるとすると湿気易い
事実14: その大久保利通文書はチャイナマンズ・ハットでない
事実15: その大久保利通文書は興津家であるとしたら時効取得しない
事実16: 済ま無いものはある
事実17: その高カロリーは興津家でない
事実18: もしもその大久保利通文書が指令するとしたらそれはチャイナマンズ・ハットでない
事実19: もしなんらかのものが湿気易いなら心強い

仮説: 「その大久保利通文書は興津家でないしそれはチャイナマンズ・ハットでない」ということは確かだ
1. 事実2と事実3から、仮説が導かれる

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