「もし行き易くないとすれば墓参りしない」物はある
fact1: 「もしも取り易くないなら「入れ易いということはない」ということは真実な」ものはある fact2: もし仮にあの授業日記が回覧しないならそれは墓参りしない fact3: 温いということはない物は用足ししない fact4: もしあの種蓮根が渡り終えるとすればそれは貪り尽くさない fact5: もし仮に「その自害は水垢だ」ということは事実ならば「それは生み難いということはない」ということは真実である fact6: もし仮にあの授業日記が水臭いということはないとしたら墓参りする fact7: もしも「あの授業日記は行き易くない」ということは確かであるならそれは墓参りするということはない
fact7 -> hypothesis;
「もし仮に温くないとすれば用足ししない」ものはある
fact8 -> int1: 仮にこの空目が温くないとすると用足ししない; int1 -> hypothesis;
$facts$ = fact1: 「もしも取り易くないなら「入れ易いということはない」ということは真実な」ものはある fact2: もし仮にあの授業日記が回覧しないならそれは墓参りしない fact3: 温いということはない物は用足ししない fact4: もしあの種蓮根が渡り終えるとすればそれは貪り尽くさない fact5: もし仮に「その自害は水垢だ」ということは事実ならば「それは生み難いということはない」ということは真実である fact6: もし仮にあの授業日記が水臭いということはないとしたら墓参りする fact7: もしも「あの授業日記は行き易くない」ということは確かであるならそれは墓参りするということはない ; $hypothesis$ = 「もし行き易くないとすれば墓参りしない」物はある ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: 「もしも取り易くないなら「入れ易いということはない」ということは真実な」ものはある
事実2: もし仮にあの授業日記が回覧しないならそれは墓参りしない
事実3: 温いということはない物は用足ししない
事実4: もしあの種蓮根が渡り終えるとすればそれは貪り尽くさない
事実5: もし仮に「その自害は水垢だ」ということは事実ならば「それは生み難いということはない」ということは真実である
事実6: もし仮にあの授業日記が水臭いということはないとしたら墓参りする
事実7: もしも「あの授業日記は行き易くない」ということは確かであるならそれは墓参りするということはない

仮説: 「もし行き易くないとすれば墓参りしない」物はある
1. 事実7から、仮説が導かれる

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