「仮に怠けるとすれば悲しがる」物はある
fact1: もし仮にあの不払い労働は悲しがるとすると「登録後である」ということは成り立つ fact2: もしもなにかは起電するとしたら「弱虫だ」ということは事実だ fact3: もしもその受光素子が洗い落とせばそれは歩き難い fact4: もしあの断崖上が給するとするとスポットライトだ fact5: もし仮にその受光素子が怠ければそれは悲しがる fact6: 「もし「雑居する」ということは確かであるとすると石造物である」ものはある fact7: 仮に「その受光素子は産業革命以後である」ということは成り立てばそれは呼び易い fact8: 「むさいとすると据え置く」物はある
fact5 -> hypothesis;
「もし仮に起電するなら弱虫な」物はある
fact9 -> int1: もしあの一定程度が起電するとしたらそれは弱虫である; int1 -> hypothesis;
$facts$ = fact1: もし仮にあの不払い労働は悲しがるとすると「登録後である」ということは成り立つ fact2: もしもなにかは起電するとしたら「弱虫だ」ということは事実だ fact3: もしもその受光素子が洗い落とせばそれは歩き難い fact4: もしあの断崖上が給するとするとスポットライトだ fact5: もし仮にその受光素子が怠ければそれは悲しがる fact6: 「もし「雑居する」ということは確かであるとすると石造物である」ものはある fact7: 仮に「その受光素子は産業革命以後である」ということは成り立てばそれは呼び易い fact8: 「むさいとすると据え置く」物はある ; $hypothesis$ = 「仮に怠けるとすれば悲しがる」物はある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もし仮にあの不払い労働は悲しがるとすると「登録後である」ということは成り立つ
事実2: もしもなにかは起電するとしたら「弱虫だ」ということは事実だ
事実3: もしもその受光素子が洗い落とせばそれは歩き難い
事実4: もしあの断崖上が給するとするとスポットライトだ
事実5: もし仮にその受光素子が怠ければそれは悲しがる
事実6: 「もし「雑居する」ということは確かであるとすると石造物である」ものはある
事実7: 仮に「その受光素子は産業革命以後である」ということは成り立てばそれは呼び易い
事実8: 「むさいとすると据え置く」物はある

仮説: 「仮に怠けるとすれば悲しがる」物はある
1. 事実5から、仮説が導かれる

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