その財産家は恥ずかしい
fact1: あの上気道はフルタイムである fact2: もし仮に「とある物は人見知りする一方で悲しくない」ということは成り立たないとしたらそれは無量光院跡だ fact3: 「その財産家はフルタイムであるが最終曲げ代でない」ということは成り立たない fact4: 仮にその財産家はフルタイムでないなら恥ずかしい fact5: もしも何かは書き並べる一方でむず痒くないとすれば恥ずかしくない fact6: 仮に「その財産家はフルタイムであるがしかし最終曲げ代でない」ということは偽ならばそれは恥ずかしい
fact6 & fact3 -> hypothesis;
fact6 & fact3 -> hypothesis;
もし仮に「その財産家は人見知りするけどそれは悲しくない」ということは成り立たないならばそれは無量光院跡だ
fact7 -> hypothesis;
$facts$ = fact1: あの上気道はフルタイムである fact2: もし仮に「とある物は人見知りする一方で悲しくない」ということは成り立たないとしたらそれは無量光院跡だ fact3: 「その財産家はフルタイムであるが最終曲げ代でない」ということは成り立たない fact4: 仮にその財産家はフルタイムでないなら恥ずかしい fact5: もしも何かは書き並べる一方でむず痒くないとすれば恥ずかしくない fact6: 仮に「その財産家はフルタイムであるがしかし最終曲げ代でない」ということは偽ならばそれは恥ずかしい ; $hypothesis$ = その財産家は恥ずかしい ; $proof$ = 
fact6 & fact3 -> hypothesis; __PROVED__
事実1: あの上気道はフルタイムである
事実2: もし仮に「とある物は人見知りする一方で悲しくない」ということは成り立たないとしたらそれは無量光院跡だ
事実3: 「その財産家はフルタイムであるが最終曲げ代でない」ということは成り立たない
事実4: 仮にその財産家はフルタイムでないなら恥ずかしい
事実5: もしも何かは書き並べる一方でむず痒くないとすれば恥ずかしくない
事実6: 仮に「その財産家はフルタイムであるがしかし最終曲げ代でない」ということは偽ならばそれは恥ずかしい

仮説: その財産家は恥ずかしい
1. 事実6と事実3から、仮説が導かれる

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