このコミュニティ内は計算すということはない
fact1: 仮にこのコミュニティ内は自主的規制であるならばそれは計算す fact2: 「このコミュニティ内は自主的規制である」ということは確かである
$facts$ = fact1: 仮にこのコミュニティ内は自主的規制であるならばそれは計算す fact2: 「このコミュニティ内は自主的規制である」ということは確かである ; $hypothesis$ = このコミュニティ内は計算すということはない ; $proof$ = 
事実1: 仮にこのコミュニティ内は自主的規制であるならばそれは計算す
事実2: 「このコミュニティ内は自主的規制である」ということは確かである

仮説: このコミュニティ内は計算すということはない