その外界はあくどい
fact1: 「「受け渡しするしそれに滑降しない」ということは偽である」ものはある fact2: もし「「滑降する」ということは事実な」物があるとしたらあの信州川上犬保存会は投書だ fact3: もし仮に何らかの物が渾名するとするとそつ無くないかあるいは投書でないかあるいは両方ともである fact4: もしもあの信州川上犬保存会が投書ならばその外界はあくどい fact5: とある物は受け渡しする一方で滑降しない fact6: もし仮に「「受け渡しするが滑降しない」ということは成り立たない」ものがあるとするとあの信州川上犬保存会は投書である fact7: 「「「投書であるけれどあくどくない」ということは事実である」ということは成り立たない」ものはある
fact1 & fact6 -> int1: あの信州川上犬保存会は投書である; int1 & fact4 -> hypothesis;
その外界はあくどいということはない
fact8 -> int2: もしも「その外界は渾名する」ということは事実だとしたらそれはそつ無くないかまたはそれは投書でない;
$facts$ = fact1: 「「受け渡しするしそれに滑降しない」ということは偽である」ものはある fact2: もし「「滑降する」ということは事実な」物があるとしたらあの信州川上犬保存会は投書だ fact3: もし仮に何らかの物が渾名するとするとそつ無くないかあるいは投書でないかあるいは両方ともである fact4: もしもあの信州川上犬保存会が投書ならばその外界はあくどい fact5: とある物は受け渡しする一方で滑降しない fact6: もし仮に「「受け渡しするが滑降しない」ということは成り立たない」ものがあるとするとあの信州川上犬保存会は投書である fact7: 「「「投書であるけれどあくどくない」ということは事実である」ということは成り立たない」ものはある ; $hypothesis$ = その外界はあくどい ; $proof$ = 
fact1 & fact6 -> int1: あの信州川上犬保存会は投書である; int1 & fact4 -> hypothesis; __PROVED__
事実1: 「「受け渡しするしそれに滑降しない」ということは偽である」ものはある
事実2: もし「「滑降する」ということは事実な」物があるとしたらあの信州川上犬保存会は投書だ
事実3: もし仮に何らかの物が渾名するとするとそつ無くないかあるいは投書でないかあるいは両方ともである
事実4: もしもあの信州川上犬保存会が投書ならばその外界はあくどい
事実5: とある物は受け渡しする一方で滑降しない
事実6: もし仮に「「受け渡しするが滑降しない」ということは成り立たない」ものがあるとするとあの信州川上犬保存会は投書である
事実7: 「「「投書であるけれどあくどくない」ということは事実である」ということは成り立たない」ものはある

仮説: その外界はあくどい
1. 事実1と事実6から、推論1: "あの信州川上犬保存会は投書である"が導かれる
2. 推論1と事実4から、仮説が導かれる

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