仮に「その電話局側は御強くないしかつ疑わしくない」ということは真実だということはないとすれば情報社会論であるということはない
fact1: とあるものが確認出来るとすると精進すらない fact2: 仮に「なんらかの物は御強いが疑わしくない」ということは成り立たないとすると「情報社会論でない」ということは成り立つ fact3: その電話局側が御強くなくておまけに疑わしくないならば情報社会論でない fact4: 仮にその電話局側が疑わしいとすればそれは情報社会論でない fact5: もし仮に「あるものは御強いということはないししかもそれは疑わしくない」ということは成り立たないとすると情報社会論でない
fact5 -> hypothesis;
fact5 -> hypothesis;
$facts$ = fact1: とあるものが確認出来るとすると精進すらない fact2: 仮に「なんらかの物は御強いが疑わしくない」ということは成り立たないとすると「情報社会論でない」ということは成り立つ fact3: その電話局側が御強くなくておまけに疑わしくないならば情報社会論でない fact4: 仮にその電話局側が疑わしいとすればそれは情報社会論でない fact5: もし仮に「あるものは御強いということはないししかもそれは疑わしくない」ということは成り立たないとすると情報社会論でない ; $hypothesis$ = 仮に「その電話局側は御強くないしかつ疑わしくない」ということは真実だということはないとすれば情報社会論であるということはない ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: とあるものが確認出来るとすると精進すらない
事実2: 仮に「なんらかの物は御強いが疑わしくない」ということは成り立たないとすると「情報社会論でない」ということは成り立つ
事実3: その電話局側が御強くなくておまけに疑わしくないならば情報社会論でない
事実4: 仮にその電話局側が疑わしいとすればそれは情報社会論でない
事実5: もし仮に「あるものは御強いということはないししかもそれは疑わしくない」ということは成り立たないとすると情報社会論でない

仮説: 仮に「その電話局側は御強くないしかつ疑わしくない」ということは真実だということはないとすれば情報社会論であるということはない
1. 事実5から、仮説が導かれる

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