その小上がりは山野さん宅だということはない
fact1: この武装親衛隊は通信販売でないかあるいは程近いかまたは両方ともだ fact2: この武装親衛隊は通信販売でないかまたはそれは程近くない fact3: その小上がりは程近くないかあるいはそれは山野さん宅でないかまたは両方ともである fact4: もし仮にその小上がりが山野さん宅であるならこの武装親衛隊は程近い fact5: もし仮にこの武装親衛隊は通信販売でないか程近くないかあるいは両方だとするとそれは程近くない fact6: もしもこの武装親衛隊が山野さん宅でないかそれは観察法でないならば観察法でない
void -> assump1: 以下のように仮定する。その小上がりは山野さん宅である; fact4 & assump1 -> int1: この武装親衛隊は程近い; fact2 & fact5 -> int2: この武装親衛隊は程近くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{b}; fact2 & fact5 -> int2: ¬{B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: この武装親衛隊は通信販売でないかあるいは程近いかまたは両方ともだ fact2: この武装親衛隊は通信販売でないかまたはそれは程近くない fact3: その小上がりは程近くないかあるいはそれは山野さん宅でないかまたは両方ともである fact4: もし仮にその小上がりが山野さん宅であるならこの武装親衛隊は程近い fact5: もし仮にこの武装親衛隊は通信販売でないか程近くないかあるいは両方だとするとそれは程近くない fact6: もしもこの武装親衛隊が山野さん宅でないかそれは観察法でないならば観察法でない ; $hypothesis$ = その小上がりは山野さん宅だということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その小上がりは山野さん宅である; fact4 & assump1 -> int1: この武装親衛隊は程近い; fact2 & fact5 -> int2: この武装親衛隊は程近くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: この武装親衛隊は通信販売でないかあるいは程近いかまたは両方ともだ
事実2: この武装親衛隊は通信販売でないかまたはそれは程近くない
事実3: その小上がりは程近くないかあるいはそれは山野さん宅でないかまたは両方ともである
事実4: もし仮にその小上がりが山野さん宅であるならこの武装親衛隊は程近い
事実5: もし仮にこの武装親衛隊は通信販売でないか程近くないかあるいは両方だとするとそれは程近くない
事実6: もしもこの武装親衛隊が山野さん宅でないかそれは観察法でないならば観察法でない

仮説: その小上がりは山野さん宅だということはない
1. 仮定1: 以下のように仮定する。その小上がりは山野さん宅である
2. 事実4と仮定1から、推論1: "この武装親衛隊は程近い"が導かれる
3. 事実2と事実5から、推論2: "この武装親衛隊は程近くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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