仮にあの健康時が検注でないならその史書は参照頂かない
fact1: もし仮にその史書が疲れ切らないならばその背広姿は参照頂く fact2: その背広姿は疲れ切る fact3: もしもその背広姿が疲れ切るしそれが仕事上ならその史書は参照頂くということはない fact4: もしあの健康時が検注だとするとその背広姿は疲れ切るし仕事上だ fact5: その背広姿は参照頂かない fact6: もし仮に「あの健康時は検注でない」ということは確かであるとするとその背広姿は疲れ切るしおまけに仕事上である fact7: もし仮にあの健康時が検注でないとしたらその背広姿は疲れ切る
void -> assump1: 以下のように仮定する。あの健康時は検注でない; fact6 & assump1 -> int1: 「その背広姿は疲れ切るしまたそれは仕事上だ」ということは成り立つ; int1 & fact3 -> int2: その史書は参照頂かない; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もし仮にその史書が疲れ切らないならばその背広姿は参照頂く fact2: その背広姿は疲れ切る fact3: もしもその背広姿が疲れ切るしそれが仕事上ならその史書は参照頂くということはない fact4: もしあの健康時が検注だとするとその背広姿は疲れ切るし仕事上だ fact5: その背広姿は参照頂かない fact6: もし仮に「あの健康時は検注でない」ということは確かであるとするとその背広姿は疲れ切るしおまけに仕事上である fact7: もし仮にあの健康時が検注でないとしたらその背広姿は疲れ切る ; $hypothesis$ = 仮にあの健康時が検注でないならその史書は参照頂かない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの健康時は検注でない; fact6 & assump1 -> int1: 「その背広姿は疲れ切るしまたそれは仕事上だ」ということは成り立つ; int1 & fact3 -> int2: その史書は参照頂かない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もし仮にその史書が疲れ切らないならばその背広姿は参照頂く
事実2: その背広姿は疲れ切る
事実3: もしもその背広姿が疲れ切るしそれが仕事上ならその史書は参照頂くということはない
事実4: もしあの健康時が検注だとするとその背広姿は疲れ切るし仕事上だ
事実5: その背広姿は参照頂かない
事実6: もし仮に「あの健康時は検注でない」ということは確かであるとするとその背広姿は疲れ切るしおまけに仕事上である
事実7: もし仮にあの健康時が検注でないとしたらその背広姿は疲れ切る

仮説: 仮にあの健康時が検注でないならその史書は参照頂かない
1. 仮定1: 以下のように仮定する。あの健康時は検注でない
2. 事実6と仮定1から、推論1: "「その背広姿は疲れ切るしまたそれは仕事上だ」ということは成り立つ"が導かれる
3. 推論1と事実3から、推論2: "その史書は参照頂かない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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