「このＳＲＣは一眠りする」ということは嘘でない
fact1: 「「狭苦しい一方でどうして良いということはない」ということは誤りな」ものはある fact2: もし「「狭苦しい一方でどうして良くない」ということは成り立たない」ものがあるとしたらこのＳＲＣは一眠りする
$facts$ = fact1: 「「狭苦しい一方でどうして良いということはない」ということは誤りな」ものはある fact2: もし「「狭苦しい一方でどうして良くない」ということは成り立たない」ものがあるとしたらこのＳＲＣは一眠りする ; $hypothesis$ = 「このＳＲＣは一眠りする」ということは嘘でない ; $proof$ = 
事実1: 「「狭苦しい一方でどうして良いということはない」ということは誤りな」ものはある
事実2: もし「「狭苦しい一方でどうして良くない」ということは成り立たない」ものがあるとしたらこのＳＲＣは一眠りする

仮説: 「このＳＲＣは一眠りする」ということは嘘でない