なんらかの物は世知辛いがしかしそれは称え合わない
fact1: そのデパートマンは世知辛い fact2: 「この電子オルガンは称え合うけど世知辛くない」ということは成り立たない fact3: なんらかの物は世知辛いが喀血しない fact4: 「世知辛い」ものはある fact5: もしも「そのデパートマンはちょろい」ということは事実ならばそれは世知辛い fact6: とある物は喀血する fact7: そのデパートマンはちょろい一方でそれは喀血するということはない fact8: そのデパートマンは仲間達だ fact9: 「そのデパートマンは喀血しない」ということは成り立つ fact10: 「称え合わない」物はある fact11: ちょろい物は世知辛い fact12: 仮に「「称え合うししかも世知辛くない」ということは成り立つということはない」物があるならばあのビートルズ・ナンバーは称え合わない fact13: ちょろい物は世知辛いけれど称え合わない fact14: 「世知辛いし称え合う」ものはある
fact7 -> int1: そのデパートマンはちょろい; fact13 -> int2: 仮にそのデパートマンがちょろいなら世知辛いけど称え合わない; int1 & int2 -> int3: そのデパートマンは世知辛いが称え合うということはない; int3 -> hypothesis;
fact7 -> int1: {A}{a}; fact13 -> int2: {A}{a} -> ({D}{a} & ¬{C}{a}); int1 & int2 -> int3: ({D}{a} & ¬{C}{a}); int3 -> hypothesis;
そのデパートマンは羨ましい
fact16 -> int4: 「「称え合うがしかし世知辛くない」ということは成り立たない」ものはある; int4 & fact15 -> int5: あのビートルズ・ナンバーは称え合わない;
$facts$ = fact1: そのデパートマンは世知辛い fact2: 「この電子オルガンは称え合うけど世知辛くない」ということは成り立たない fact3: なんらかの物は世知辛いが喀血しない fact4: 「世知辛い」ものはある fact5: もしも「そのデパートマンはちょろい」ということは事実ならばそれは世知辛い fact6: とある物は喀血する fact7: そのデパートマンはちょろい一方でそれは喀血するということはない fact8: そのデパートマンは仲間達だ fact9: 「そのデパートマンは喀血しない」ということは成り立つ fact10: 「称え合わない」物はある fact11: ちょろい物は世知辛い fact12: 仮に「「称え合うししかも世知辛くない」ということは成り立つということはない」物があるならばあのビートルズ・ナンバーは称え合わない fact13: ちょろい物は世知辛いけれど称え合わない fact14: 「世知辛いし称え合う」ものはある ; $hypothesis$ = なんらかの物は世知辛いがしかしそれは称え合わない ; $proof$ = 
fact7 -> int1: そのデパートマンはちょろい; fact13 -> int2: 仮にそのデパートマンがちょろいなら世知辛いけど称え合わない; int1 & int2 -> int3: そのデパートマンは世知辛いが称え合うということはない; int3 -> hypothesis; __PROVED__
事実1: そのデパートマンは世知辛い
事実2: 「この電子オルガンは称え合うけど世知辛くない」ということは成り立たない
事実3: なんらかの物は世知辛いが喀血しない
事実4: 「世知辛い」ものはある
事実5: もしも「そのデパートマンはちょろい」ということは事実ならばそれは世知辛い
事実6: とある物は喀血する
事実7: そのデパートマンはちょろい一方でそれは喀血するということはない
事実8: そのデパートマンは仲間達だ
事実9: 「そのデパートマンは喀血しない」ということは成り立つ
事実10: 「称え合わない」物はある
事実11: ちょろい物は世知辛い
事実12: 仮に「「称え合うししかも世知辛くない」ということは成り立つということはない」物があるならばあのビートルズ・ナンバーは称え合わない
事実13: ちょろい物は世知辛いけれど称え合わない
事実14: 「世知辛いし称え合う」ものはある

仮説: なんらかの物は世知辛いがしかしそれは称え合わない
1. 事実7から、推論1: "そのデパートマンはちょろい"が導かれる
2. 事実13から、推論2: "仮にそのデパートマンがちょろいなら世知辛いけど称え合わない"が導かれる
3. 推論1と推論2から、推論3: "そのデパートマンは世知辛いが称え合うということはない"が導かれる
4. 推論3から、仮説が導かれる

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