「その事業規模は振り返さなくておまけに回覧しない」ということは偽だ
fact1: 「その事業規模は振り返さないしかつ回覧しない」ということは成り立たない fact2: 「その事業規模は祝福しなくて振り返さない」ということは嘘だ fact3: 「その事業規模は来易くないし八十一例でない」ということは成り立たない fact4: 「その事業規模は振り返さないけれど回覧する」ということは成り立たない fact5: 「この裏蓋は回覧しなくて見分け難くない」ということは偽である fact6: 「その事業規模は鈍いが御強くない」ということは成り立たない
fact1 -> hypothesis;
$facts$ = fact1: 「その事業規模は振り返さないしかつ回覧しない」ということは成り立たない fact2: 「その事業規模は祝福しなくて振り返さない」ということは嘘だ fact3: 「その事業規模は来易くないし八十一例でない」ということは成り立たない fact4: 「その事業規模は振り返さないけれど回覧する」ということは成り立たない fact5: 「この裏蓋は回覧しなくて見分け難くない」ということは偽である fact6: 「その事業規模は鈍いが御強くない」ということは成り立たない ; $hypothesis$ = 「その事業規模は振り返さなくておまけに回覧しない」ということは偽だ ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 「その事業規模は振り返さないしかつ回覧しない」ということは成り立たない
事実2: 「その事業規模は祝福しなくて振り返さない」ということは嘘だ
事実3: 「その事業規模は来易くないし八十一例でない」ということは成り立たない
事実4: 「その事業規模は振り返さないけれど回覧する」ということは成り立たない
事実5: 「この裏蓋は回覧しなくて見分け難くない」ということは偽である
事実6: 「その事業規模は鈍いが御強くない」ということは成り立たない

仮説: 「その事業規模は振り返さなくておまけに回覧しない」ということは偽だ
1. 事実1から、仮説が導かれる

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