その商売運は気怠い
fact1: もし仮になにかは花盛りでないとしたらそれは気怠いしかつ使い難い fact2: 仮にあるものが手書きしないとするとワードであるしそれに慌ただしい fact3: その商売運は気怠い fact4: 「何らかのものは花盛りであるが使い難くない」ということは成り立たないとするとそれは気怠くらない fact5: 「この好みは気怠い」ということは間違っているということはない fact6: もしもその商売運が慌ただしくてそれに花盛りならばあの伝播は花盛りでない
fact3 -> hypothesis;
fact3 -> hypothesis;
その伝播は気怠い
fact8 -> int1: もしその伝播が花盛りでないとしたらそれは気怠いし使い難い;
$facts$ = fact1: もし仮になにかは花盛りでないとしたらそれは気怠いしかつ使い難い fact2: 仮にあるものが手書きしないとするとワードであるしそれに慌ただしい fact3: その商売運は気怠い fact4: 「何らかのものは花盛りであるが使い難くない」ということは成り立たないとするとそれは気怠くらない fact5: 「この好みは気怠い」ということは間違っているということはない fact6: もしもその商売運が慌ただしくてそれに花盛りならばあの伝播は花盛りでない ; $hypothesis$ = その商売運は気怠い ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もし仮になにかは花盛りでないとしたらそれは気怠いしかつ使い難い
事実2: 仮にあるものが手書きしないとするとワードであるしそれに慌ただしい
事実3: その商売運は気怠い
事実4: 「何らかのものは花盛りであるが使い難くない」ということは成り立たないとするとそれは気怠くらない
事実5: 「この好みは気怠い」ということは間違っているということはない
事実6: もしもその商売運が慌ただしくてそれに花盛りならばあの伝播は花盛りでない

仮説: その商売運は気怠い
1. 事実3から、仮説が導かれる

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