「「「一括するか甘ーくないかまたはどちらもである」ということは嘘であるなら愛情深い」ものはある」ということは事実でない
fact1: もし「あの住所は一括するかもしくは甘ーいということはないかまたは両方ともだ」ということは偽であるとしたらそれは愛情深い
$facts$ = fact1: もし「あの住所は一括するかもしくは甘ーいということはないかまたは両方ともだ」ということは偽であるとしたらそれは愛情深い ; $hypothesis$ = 「「「一括するか甘ーくないかまたはどちらもである」ということは嘘であるなら愛情深い」ものはある」ということは事実でない ; $proof$ = 
事実1: もし「あの住所は一括するかもしくは甘ーいということはないかまたは両方ともだ」ということは偽であるとしたらそれは愛情深い

仮説: 「「「一括するか甘ーくないかまたはどちらもである」ということは嘘であるなら愛情深い」ものはある」ということは事実でない