もしもあのベリーは性分らしいけれど目新しくないとすると「あの吸息は宣言でない」ということは成り立つ
fact1: もしあの吸息が性分らしくないとしたらあのベリーは宣言でない fact2: あの吸息は宣言だが目新しくない fact3: もしあのベリーが目新しいということはないとすればあの吸息は宣言である fact4: 「あの吸息は性分らしいが宣言でない」ということは成り立つならあのベリーは目新しくない fact5: この市民大会は性分らしくない fact6: あの吸息が性分らしいが目新しくないとしたらあのベリーは宣言であるということはない fact7: もし仮にあのベリーが性分らしいがしかし目新しくないとすればあの吸息は宣言である fact8: 仮にあのベリーが目新しくないならばあの吸息は宣言でない fact9: あの吸息が目新しくないとすればあのベリーは宣言だということはない fact10: 「あのベリーは性分らしい」ということは本当だ fact11: あの吸息は宣言だ
void -> assump1: 以下のように仮定する。あのベリーは性分らしいが目新しくない; assump1 -> int1: あのベリーは目新しくない; int1 & fact8 -> int2: あの吸息は宣言でない; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もしあの吸息が性分らしくないとしたらあのベリーは宣言でない fact2: あの吸息は宣言だが目新しくない fact3: もしあのベリーが目新しいということはないとすればあの吸息は宣言である fact4: 「あの吸息は性分らしいが宣言でない」ということは成り立つならあのベリーは目新しくない fact5: この市民大会は性分らしくない fact6: あの吸息が性分らしいが目新しくないとしたらあのベリーは宣言であるということはない fact7: もし仮にあのベリーが性分らしいがしかし目新しくないとすればあの吸息は宣言である fact8: 仮にあのベリーが目新しくないならばあの吸息は宣言でない fact9: あの吸息が目新しくないとすればあのベリーは宣言だということはない fact10: 「あのベリーは性分らしい」ということは本当だ fact11: あの吸息は宣言だ ; $hypothesis$ = もしもあのベリーは性分らしいけれど目新しくないとすると「あの吸息は宣言でない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。あのベリーは性分らしいが目新しくない; assump1 -> int1: あのベリーは目新しくない; int1 & fact8 -> int2: あの吸息は宣言でない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしあの吸息が性分らしくないとしたらあのベリーは宣言でない
事実2: あの吸息は宣言だが目新しくない
事実3: もしあのベリーが目新しいということはないとすればあの吸息は宣言である
事実4: 「あの吸息は性分らしいが宣言でない」ということは成り立つならあのベリーは目新しくない
事実5: この市民大会は性分らしくない
事実6: あの吸息が性分らしいが目新しくないとしたらあのベリーは宣言であるということはない
事実7: もし仮にあのベリーが性分らしいがしかし目新しくないとすればあの吸息は宣言である
事実8: 仮にあのベリーが目新しくないならばあの吸息は宣言でない
事実9: あの吸息が目新しくないとすればあのベリーは宣言だということはない
事実10: 「あのベリーは性分らしい」ということは本当だ
事実11: あの吸息は宣言だ

仮説: もしもあのベリーは性分らしいけれど目新しくないとすると「あの吸息は宣言でない」ということは成り立つ
1. 仮定1: 以下のように仮定する。あのベリーは性分らしいが目新しくない
2. 仮定1から、推論1: "あのベリーは目新しくない"が導かれる
3. 推論1と事実8から、推論2: "あの吸息は宣言でない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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