もし「「この順は患者同士でないし望ましくらない」ということは偽だ」ということは成り立てば「それは台車フレームでない」ということは成り立つ
fact1: もし「なにかは患者同士でなくてしかもそれは望ましくらない」ということは嘘であるとすればそれは台車フレームでない
$facts$ = fact1: もし「なにかは患者同士でなくてしかもそれは望ましくらない」ということは嘘であるとすればそれは台車フレームでない ; $hypothesis$ = もし「「この順は患者同士でないし望ましくらない」ということは偽だ」ということは成り立てば「それは台車フレームでない」ということは成り立つ ; $proof$ = 
事実1: もし「なにかは患者同士でなくてしかもそれは望ましくらない」ということは嘘であるとすればそれは台車フレームでない

仮説: もし「「この順は患者同士でないし望ましくらない」ということは偽だ」ということは成り立てば「それは台車フレームでない」ということは成り立つ