もし仮にこの型番が悩まないとしたらこの社会通念は正味作業である
fact1: この社会通念は御狩り場だ fact2: もしこの型番が悩めばこの社会通念は正味作業だ fact3: もしもこの型番が悩むとすればあの社会通念が御狩り場だししかもそれは正味作業である fact4: この社会通念は御狩り場であるし悩む fact5: 仮にこの型番が正味作業でないとするとこの社会通念は御狩り場だし加えてそれは悩む fact6: もし仮にこの型番が悩まないとしたらこの社会通念は御狩り場であるしその上正味作業だ fact7: この型番が悩まないならこの社会通念は御狩り場である
void -> assump1: 以下のように仮定する。この型番は悩まない; fact6 & assump1 -> int1: この社会通念は御狩り場であるし正味作業だ; int1 -> int2: この社会通念は正味作業だ; [assump1] & int2 -> hypothesis;
void -> assump1: ¬{A}{a}; fact6 & assump1 -> int1: ({AA}{b} & {AB}{b}); int1 -> int2: {AB}{b}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: この社会通念は御狩り場だ fact2: もしこの型番が悩めばこの社会通念は正味作業だ fact3: もしもこの型番が悩むとすればあの社会通念が御狩り場だししかもそれは正味作業である fact4: この社会通念は御狩り場であるし悩む fact5: 仮にこの型番が正味作業でないとするとこの社会通念は御狩り場だし加えてそれは悩む fact6: もし仮にこの型番が悩まないとしたらこの社会通念は御狩り場であるしその上正味作業だ fact7: この型番が悩まないならこの社会通念は御狩り場である ; $hypothesis$ = もし仮にこの型番が悩まないとしたらこの社会通念は正味作業である ; $proof$ = 
void -> assump1: 以下のように仮定する。この型番は悩まない; fact6 & assump1 -> int1: この社会通念は御狩り場であるし正味作業だ; int1 -> int2: この社会通念は正味作業だ; [assump1] & int2 -> hypothesis; __PROVED__
事実1: この社会通念は御狩り場だ
事実2: もしこの型番が悩めばこの社会通念は正味作業だ
事実3: もしもこの型番が悩むとすればあの社会通念が御狩り場だししかもそれは正味作業である
事実4: この社会通念は御狩り場であるし悩む
事実5: 仮にこの型番が正味作業でないとするとこの社会通念は御狩り場だし加えてそれは悩む
事実6: もし仮にこの型番が悩まないとしたらこの社会通念は御狩り場であるしその上正味作業だ
事実7: この型番が悩まないならこの社会通念は御狩り場である

仮説: もし仮にこの型番が悩まないとしたらこの社会通念は正味作業である
1. 仮定1: 以下のように仮定する。この型番は悩まない
2. 事実6と仮定1から、推論1: "この社会通念は御狩り場であるし正味作業だ"が導かれる
3. 推論1から、推論2: "この社会通念は正味作業だ"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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