このテレビニュースは離乳期でないかもしくはそれは親子関係である
fact1: もし仮にその正常者が自賛しない一方で誇りっぽいならば「あの分類指標は歌い上げる」ということは事実だ fact2: 仮にこの主義主張が付け入るとしたらこのテレビニュースは好ましい fact3: 仮にあの分類指標は歌い上げるとすると「その同令は拘束するということはないけれど当て擦る」ということは誤りだ fact4: この主義主張は貸し倒れないかもしくは考え深いか両方ともだ fact5: この主義主張は親子関係であるなら好ましくないかもしくは付け入るか両方ともである fact6: 仮に「この主義主張は付け入るがしかし拘束しない」ということは誤りであるならばこのテレビニュースは付け入らない fact7: この主義主張は最低基準である fact8: この主義主張は付け入る fact9: 「「そのフィルムは味わい深いけれどそれは離れ業でない」ということは偽でない」ということは成り立たない fact10: この話し手は親子関係でないかあるいはそれは欠乏するかもしくは両方ともだ fact11: もし仮に「何らかのものは作戦しない」ということは真実ならばそれは自賛しなくて更にそれは誇りっぽい fact12: もし仮に「何らかのものは拘束しない一方でそれは当て擦る」ということは間違いだとすれば拘束する fact13: なんらかの物は離れ業でないとするとそれはだらし無くなくておまけに作戦しない fact14: もし仮にあの二．五パーセント点が夏用でないけれど拭い去るならその総合短期譲渡所得は拭い去る fact15: もし仮にその年齢階層が変化し易いとしたらそれは受注する fact16: 「その年齢階層は変化し易い」ということは成り立つ fact17: もしもあるものが好ましいとするとそれは離乳期でないかあるいはそれは親子関係であるか両方ともだ fact18: ある物が付け入らないならば好ましくない fact19: 仮に「「受注する」ということは正しい」ものがあるとすればあの二．五パーセント点は夏用でない一方でそれは拭い去る fact20: 仮にその総合短期譲渡所得が離れ業であるし拭い去るならその正常者は離れ業だということはない fact21: もしも何らかの物は好ましくないとすれば「離乳期でないか親子関係であるか両方ともだ」ということは誤っている fact22: もし「そのフィルムは味わい深い一方でそれは離れ業でない」ということは成り立たないならば「その総合短期譲渡所得は離れ業だ」ということは成り立つ
fact17 -> int1: もし仮にこのテレビニュースが好ましいとしたら離乳期でないかあるいは親子関係であるかどちらもだ; fact2 & fact8 -> int2: このテレビニュースは好ましい; int1 & int2 -> hypothesis;
「このテレビニュースは離乳期でないかあるいは親子関係であるか両方ともだ」ということは偽である
fact30 -> int3: もし仮にこのテレビニュースは好ましくないとしたら「離乳期だということはないかまたはそれは親子関係であるかあるいはどちらもだ」ということは誤っている; fact29 -> int4: 仮にこのテレビニュースが付け入らないならば好ましくない; fact37 -> int5: 仮に「その同令は拘束しないけどそれは当て擦る」ということは偽であるとすると拘束する; fact28 -> int6: もしその正常者が作戦しないとすると自賛しなくて誇りっぽい; fact33 -> int7: もしその正常者は離れ業でないならばだらし無くないし作戦しない; fact25 & fact35 -> int8: その総合短期譲渡所得は離れ業である; fact26 & fact36 -> int9: その年齢階層は受注する; int9 -> int10: 「受注する」物はある; int10 & fact34 -> int11: あの二．五パーセント点は夏用だということはないけど拭い去る; fact31 & int11 -> int12: その総合短期譲渡所得は拭い去る; int8 & int12 -> int13: その総合短期譲渡所得は離れ業で拭い去る; fact23 & int13 -> int14: 「その正常者は離れ業でない」ということは成り立つ; int7 & int14 -> int15: その正常者はだらし無いということはないし作戦しない; int15 -> int16: 「その正常者は作戦しない」ということは確かである; int6 & int16 -> int17: その正常者は自賛しないけれど誇りっぽい; fact32 & int17 -> int18: あの分類指標は歌い上げる; fact24 & int18 -> int19: 「その同令は拘束しないけれど当て擦る」ということは成り立たない; int5 & int19 -> int20: その同令は拘束する; int20 -> int21: 「拘束する」物はある;
$facts$ = fact1: もし仮にその正常者が自賛しない一方で誇りっぽいならば「あの分類指標は歌い上げる」ということは事実だ fact2: 仮にこの主義主張が付け入るとしたらこのテレビニュースは好ましい fact3: 仮にあの分類指標は歌い上げるとすると「その同令は拘束するということはないけれど当て擦る」ということは誤りだ fact4: この主義主張は貸し倒れないかもしくは考え深いか両方ともだ fact5: この主義主張は親子関係であるなら好ましくないかもしくは付け入るか両方ともである fact6: 仮に「この主義主張は付け入るがしかし拘束しない」ということは誤りであるならばこのテレビニュースは付け入らない fact7: この主義主張は最低基準である fact8: この主義主張は付け入る fact9: 「「そのフィルムは味わい深いけれどそれは離れ業でない」ということは偽でない」ということは成り立たない fact10: この話し手は親子関係でないかあるいはそれは欠乏するかもしくは両方ともだ fact11: もし仮に「何らかのものは作戦しない」ということは真実ならばそれは自賛しなくて更にそれは誇りっぽい fact12: もし仮に「何らかのものは拘束しない一方でそれは当て擦る」ということは間違いだとすれば拘束する fact13: なんらかの物は離れ業でないとするとそれはだらし無くなくておまけに作戦しない fact14: もし仮にあの二．五パーセント点が夏用でないけれど拭い去るならその総合短期譲渡所得は拭い去る fact15: もし仮にその年齢階層が変化し易いとしたらそれは受注する fact16: 「その年齢階層は変化し易い」ということは成り立つ fact17: もしもあるものが好ましいとするとそれは離乳期でないかあるいはそれは親子関係であるか両方ともだ fact18: ある物が付け入らないならば好ましくない fact19: 仮に「「受注する」ということは正しい」ものがあるとすればあの二．五パーセント点は夏用でない一方でそれは拭い去る fact20: 仮にその総合短期譲渡所得が離れ業であるし拭い去るならその正常者は離れ業だということはない fact21: もしも何らかの物は好ましくないとすれば「離乳期でないか親子関係であるか両方ともだ」ということは誤っている fact22: もし「そのフィルムは味わい深い一方でそれは離れ業でない」ということは成り立たないならば「その総合短期譲渡所得は離れ業だ」ということは成り立つ ; $hypothesis$ = このテレビニュースは離乳期でないかもしくはそれは親子関係である ; $proof$ = 
fact17 -> int1: もし仮にこのテレビニュースが好ましいとしたら離乳期でないかあるいは親子関係であるかどちらもだ; fact2 & fact8 -> int2: このテレビニュースは好ましい; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮にその正常者が自賛しない一方で誇りっぽいならば「あの分類指標は歌い上げる」ということは事実だ
事実2: 仮にこの主義主張が付け入るとしたらこのテレビニュースは好ましい
事実3: 仮にあの分類指標は歌い上げるとすると「その同令は拘束するということはないけれど当て擦る」ということは誤りだ
事実4: この主義主張は貸し倒れないかもしくは考え深いか両方ともだ
事実5: この主義主張は親子関係であるなら好ましくないかもしくは付け入るか両方ともである
事実6: 仮に「この主義主張は付け入るがしかし拘束しない」ということは誤りであるならばこのテレビニュースは付け入らない
事実7: この主義主張は最低基準である
事実8: この主義主張は付け入る
事実9: 「「そのフィルムは味わい深いけれどそれは離れ業でない」ということは偽でない」ということは成り立たない
事実10: この話し手は親子関係でないかあるいはそれは欠乏するかもしくは両方ともだ
事実11: もし仮に「何らかのものは作戦しない」ということは真実ならばそれは自賛しなくて更にそれは誇りっぽい
事実12: もし仮に「何らかのものは拘束しない一方でそれは当て擦る」ということは間違いだとすれば拘束する
事実13: なんらかの物は離れ業でないとするとそれはだらし無くなくておまけに作戦しない
事実14: もし仮にあの二．五パーセント点が夏用でないけれど拭い去るならその総合短期譲渡所得は拭い去る
事実15: もし仮にその年齢階層が変化し易いとしたらそれは受注する
事実16: 「その年齢階層は変化し易い」ということは成り立つ
事実17: もしもあるものが好ましいとするとそれは離乳期でないかあるいはそれは親子関係であるか両方ともだ
事実18: ある物が付け入らないならば好ましくない
事実19: 仮に「「受注する」ということは正しい」ものがあるとすればあの二．五パーセント点は夏用でない一方でそれは拭い去る
事実20: 仮にその総合短期譲渡所得が離れ業であるし拭い去るならその正常者は離れ業だということはない
事実21: もしも何らかの物は好ましくないとすれば「離乳期でないか親子関係であるか両方ともだ」ということは誤っている
事実22: もし「そのフィルムは味わい深い一方でそれは離れ業でない」ということは成り立たないならば「その総合短期譲渡所得は離れ業だ」ということは成り立つ

仮説: このテレビニュースは離乳期でないかもしくはそれは親子関係である
1. 事実17から、推論1: "もし仮にこのテレビニュースが好ましいとしたら離乳期でないかあるいは親子関係であるかどちらもだ"が導かれる
2. 事実2と事実8から、推論2: "このテレビニュースは好ましい"が導かれる
3. 推論1と推論2から、仮説が導かれる

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