あの木樽は肩車するということはない
fact1: 仮に「そのアプリケーションプログラムはエキスパンダーだがしかしそれは看護でない」ということは嘘だとするとあの木樽は肩車する fact2: 「そのアプリケーションプログラムはエキスパンダーだけど看護でない」ということは誤っている
$facts$ = fact1: 仮に「そのアプリケーションプログラムはエキスパンダーだがしかしそれは看護でない」ということは嘘だとするとあの木樽は肩車する fact2: 「そのアプリケーションプログラムはエキスパンダーだけど看護でない」ということは誤っている ; $hypothesis$ = あの木樽は肩車するということはない ; $proof$ = 
事実1: 仮に「そのアプリケーションプログラムはエキスパンダーだがしかしそれは看護でない」ということは嘘だとするとあの木樽は肩車する
事実2: 「そのアプリケーションプログラムはエキスパンダーだけど看護でない」ということは誤っている

仮説: あの木樽は肩車するということはない