「そのコミュニケーション・システムは関与出来る」ということは成り立つ
fact1: この古老達が早いとするとそのコミュニケーション・システムは日本らしくないしおまけにそれはおっそろしということはない fact2: その扶養家族はおっそろしない fact3: そのコミュニケーション・システムは日本らしくないしそれに早いということはない fact4: もしも日本らしくないものがおっそろしないとするとそれは関与出来る fact5: もしもそのコミュニケーション・システムが日本らしいけどそれがおっそろしということはないとすれば関与出来る fact6: その偏位は早くないし二分類でない fact7: この古老達はわりなくない fact8: 日本らしいものがおっそろしということはないとすればそれは関与出来る fact9: 「そのコミュニケーション・システムはわりない」ということは成り立つ fact10: とある物がおっそろしとすればわりない fact11: 「この古老達は早いということはないかもしくはわりないかまたは両方ともだ」ということは成り立たない fact12: そのコミュニケーション・システムは日本らしくない fact13: 仮に後ろ暗くないものがおっそろしないとすると観光客らしい fact14: この古老達が早いとすればそのコミュニケーション・システムは日本らしくない fact15: わりない物は関与出来るか早くないかもしくはどちらもだ fact16: もしこの古老達が関与出来るということはないけれど早いとすれば日本らしい
void -> assump1: 以下のように仮定する。この古老達は早くない; assump1 -> int1: この古老達は早くないかもしくはわりないかまたは両方ともだ; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> int3: この古老達は早い; int3 & fact1 -> int4: そのコミュニケーション・システムは日本らしくないしおっそろしということはない; fact4 -> int5: そのコミュニケーション・システムは日本らしくないしその上おっそろしないならそれは関与出来る; int4 & int5 -> hypothesis;
そのコミュニケーション・システムは関与出来ない
fact17 -> int6: もし仮にこの古老達がわりないとするとそれは関与出来るかもしくは早くないか両方である; fact18 -> int7: この古老達がおっそろしならばわりない;
$facts$ = fact1: この古老達が早いとするとそのコミュニケーション・システムは日本らしくないしおまけにそれはおっそろしということはない fact2: その扶養家族はおっそろしない fact3: そのコミュニケーション・システムは日本らしくないしそれに早いということはない fact4: もしも日本らしくないものがおっそろしないとするとそれは関与出来る fact5: もしもそのコミュニケーション・システムが日本らしいけどそれがおっそろしということはないとすれば関与出来る fact6: その偏位は早くないし二分類でない fact7: この古老達はわりなくない fact8: 日本らしいものがおっそろしということはないとすればそれは関与出来る fact9: 「そのコミュニケーション・システムはわりない」ということは成り立つ fact10: とある物がおっそろしとすればわりない fact11: 「この古老達は早いということはないかもしくはわりないかまたは両方ともだ」ということは成り立たない fact12: そのコミュニケーション・システムは日本らしくない fact13: 仮に後ろ暗くないものがおっそろしないとすると観光客らしい fact14: この古老達が早いとすればそのコミュニケーション・システムは日本らしくない fact15: わりない物は関与出来るか早くないかもしくはどちらもだ fact16: もしこの古老達が関与出来るということはないけれど早いとすれば日本らしい ; $hypothesis$ = 「そのコミュニケーション・システムは関与出来る」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。この古老達は早くない; assump1 -> int1: この古老達は早くないかもしくはわりないかまたは両方ともだ; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> int3: この古老達は早い; int3 & fact1 -> int4: そのコミュニケーション・システムは日本らしくないしおっそろしということはない; fact4 -> int5: そのコミュニケーション・システムは日本らしくないしその上おっそろしないならそれは関与出来る; int4 & int5 -> hypothesis; __PROVED__
事実1: この古老達が早いとするとそのコミュニケーション・システムは日本らしくないしおまけにそれはおっそろしということはない
事実2: その扶養家族はおっそろしない
事実3: そのコミュニケーション・システムは日本らしくないしそれに早いということはない
事実4: もしも日本らしくないものがおっそろしないとするとそれは関与出来る
事実5: もしもそのコミュニケーション・システムが日本らしいけどそれがおっそろしということはないとすれば関与出来る
事実6: その偏位は早くないし二分類でない
事実7: この古老達はわりなくない
事実8: 日本らしいものがおっそろしということはないとすればそれは関与出来る
事実9: 「そのコミュニケーション・システムはわりない」ということは成り立つ
事実10: とある物がおっそろしとすればわりない
事実11: 「この古老達は早いということはないかもしくはわりないかまたは両方ともだ」ということは成り立たない
事実12: そのコミュニケーション・システムは日本らしくない
事実13: 仮に後ろ暗くないものがおっそろしないとすると観光客らしい
事実14: この古老達が早いとすればそのコミュニケーション・システムは日本らしくない
事実15: わりない物は関与出来るか早くないかもしくはどちらもだ
事実16: もしこの古老達が関与出来るということはないけれど早いとすれば日本らしい

仮説: 「そのコミュニケーション・システムは関与出来る」ということは成り立つ
1. 仮定1: 以下のように仮定する。この古老達は早くない
2. 仮定1から、推論1: "この古老達は早くないかもしくはわりないかまたは両方ともだ"が導かれる
3. 推論1と事実11から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この古老達は早い"が導かれる
5. 推論3と事実1から、推論4: "そのコミュニケーション・システムは日本らしくないしおっそろしということはない"が導かれる
6. 事実4から、推論5: "そのコミュニケーション・システムは日本らしくないしその上おっそろしないならそれは関与出来る"が導かれる
7. 推論4と推論5から、仮説が導かれる

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