「もしも「竹さんでない」ということは確かなら「立ち退くけれど外食しない」ということは誤りな」ものはある
fact1: もしこのソフトクリームは竹さんでないなら「それは立ち退くがしかし外食するということはない」ということは嘘である
$facts$ = fact1: もしこのソフトクリームは竹さんでないなら「それは立ち退くがしかし外食するということはない」ということは嘘である ; $hypothesis$ = 「もしも「竹さんでない」ということは確かなら「立ち退くけれど外食しない」ということは誤りな」ものはある ; $proof$ = 
事実1: もしこのソフトクリームは竹さんでないなら「それは立ち退くがしかし外食するということはない」ということは嘘である

仮説: 「もしも「竹さんでない」ということは確かなら「立ち退くけれど外食しない」ということは誤りな」ものはある