「仮に物悲しいならば怒液であるがしかし封じない」ものはある
fact1: 仮に「その呪儀は物悲しい」ということは事実ならそれは怒液だ一方で封じない fact2: 狡いものは触るが初来日するということはない fact3: 「もし仮に物悲しいとすれば封じない」ものはある fact4: 「もし仮に「物悲しい」ということは本当だとしたら怒液だしさらに封じる」物はある fact5: その呪儀が物悲しいならばそれは封じるということはない
fact1 -> hypothesis;
「狡いとすれば触るし初来日するということはない」物はある
fact6 -> int1: 仮に「あの故実は狡い」ということは本当だとすれば触るしそれは初来日しない; int1 -> hypothesis;
$facts$ = fact1: 仮に「その呪儀は物悲しい」ということは事実ならそれは怒液だ一方で封じない fact2: 狡いものは触るが初来日するということはない fact3: 「もし仮に物悲しいとすれば封じない」ものはある fact4: 「もし仮に「物悲しい」ということは本当だとしたら怒液だしさらに封じる」物はある fact5: その呪儀が物悲しいならばそれは封じるということはない ; $hypothesis$ = 「仮に物悲しいならば怒液であるがしかし封じない」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 仮に「その呪儀は物悲しい」ということは事実ならそれは怒液だ一方で封じない
事実2: 狡いものは触るが初来日するということはない
事実3: 「もし仮に物悲しいとすれば封じない」ものはある
事実4: 「もし仮に「物悲しい」ということは本当だとしたら怒液だしさらに封じる」物はある
事実5: その呪儀が物悲しいならばそれは封じるということはない

仮説: 「仮に物悲しいならば怒液であるがしかし封じない」ものはある
1. 事実1から、仮説が導かれる

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