そのラバリストは侮辱しない
fact1: 「そのラバリストは見定めないが打ち易い」ということは本当ならば侮辱しない fact2: もし仮にそのラバリストが見定めるとすると酸化し難い fact3: そのラバリストは酸化し難くない fact4: そのラバリストは打ち易い
void -> assump1: 以下のように仮定する。そのラバリストは見定める; fact2 & assump1 -> int1: そのラバリストは酸化し難い; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのラバリストは見定めない; int3 & fact4 -> int4: そのラバリストは見定めないが打ち易い; int4 & fact1 -> hypothesis;
$facts$ = fact1: 「そのラバリストは見定めないが打ち易い」ということは本当ならば侮辱しない fact2: もし仮にそのラバリストが見定めるとすると酸化し難い fact3: そのラバリストは酸化し難くない fact4: そのラバリストは打ち易い ; $hypothesis$ = そのラバリストは侮辱しない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのラバリストは見定める; fact2 & assump1 -> int1: そのラバリストは酸化し難い; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのラバリストは見定めない; int3 & fact4 -> int4: そのラバリストは見定めないが打ち易い; int4 & fact1 -> hypothesis; __PROVED__
事実1: 「そのラバリストは見定めないが打ち易い」ということは本当ならば侮辱しない
事実2: もし仮にそのラバリストが見定めるとすると酸化し難い
事実3: そのラバリストは酸化し難くない
事実4: そのラバリストは打ち易い

仮説: そのラバリストは侮辱しない
1. 仮定1: 以下のように仮定する。そのラバリストは見定める
2. 事実2と仮定1から、推論1: "そのラバリストは酸化し難い"が導かれる
3. 推論1と事実3から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "そのラバリストは見定めない"が導かれる
5. 推論3と事実4から、推論4: "そのラバリストは見定めないが打ち易い"が導かれる
6. 推論4と事実1から、仮説が導かれる

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