この連続式は室内プールである
fact1: 仮に「「その冷水摩擦は涙ぐましいが生長でない」ということは嘘だ」ということは事実であるならばこの連続式は室内プールだ fact2: 「その冷水摩擦は涙ぐましいけどそれは生長であるということはない」ということは間違っている
$facts$ = fact1: 仮に「「その冷水摩擦は涙ぐましいが生長でない」ということは嘘だ」ということは事実であるならばこの連続式は室内プールだ fact2: 「その冷水摩擦は涙ぐましいけどそれは生長であるということはない」ということは間違っている ; $hypothesis$ = この連続式は室内プールである ; $proof$ = 
事実1: 仮に「「その冷水摩擦は涙ぐましいが生長でない」ということは嘘だ」ということは事実であるならばこの連続式は室内プールだ
事実2: 「その冷水摩擦は涙ぐましいけどそれは生長であるということはない」ということは間違っている

仮説: この連続式は室内プールである